<Programming'20> Companion
4th International Conference on the Art, Science, and Engineering of Programming (<Programming> 2020 Companion)
Powered by
Conference Publishing Consulting

4th International Conference on the Art, Science, and Engineering of Programming (<Programming> 2020 Companion), March 23–26, 2020, Porto, Portugal

<Programming'20> Companion – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P R S T U V W X Y

Agaram, Kartik <Programming'20> Companion Companion '20: "Bicycles for the Mind Have ..." Article: prog20ccs-id1-p doi:10.1145/3397537.3397547
Aguiar, Ademar <Programming'20> Companion Companion '20: "Helping Software Developers ..." Article: prog20posters-poster02-p doi:10.1145/3397537.3397539
Alcocer, Juan Pablo Sandoval <Programming'20> Companion Companion '20: "Assessing Textual Source Code ..." Article: prog20nip-id5-p doi:10.1145/3397537.3398471
Armitage, Jack <Programming'20> Companion Companion '20: "An Experimental Audio-Tactile ..." Article: prog20src-p7-p doi:10.1145/3397537.3398482
Bakker, Geor <Programming'20> Companion Companion '20: "MATLAB Doesn't Love Me: ..." Article: prog20px-p5-p doi:10.1145/3397537.3397557
Basman, Antranig <Programming'20> Companion Companion '20: "Escaping the Prison of Style ..." Article: prog20ccs-id4-p doi:10.1145/3397537.3397548
Baudry, Benoit <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Beckmann, Tom <Programming'20> Companion Companion '20: "Visual Design for a Tree-Oriented ..." Article: prog20px-p8-p doi:10.1145/3397537.3397560 <Programming'20> Companion Companion '20: "Efficient Editing in a Tree-Oriented ..." Article: prog20src-p2-p doi:10.1145/3397537.3398477
Bergel, Alexandre <Programming'20> Companion Companion '20: "Assessing Textual Source Code ..." Article: prog20nip-id5-p doi:10.1145/3397537.3398471
Binder, Walter <Programming'20> Companion Companion '20: "Profiling Streams on the Java ..." Article: prog20morevms-id10-p doi:10.1145/3397537.3397565 <Programming'20> Companion Companion '20: "Towards Dynamic SQL Compilation ..." Article: prog20morevms-id8-p doi:10.1145/3397537.3397566
Bispo, João <Programming'20> Companion Companion '20: "Overviewing the Liveness of ..." Article: prog20posters-poster01-p doi:10.1145/3397537.3397538
Boden, Brigitte <Programming'20> Companion Companion '20: "Supporting the Composition ..." Article: prog20icw-id2-p doi:10.1145/3397537.3399576
Bonetta, Daniele <Programming'20> Companion Companion '20: "Towards Dynamic SQL Compilation ..." Article: prog20morevms-id8-p doi:10.1145/3397537.3397566
Börsting, Ingo <Programming'20> Companion Companion '20: "Towards Efficient Interdisciplinary ..." Article: prog20nip-id2-p doi:10.1145/3397537.3398474
Brás, Catarina <Programming'20> Companion Companion '20: "Program Comprehension for ..." Article: prog20nip-id3-p doi:10.1145/3397537.3398475
Buchs, Didier <Programming'20> Companion Companion '20: "LogicKit: Bringing Logic Programming ..." Article: prog20icw-id1-p doi:10.1145/3397537.3399575
Cabrera Arteaga, Javier <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Castelo-Branco, Renata <Programming'20> Companion Companion '20: "Program Comprehension for ..." Article: prog20nip-id3-p doi:10.1145/3397537.3398475 <Programming'20> Companion Companion '20: "ReAD: Representational Algorithmic ..." Article: prog20src-p3-p doi:10.1145/3397537.3398478
Chastelet, Elmer van <Programming'20> Companion Companion '20: "Evolution of the WebDSL Runtime: ..." Article: prog20proweb-id5-p doi:10.1145/3397537.3397553
Chavalier, Alejandra Cossio <Programming'20> Companion Companion '20: "Assessing Textual Source Code ..." Article: prog20nip-id5-p doi:10.1145/3397537.3398471
Coet, Aurélien <Programming'20> Companion Companion '20: "An Annotation System for Specifying ..." Article: prog20src-p5-p doi:10.1145/3397537.3398480
Correia, Filipe F. <Programming'20> Companion Companion '20: "Overviewing the Liveness of ..." Article: prog20posters-poster01-p doi:10.1145/3397537.3397538
Dalsgaard, Peter <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Donde, Shrinish <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Dong, Tao <Programming'20> Companion Companion '20: "Towards a Pattern Language ..." Article: prog20px-p6-p doi:10.1145/3397537.3397558
Egi, Satoshi <Programming'20> Companion Companion '20: "Pattern-Match-Oriented Proof ..." Article: prog20src-p6-p doi:10.1145/3397537.3398481
Ehmueller, Jan <Programming'20> Companion Companion '20: "Polyglot Code Finder ..." Article: prog20px-p7-p doi:10.1145/3397537.3397559
Felgentreff, Tim <Programming'20> Companion Companion '20: "User-Defined Interface Mappings ..." Article: prog20icw-id3-p doi:10.1145/3397537.3399577 <Programming'20> Companion Companion '20: "Toward Presizing and Pretransitioning ..." Article: prog20morevms-id6-p doi:10.1145/3397537.3397564
Fernandes, Sara <Programming'20> Companion Companion '20: "Helping Software Developers ..." Article: prog20posters-poster02-p doi:10.1145/3397537.3397539
Ferreira, Hugo Sereno <Programming'20> Companion Companion '20: "Helping Software Developers ..." Article: prog20posters-poster02-p doi:10.1145/3397537.3397539
Floros, Orestis <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Fox, Amy Rae <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Fumero, Juan <Programming'20> Companion Companion '20: "Running Parallel Bytecode ..." Article: prog20morevms-id7-p doi:10.1145/3397537.3397563
Granicz, Adam <Programming'20> Companion Companion '20: "Synthesizing User Interfaces ..." Article: prog20proweb-id7-p doi:10.1145/3397537.3397554
Groenewegen, Danny M. <Programming'20> Companion Companion '20: "Evolution of the WebDSL Runtime: ..." Article: prog20proweb-id5-p doi:10.1145/3397537.3397553
Gruhn, Volker <Programming'20> Companion Companion '20: "Towards Efficient Interdisciplinary ..." Article: prog20nip-id2-p doi:10.1145/3397537.3398474
Gu, Jian <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Gui, Hao Chen <Programming'20> Companion Companion '20: "Enhancement of OpenJDK Biased ..." Article: prog20morevms-id5-p doi:10.1145/3397537.3397562
Guo, Philip <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Guo, Xiao Ping <Programming'20> Companion Companion '20: "Enhancement of OpenJDK Biased ..." Article: prog20morevms-id5-p doi:10.1145/3397537.3397562
Heidmann, Elke Franziska <Programming'20> Companion Companion '20: "Towards Visualization of Evolution ..." Article: prog20nip-id1-p doi:10.1145/3397537.3398473
Henning, Johannes <Programming'20> Companion Companion '20: "Toward Presizing and Pretransitioning ..." Article: prog20morevms-id6-p doi:10.1145/3397537.3397564
Hirschfeld, Robert <Programming'20> Companion Companion '20: "Three Trillion Lines: Infrastructure ..." Article: prog20eniac-id2-p doi:10.1145/3397537.3397551 <Programming'20> Companion Companion '20: "User-Defined Interface Mappings ..." Article: prog20icw-id3-p doi:10.1145/3397537.3399577 <Programming'20> Companion Companion '20: "Toward Presizing and Pretransitioning ..." Article: prog20morevms-id6-p doi:10.1145/3397537.3397564 <Programming'20> Companion Companion '20: "Polyglot Code Finder ..." Article: prog20px-p7-p doi:10.1145/3397537.3397559 <Programming'20> Companion Companion '20: "Visual Design for a Tree-Oriented ..." Article: prog20px-p8-p doi:10.1145/3397537.3397560
Hollan, James D. <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Horie, Michihiro <Programming'20> Companion Companion '20: "Enhancement of OpenJDK Biased ..." Article: prog20morevms-id5-p doi:10.1145/3397537.3397562
Jackson, Daniel <Programming'20> Companion Companion '20: "Wildcard: Spreadsheet-Driven ..." Article: prog20ccs-id3-p doi:10.1145/3397537.3397541
Jakubovic, Joel <Programming'20> Companion Companion '20: "What It Takes to Create with ..." Article: prog20ccs-id8-p doi:10.1145/3397537.3397549
Janko, Andras <Programming'20> Companion Companion '20: "Synthesizing User Interfaces ..." Article: prog20proweb-id7-p doi:10.1145/3397537.3397554
Kato, Jun <Programming'20> Companion Companion '20: "Rethinking Programming “Environment”: ..." Article: prog20ccs-id7-p doi:10.1145/3397537.3397544
Kell, Stephen <Programming'20> Companion Companion '20: "Convivial Design Heuristics ..." Article: prog20ccs-id14-p doi:10.1145/3397537.3397543
Klokmose, Clemens Nylandsted <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Kniesel-Wünsche, Günter <Programming'20> Companion Companion '20: "Achieving Guidance in Applied ..." Article: prog20eniac-id3-p doi:10.1145/3397537.3397552
Kotselidis, Christos <Programming'20> Companion Companion '20: "Running Parallel Bytecode ..." Article: prog20morevms-id7-p doi:10.1145/3397537.3397563
Krieger, Max <Programming'20> Companion Companion '20: "Chatting with Glue: Cognitive ..." Article: prog20ccs-id12-p doi:10.1145/3397537.3397550
Kurnatowski, Lynn von <Programming'20> Companion Companion '20: "Towards Visualization of Evolution ..." Article: prog20nip-id1-p doi:10.1145/3397537.3398473
Leitão, António <Programming'20> Companion Companion '20: "Program Comprehension for ..." Article: prog20nip-id3-p doi:10.1145/3397537.3398475
Litt, Geoffrey <Programming'20> Companion Companion '20: "Wildcard: Spreadsheet-Driven ..." Article: prog20ccs-id3-p doi:10.1145/3397537.3397541
Liu, Yang <Programming'20> Companion Companion '20: "Enhancement of OpenJDK Biased ..." Article: prog20morevms-id5-p doi:10.1145/3397537.3397562
Mattis, Toni <Programming'20> Companion Companion '20: "Three Trillion Lines: Infrastructure ..." Article: prog20eniac-id2-p doi:10.1145/3397537.3397551
Meinecke, Annika <Programming'20> Companion Companion '20: "Towards Visualization of Evolution ..." Article: prog20nip-id1-p doi:10.1145/3397537.3398473
Merino, Leonel <Programming'20> Companion Companion '20: "Towards Requirements Engineering ..." Article: prog20nip-id4-p doi:10.1145/3397537.3398472
Mischke, Robert <Programming'20> Companion Companion '20: "Supporting the Composition ..." Article: prog20icw-id2-p doi:10.1145/3397537.3399576
Misteli, Philippe D. <Programming'20> Companion Companion '20: "Towards Language-Parametric ..." Article: prog20src-p1-p doi:10.1145/3397537.3398476
Monperrus, Martin <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Morard, Damien <Programming'20> Companion Companion '20: "A Formalism to Model Higher-Order ..." Article: prog20src-p4-p doi:10.1145/3397537.3398479
Moreira, Emanuel <Programming'20> Companion Companion '20: "Overviewing the Liveness of ..." Article: prog20posters-poster01-p doi:10.1145/3397537.3397538
Niephaus, Fabio <Programming'20> Companion Companion '20: "User-Defined Interface Mappings ..." Article: prog20icw-id3-p doi:10.1145/3397537.3399577 <Programming'20> Companion Companion '20: "Toward Presizing and Pretransitioning ..." Article: prog20morevms-id6-p doi:10.1145/3397537.3397564 <Programming'20> Companion Companion '20: "Polyglot Code Finder ..." Article: prog20px-p7-p doi:10.1145/3397537.3397559
Nierstrasz, Oscar <Programming'20> Companion Companion '20: "Towards Requirements Engineering ..." Article: prog20nip-id4-p doi:10.1145/3397537.3398472
Ogata, Kazunori <Programming'20> Companion Companion '20: "Enhancement of OpenJDK Biased ..." Article: prog20morevms-id5-p doi:10.1145/3397537.3397562
Patkar, Nitish <Programming'20> Companion Companion '20: "Towards Requirements Engineering ..." Article: prog20nip-id4-p doi:10.1145/3397537.3398472
Racordon, Dimitri <Programming'20> Companion Companion '20: "LogicKit: Bringing Logic Programming ..." Article: prog20icw-id1-p doi:10.1145/3397537.3399575
Ramson, Stefan <Programming'20> Companion Companion '20: "Visual Design for a Tree-Oriented ..." Article: prog20px-p8-p doi:10.1145/3397537.3397560
Reimann, Lars <Programming'20> Companion Companion '20: "Achieving Guidance in Applied ..." Article: prog20eniac-id3-p doi:10.1145/3397537.3397552
Rein, Patrick <Programming'20> Companion Companion '20: "Three Trillion Lines: Infrastructure ..." Article: prog20eniac-id2-p doi:10.1145/3397537.3397551 <Programming'20> Companion Companion '20: "Visual Design for a Tree-Oriented ..." Article: prog20px-p8-p doi:10.1145/3397537.3397560
Restivo, André <Programming'20> Companion Companion '20: "Helping Software Developers ..." Article: prog20posters-poster02-p doi:10.1145/3397537.3397539
Riese, Alexander <Programming'20> Companion Companion '20: "User-Defined Interface Mappings ..." Article: prog20icw-id3-p doi:10.1145/3397537.3399577 <Programming'20> Companion Companion '20: "Polyglot Code Finder ..." Article: prog20px-p7-p doi:10.1145/3397537.3397559
Romaniuk, Myroslava <Programming'20> Companion Companion '20: "N-gram Models for Code Completion ..." Article: prog20src-p8-p doi:10.1145/3397537.3398483
Rosà, Andrea <Programming'20> Companion Companion '20: "Profiling Streams on the Java ..." Article: prog20morevms-id10-p doi:10.1145/3397537.3397565
Rosero, Edgar Eduardo Rosales <Programming'20> Companion Companion '20: "Profiling Streams on the Java ..." Article: prog20morevms-id10-p doi:10.1145/3397537.3397565
Santos, André L. <Programming'20> Companion Companion '20: "Javardise: A Structured Code ..." Article: prog20px-p12-p doi:10.1145/3397537.3397561
Satabin, Lucas <Programming'20> Companion Companion '20: "Superoptimization of WebAssembly ..." Article: prog20morevms-id4-p doi:10.1145/3397537.3397567
Satyanarayan, Arvind <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Schiavio, Filippo <Programming'20> Companion Companion '20: "Towards Dynamic SQL Compilation ..." Article: prog20morevms-id8-p doi:10.1145/3397537.3397566
Schreiber, Andreas <Programming'20> Companion Companion '20: "Supporting the Composition ..." Article: prog20icw-id2-p doi:10.1145/3397537.3399576 <Programming'20> Companion Companion '20: "Towards Visualization of Evolution ..." Article: prog20nip-id1-p doi:10.1145/3397537.3398473
Shimakage, Keisuke <Programming'20> Companion Companion '20: "Rethinking Programming “Environment”: ..." Article: prog20ccs-id7-p doi:10.1145/3397537.3397544
Skjøtt, Jonathan <Programming'20> Companion Companion '20: "Spreadsheets as Notational ..." Article: prog20ccs-id15-p doi:10.1145/3397537.3397545
Stratikopoulos, Athanasios <Programming'20> Companion Companion '20: "Running Parallel Bytecode ..." Article: prog20morevms-id7-p doi:10.1145/3397537.3397563
Tanimoto, Steven L. <Programming'20> Companion Companion '20: "Multiagent Live Programming ..." Article: prog20px-p2-p doi:10.1145/3397537.3397556
Tchernavskij, Philip <Programming'20> Companion Companion '20: "Escaping the Prison of Style ..." Article: prog20ccs-id4-p doi:10.1145/3397537.3397548
Tjabben, Hendrik <Programming'20> Companion Companion '20: "Polyglot Code Finder ..." Article: prog20px-p7-p doi:10.1145/3397537.3397559
Uri, Jozsef <Programming'20> Companion Companion '20: "Synthesizing User Interfaces ..." Article: prog20proweb-id7-p doi:10.1145/3397537.3397554
Van der Storm, Tijs <Programming'20> Companion Companion '20: "MATLAB Doesn't Love Me: ..." Article: prog20px-p5-p doi:10.1145/3397537.3397557
Visser, Eelco <Programming'20> Companion Companion '20: "Evolution of the WebDSL Runtime: ..." Article: prog20proweb-id5-p doi:10.1145/3397537.3397553
Wang, Ting <Programming'20> Companion Companion '20: "Enhancement of OpenJDK Biased ..." Article: prog20morevms-id5-p doi:10.1145/3397537.3397562
Weiher, Marcel <Programming'20> Companion Companion '20: "Can Programmers Escape the ..." Article: prog20ccs-id6-p doi:10.1145/3397537.3397546
Weinert, Alexander <Programming'20> Companion Companion '20: "Supporting the Composition ..." Article: prog20icw-id2-p doi:10.1145/3397537.3399576
Xia, Haijun <Programming'20> Companion Companion '20: "Towards a Dynamic Multiscale ..." Article: prog20ccs-id5-p doi:10.1145/3397537.3397542
Yang, Gale <Programming'20> Companion Companion '20: "Towards a Pattern Language ..." Article: prog20px-p6-p doi:10.1145/3397537.3397558

111 authors

proc time: 0.11