<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-CCS: "Bicycles for the Mind Have ..."
Aguiar, Ademar <Programming'20> Companion-POSTERS: "Helping Software Developers ..."
Alcocer, Juan Pablo Sandoval <Programming'20> Companion-NIP: "Assessing Textual Source Code ..."
Armitage, Jack <Programming'20> Companion-SRC: "An Experimental Audio-Tactile ..."
Bakker, Geor <Programming'20> Companion-PX: "MATLAB Doesn't Love Me: ..."
Basman, Antranig <Programming'20> Companion-CCS: "Escaping the Prison of Style ..."
Baudry, Benoit <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Beckmann, Tom <Programming'20> Companion-PX: "Visual Design for a Tree-Oriented ..." <Programming'20> Companion-SRC: "Efficient Editing in a Tree-Oriented ..."
Bergel, Alexandre <Programming'20> Companion-NIP: "Assessing Textual Source Code ..."
Binder, Walter <Programming'20> Companion-MOREVMS: "Towards Dynamic SQL Compilation ..." <Programming'20> Companion-MOREVMS: "Profiling Streams on the Java ..."
Bispo, João <Programming'20> Companion-POSTERS: "Overviewing the Liveness of ..."
Boden, Brigitte <Programming'20> Companion-ICW: "Supporting the Composition ..."
Börsting, Ingo <Programming'20> Companion-NIP: "Towards Efficient Interdisciplinary ..."
Bonetta, Daniele <Programming'20> Companion-MOREVMS: "Towards Dynamic SQL Compilation ..."
Brás, Catarina <Programming'20> Companion-NIP: "Program Comprehension for ..."
Buchs, Didier <Programming'20> Companion-ICW: "LogicKit: Bringing Logic Programming ..."
Cabrera Arteaga, Javier <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Castelo-Branco, Renata <Programming'20> Companion-NIP: "Program Comprehension for ..." <Programming'20> Companion-SRC: "ReAD: Representational Algorithmic ..."
Chastelet, Elmer van <Programming'20> Companion-PROWEB: "Evolution of the WebDSL Runtime: ..."
Chavalier, Alejandra Cossio <Programming'20> Companion-NIP: "Assessing Textual Source Code ..."
Coet, Aurélien <Programming'20> Companion-SRC: "An Annotation System for Specifying ..."
Correia, Filipe F. <Programming'20> Companion-POSTERS: "Overviewing the Liveness of ..."
Dalsgaard, Peter <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Donde, Shrinish <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Dong, Tao <Programming'20> Companion-PX: "Towards a Pattern Language ..."
Egi, Satoshi <Programming'20> Companion-SRC: "Pattern-Match-Oriented Proof ..."
Ehmueller, Jan <Programming'20> Companion-PX: "Polyglot Code Finder ..."
Felgentreff, Tim <Programming'20> Companion-ICW: "User-Defined Interface Mappings ..." <Programming'20> Companion-MOREVMS: "Toward Presizing and Pretransitioning ..."
Fernandes, Sara <Programming'20> Companion-POSTERS: "Helping Software Developers ..."
Ferreira, Hugo Sereno <Programming'20> Companion-POSTERS: "Helping Software Developers ..."
Floros, Orestis <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Fox, Amy Rae <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Fumero, Juan <Programming'20> Companion-MOREVMS: "Running Parallel Bytecode ..."
Granicz, Adam <Programming'20> Companion-PROWEB: "Synthesizing User Interfaces ..."
Groenewegen, Danny M. <Programming'20> Companion-PROWEB: "Evolution of the WebDSL Runtime: ..."
Gruhn, Volker <Programming'20> Companion-NIP: "Towards Efficient Interdisciplinary ..."
Gu, Jian <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Gui, Hao Chen <Programming'20> Companion-MOREVMS: "Enhancement of OpenJDK Biased ..."
Guo, Philip <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Guo, Xiao Ping <Programming'20> Companion-MOREVMS: "Enhancement of OpenJDK Biased ..."
Heidmann, Elke Franziska <Programming'20> Companion-NIP: "Towards Visualization of Evolution ..."
Henning, Johannes <Programming'20> Companion-MOREVMS: "Toward Presizing and Pretransitioning ..."
Hirschfeld, Robert <Programming'20> Companion-ENIAC: "Three Trillion Lines: Infrastructure ..." <Programming'20> Companion-ICW: "User-Defined Interface Mappings ..." <Programming'20> Companion-MOREVMS: "Toward Presizing and Pretransitioning ..." <Programming'20> Companion-PX: "Visual Design for a Tree-Oriented ..." <Programming'20> Companion-PX: "Polyglot Code Finder ..."
Hollan, James D. <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Horie, Michihiro <Programming'20> Companion-MOREVMS: "Enhancement of OpenJDK Biased ..."
Jackson, Daniel <Programming'20> Companion-CCS: "Wildcard: Spreadsheet-Driven ..."
Jakubovic, Joel <Programming'20> Companion-CCS: "What It Takes to Create with ..."
Janko, Andras <Programming'20> Companion-PROWEB: "Synthesizing User Interfaces ..."
Kato, Jun <Programming'20> Companion-CCS: "Rethinking Programming “Environment”: ..."
Kell, Stephen <Programming'20> Companion-CCS: "Convivial Design Heuristics ..."
Klokmose, Clemens Nylandsted <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Kniesel-Wünsche, Günter <Programming'20> Companion-ENIAC: "Achieving Guidance in Applied ..."
Kotselidis, Christos <Programming'20> Companion-MOREVMS: "Running Parallel Bytecode ..."
Krieger, Max <Programming'20> Companion-CCS: "Chatting with Glue: Cognitive ..."
Kurnatowski, Lynn von <Programming'20> Companion-NIP: "Towards Visualization of Evolution ..."
Leitão, António <Programming'20> Companion-NIP: "Program Comprehension for ..."
Litt, Geoffrey <Programming'20> Companion-CCS: "Wildcard: Spreadsheet-Driven ..."
Liu, Yang <Programming'20> Companion-MOREVMS: "Enhancement of OpenJDK Biased ..."
Mattis, Toni <Programming'20> Companion-ENIAC: "Three Trillion Lines: Infrastructure ..."
Meinecke, Annika <Programming'20> Companion-NIP: "Towards Visualization of Evolution ..."
Merino, Leonel <Programming'20> Companion-NIP: "Towards Requirements Engineering ..."
Mischke, Robert <Programming'20> Companion-ICW: "Supporting the Composition ..."
Misteli, Philippe D. <Programming'20> Companion-SRC: "Towards Language-Parametric ..."
Monperrus, Martin <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Morard, Damien <Programming'20> Companion-SRC: "A Formalism to Model Higher-Order ..."
Moreira, Emanuel <Programming'20> Companion-POSTERS: "Overviewing the Liveness of ..."
Niephaus, Fabio <Programming'20> Companion-ICW: "User-Defined Interface Mappings ..." <Programming'20> Companion-MOREVMS: "Toward Presizing and Pretransitioning ..." <Programming'20> Companion-PX: "Polyglot Code Finder ..."
Nierstrasz, Oscar <Programming'20> Companion-NIP: "Towards Requirements Engineering ..."
Ogata, Kazunori <Programming'20> Companion-MOREVMS: "Enhancement of OpenJDK Biased ..."
Patkar, Nitish <Programming'20> Companion-NIP: "Towards Requirements Engineering ..."
Racordon, Dimitri <Programming'20> Companion-ICW: "LogicKit: Bringing Logic Programming ..."
Ramson, Stefan <Programming'20> Companion-PX: "Visual Design for a Tree-Oriented ..."
Reimann, Lars <Programming'20> Companion-ENIAC: "Achieving Guidance in Applied ..."
Rein, Patrick <Programming'20> Companion-ENIAC: "Three Trillion Lines: Infrastructure ..." <Programming'20> Companion-PX: "Visual Design for a Tree-Oriented ..."
Restivo, André <Programming'20> Companion-POSTERS: "Helping Software Developers ..."
Riese, Alexander <Programming'20> Companion-ICW: "User-Defined Interface Mappings ..." <Programming'20> Companion-PX: "Polyglot Code Finder ..."
Romaniuk, Myroslava <Programming'20> Companion-SRC: "N-gram Models for Code Completion ..."
Rosà, Andrea <Programming'20> Companion-MOREVMS: "Profiling Streams on the Java ..."
Rosero, Edgar Eduardo Rosales <Programming'20> Companion-MOREVMS: "Profiling Streams on the Java ..."
Santos, André L. <Programming'20> Companion-PX: "Javardise: A Structured Code ..."
Satabin, Lucas <Programming'20> Companion-MOREVMS: "Superoptimization of WebAssembly ..."
Satyanarayan, Arvind <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Schiavio, Filippo <Programming'20> Companion-MOREVMS: "Towards Dynamic SQL Compilation ..."
Schreiber, Andreas <Programming'20> Companion-ICW: "Supporting the Composition ..." <Programming'20> Companion-NIP: "Towards Visualization of Evolution ..."
Shimakage, Keisuke <Programming'20> Companion-CCS: "Rethinking Programming “Environment”: ..."
Skjøtt, Jonathan <Programming'20> Companion-CCS: "Spreadsheets as Notational ..."
Stratikopoulos, Athanasios <Programming'20> Companion-MOREVMS: "Running Parallel Bytecode ..."
Tanimoto, Steven L. <Programming'20> Companion-PX: "Multiagent Live Programming ..."
Tchernavskij, Philip <Programming'20> Companion-CCS: "Escaping the Prison of Style ..."
Tjabben, Hendrik <Programming'20> Companion-PX: "Polyglot Code Finder ..."
Uri, Jozsef <Programming'20> Companion-PROWEB: "Synthesizing User Interfaces ..."
Van der Storm, Tijs <Programming'20> Companion-PX: "MATLAB Doesn't Love Me: ..."
Visser, Eelco <Programming'20> Companion-PROWEB: "Evolution of the WebDSL Runtime: ..."
Wang, Ting <Programming'20> Companion-MOREVMS: "Enhancement of OpenJDK Biased ..."
Weiher, Marcel <Programming'20> Companion-CCS: "Can Programmers Escape the ..."
Weinert, Alexander <Programming'20> Companion-ICW: "Supporting the Composition ..."
Xia, Haijun <Programming'20> Companion-CCS: "Towards a Dynamic Multiscale ..."
Yang, Gale <Programming'20> Companion-PX: "Towards a Pattern Language ..."

98 authors

proc time: 4.49