<Programming'20> Companion – Companion Proceedings

Frontmatter

1st International Workshop on ENgineering Intelligent Applications' Code (ENIAC 2020)

Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom
Toni Mattis, Patrick Rein, and Robert Hirschfeld
(HPI, Germany)


@InProceedings{<Programming'20> Companion20p1, author = {Toni Mattis and Patrick Rein and Robert Hirschfeld}, title = {Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3397537.3397551}, year = {2020}, } Publisher's Version

Achieving Guidance in Applied Machine Learning through Software Engineering Techniques
Lars Reimann and Günter Kniesel-Wünsche
(University of Bonn, Germany)


@InProceedings{<Programming'20> Companion20p7, author = {Lars Reimann and Günter Kniesel-Wünsche}, title = {Achieving Guidance in Applied Machine Learning through Software Engineering Techniques}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3397537.3397552}, year = {2020}, } Publisher's Version

2nd International Workshop on Interconnecting Code (ICW 2020)

LogicKit: Bringing Logic Programming to Swift
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)


@InProceedings{<Programming'20> Companion20p13, author = {Dimitri Racordon and Didier Buchs}, title = {LogicKit: Bringing Logic Programming to Swift}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3397537.3399575}, year = {2020}, } Publisher's Version

Supporting the Composition of Domain-Specific Software via Task-Specific Roles
Brigitte Boden, Robert Mischke, Alexander Weinert, and Andreas Schreiber
(DLR, Germany)


@InProceedings{<Programming'20> Companion20p17, author = {Brigitte Boden and Robert Mischke and Alexander Weinert and Andreas Schreiber}, title = {Supporting the Composition of Domain-Specific Software via Task-Specific Roles}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3397537.3399576}, year = {2020}, } Publisher's Version

User-Defined Interface Mappings for the GraalVM
Alexander Riese, Fabio Niephaus, Tim Felgentreff, and Robert Hirschfeld
(HPI, Germany; Oracle Labs, Germany)


@InProceedings{<Programming'20> Companion20p19, author = {Alexander Riese and Fabio Niephaus and Tim Felgentreff and Robert Hirschfeld}, title = {User-Defined Interface Mappings for the GraalVM}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3397537.3399577}, year = {2020}, } Publisher's Version

4th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2020)

Enhancement of OpenJDK Biased Locking for Infrequent Lock Contention
Ting Wang, Michihiro Horie, Kazunori Ogata, Hao Chen Gui, Xiao Ping Guo, and Yang Liu
(IBM, China; IBM, Japan)


@InProceedings{<Programming'20> Companion20p24, author = {Ting Wang and Michihiro Horie and Kazunori Ogata and Hao Chen Gui and Xiao Ping Guo and Yang Liu}, title = {Enhancement of OpenJDK Biased Locking for Infrequent Lock Contention}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {24-23}, doi = {10.1145/3397537.3397562}, year = {2020}, } Publisher's Version

Profiling Streams on the Java Virtual Machine
Edgar Eduardo Rosales Rosero, Andrea Rosà, and Walter Binder
(USI Lugano, Switzerland)


@InProceedings{<Programming'20> Companion20p29, author = {Edgar Eduardo Rosales Rosero and Andrea Rosà and Walter Binder}, title = {Profiling Streams on the Java Virtual Machine}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3397537.3397565}, year = {2020}, } Publisher's Version

Running Parallel Bytecode Interpreters on Heterogeneous Hardware
Juan Fumero, Athanasios Stratikopoulos, and Christos Kotselidis
(University of Manchester, UK)


@InProceedings{<Programming'20> Companion20p34, author = {Juan Fumero and Athanasios Stratikopoulos and Christos Kotselidis}, title = {Running Parallel Bytecode Interpreters on Heterogeneous Hardware}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3397537.3397563}, year = {2020}, } Publisher's Version

Superoptimization of WebAssembly Bytecode
Javier Cabrera Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, and Martin Monperrus
(KTH, Sweden; Mobimeo, Germany)


@InProceedings{<Programming'20> Companion20p39, author = {Javier Cabrera Arteaga and Shrinish Donde and Jian Gu and Orestis Floros and Lucas Satabin and Benoit Baudry and Martin Monperrus}, title = {Superoptimization of WebAssembly Bytecode}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3397537.3397567}, year = {2020}, } Publisher's Version

Toward Presizing and Pretransitioning Strategies for GraalPython
Johannes Henning, Tim Felgentreff, Fabio Niephaus, and Robert Hirschfeld
(HPI, Germany; Oracle Labs, Germany)


@InProceedings{<Programming'20> Companion20p44, author = {Johannes Henning and Tim Felgentreff and Fabio Niephaus and Robert Hirschfeld}, title = {Toward Presizing and Pretransitioning Strategies for GraalPython}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {44-43}, doi = {10.1145/3397537.3397564}, year = {2020}, } Publisher's Version

Towards Dynamic SQL Compilation in Apache Spark
Filippo Schiavio, Daniele Bonetta, and Walter Binder
(USI Lugano, Switzerland; Oracle Labs, USA)


@InProceedings{<Programming'20> Companion20p49, author = {Filippo Schiavio and Daniele Bonetta and Walter Binder}, title = {Towards Dynamic SQL Compilation in Apache Spark}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3397537.3397566}, year = {2020}, } Publisher's Version

1st International Workshop on New Interfaces for Programming (NIP 2020)

Assessing Textual Source Code Comparison: Split or Unified?
Alejandra Cossio Chavalier, Juan Pablo Sandoval Alcocer, and Alexandre Bergel
(Universidad Católica Boliviana, Bolivia; University of Chile, Chile)


@InProceedings{<Programming'20> Companion20p54, author = {Alejandra Cossio Chavalier and Juan Pablo Sandoval Alcocer and Alexandre Bergel}, title = {Assessing Textual Source Code Comparison: Split or Unified?}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3397537.3398471}, year = {2020}, } Publisher's Version

Towards Requirements Engineering with Immersive Augmented Reality
Nitish Patkar, Leonel Merino, and Oscar Nierstrasz
(University of Bern, Switzerland; University of Stuttgart, Germany)


@InProceedings{<Programming'20> Companion20p62, author = {Nitish Patkar and Leonel Merino and Oscar Nierstrasz}, title = {Towards Requirements Engineering with Immersive Augmented Reality}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {62-61}, doi = {10.1145/3397537.3398472}, year = {2020}, } Publisher's Version

Towards Visualization of Evolution of Component-Based Software Architectures in VR
Elke Franziska Heidmann, Annika Meinecke, Lynn von Kurnatowski, and Andreas Schreiber
(DLR, Germany)


@InProceedings{<Programming'20> Companion20p70, author = {Elke Franziska Heidmann and Annika Meinecke and Lynn von Kurnatowski and Andreas Schreiber}, title = {Towards Visualization of Evolution of Component-Based Software Architectures in VR}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {70-69}, doi = {10.1145/3397537.3398473}, year = {2020}, } Publisher's Version

Towards Efficient Interdisciplinary Authoring of Industrial Augmented Reality Applications
Ingo Börsting and Volker Gruhn
(University of Duisburg-Essen, Germany)


@InProceedings{<Programming'20> Companion20p74, author = {Ingo Börsting and Volker Gruhn}, title = {Towards Efficient Interdisciplinary Authoring of Industrial Augmented Reality Applications}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {74-73}, doi = {10.1145/3397537.3398474}, year = {2020}, } Publisher's Version

Program Comprehension for Live Algorithmic Design in Virtual Reality
Renata Castelo-Branco, António Leitão, and Catarina Brás
(INESC-ID, Portugal; Instituto Superior Técnico, Portugal; University of Lisbon, Portugal)


@InProceedings{<Programming'20> Companion20p78, author = {Renata Castelo-Branco and António Leitão and Catarina Brás}, title = {Program Comprehension for Live Algorithmic Design in Virtual Reality}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {78-77}, doi = {10.1145/3397537.3398475}, year = {2020}, } Publisher's Version

4th International Workshop on Programming Technology for the Future Web (ProWeb 2020)

Evolution of the WebDSL Runtime: Reliability Engineering of the WebDSL Web Programming Language
Danny M. Groenewegen, Elmer van Chastelet, and Eelco Visser
(Delft University of Technology, Netherlands)


@InProceedings{<Programming'20> Companion20p86, author = {Danny M. Groenewegen and Elmer van Chastelet and Eelco Visser}, title = {Evolution of the WebDSL Runtime: Reliability Engineering of the WebDSL Web Programming Language}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3397537.3397553}, year = {2020}, } Publisher's Version

Synthesizing User Interfaces using Functional Reactive Web Abstractions
Adam Granicz, Jozsef Uri, and Andras Janko
(IntelliFactory, Hungary)


@InProceedings{<Programming'20> Companion20p93, author = {Adam Granicz and Jozsef Uri and Andras Janko}, title = {Synthesizing User Interfaces using Functional Reactive Web Abstractions}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {93-92}, doi = {10.1145/3397537.3397554}, year = {2020}, } Publisher's Version

6th International Workshop on Programming Experience (PX/20)

Multiagent Live Programming Systems: Models and Prospects for Critical Applications
Steven L. Tanimoto
(University of Washington, USA)


@InProceedings{<Programming'20> Companion20p100, author = {Steven L. Tanimoto}, title = {Multiagent Live Programming Systems: Models and Prospects for Critical Applications}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3397537.3397556}, year = {2020}, } Publisher's Version

MATLAB Doesn't Love Me: An Essay
Tijs van der Storm and Geor Bakker
(CWI, Netherlands; University of Groningen, Netherlands; Amsterdam University Medical Centres, Netherlands; Sosei Heptares, UK)


@InProceedings{<Programming'20> Companion20p130, author = {Tijs van der Storm and Geor Bakker}, title = {MATLAB Doesn't Love Me: An Essay}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {130-129}, doi = {10.1145/3397537.3397557}, year = {2020}, } Publisher's Version

Towards a Pattern Language for Interactive Coding Tutorials
Tao Dong and Gale Yang
(Google, USA)


@InProceedings{<Programming'20> Companion20p160, author = {Tao Dong and Gale Yang}, title = {Towards a Pattern Language for Interactive Coding Tutorials}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {160-159}, doi = {10.1145/3397537.3397558}, year = {2020}, } Publisher's Version

Polyglot Code Finder
Jan Ehmueller, Alexander Riese, Hendrik Tjabben, Fabio Niephaus, and Robert Hirschfeld
(HPI, Germany)


@InProceedings{<Programming'20> Companion20p190, author = {Jan Ehmueller and Alexander Riese and Hendrik Tjabben and Fabio Niephaus and Robert Hirschfeld}, title = {Polyglot Code Finder}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {190-189}, doi = {10.1145/3397537.3397559}, year = {2020}, } Publisher's Version

Visual Design for a Tree-Oriented Projectional Editor
Tom Beckmann, Stefan Ramson, Patrick Rein, and Robert Hirschfeld
(HPI, Germany)


@InProceedings{<Programming'20> Companion20p220, author = {Tom Beckmann and Stefan Ramson and Patrick Rein and Robert Hirschfeld}, title = {Visual Design for a Tree-Oriented Projectional Editor}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3397537.3397560}, year = {2020}, } Publisher's Version

Javardise: A Structured Code Editor for Programming Pedagogy in Java
André L. Santos
(University Institute of Lisbon, Portugal)


@InProceedings{<Programming'20> Companion20p250, author = {André L. Santos}, title = {Javardise: A Structured Code Editor for Programming Pedagogy in Java}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {250-249}, doi = {10.1145/3397537.3397561}, year = {2020}, } Publisher's Version

Convivial Computing Salon (Salon 2020)

Wildcard: Spreadsheet-Driven Customization of Web Applications
Geoffrey Litt and Daniel Jackson
(Massachusetts Institute of Technology, USA)


@InProceedings{<Programming'20> Companion20p280, author = {Geoffrey Litt and Daniel Jackson}, title = {Wildcard: Spreadsheet-Driven Customization of Web Applications}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {280-279}, doi = {10.1145/3397537.3397541}, year = {2020}, } Publisher's Version

Towards a Dynamic Multiscale Personal Information Space: Beyond Application and Document Centered Views of Information
Amy Rae Fox, Philip Guo, Clemens Nylandsted Klokmose, Peter Dalsgaard, Arvind Satyanarayan, Haijun Xia, and James D. Hollan
(University of California at San Diego, USA; Aarhus University, Denmark; Massachusetts Institute of Technology, USA)


@InProceedings{<Programming'20> Companion20p326, author = {Amy Rae Fox and Philip Guo and Clemens Nylandsted Klokmose and Peter Dalsgaard and Arvind Satyanarayan and Haijun Xia and James D. Hollan}, title = {Towards a Dynamic Multiscale Personal Information Space: Beyond Application and Document Centered Views of Information}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {326-325}, doi = {10.1145/3397537.3397542}, year = {2020}, } Publisher's Version

Convivial Design Heuristics for Software Systems
Stephen Kell
(University of Kent, UK)


@InProceedings{<Programming'20> Companion20p372, author = {Stephen Kell}, title = {Convivial Design Heuristics for Software Systems}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {372-371}, doi = {10.1145/3397537.3397543}, year = {2020}, } Publisher's Version

Rethinking Programming “Environment”: Technical and Social Environment Design toward Convivial Computing
Jun Kato and Keisuke Shimakage
(AIST, Japan; OTON GLASS, Japan)


@InProceedings{<Programming'20> Companion20p418, author = {Jun Kato and Keisuke Shimakage}, title = {Rethinking Programming “Environment”: Technical and Social Environment Design toward Convivial Computing}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {418-417}, doi = {10.1145/3397537.3397544}, year = {2020}, } Publisher's Version

Spreadsheets as Notational Environment for Paper Weaving
Jonathan Skjøtt
(Takram, UK)


@InProceedings{<Programming'20> Companion20p464, author = {Jonathan Skjøtt}, title = {Spreadsheets as Notational Environment for Paper Weaving}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {464-463}, doi = {10.1145/3397537.3397545}, year = {2020}, } Publisher's Version

Can Programmers Escape the Gentle Tyranny of call/return?
Marcel Weiher
(HPI, Germany)


@InProceedings{<Programming'20> Companion20p510, author = {Marcel Weiher}, title = {Can Programmers Escape the Gentle Tyranny of call/return?}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {510-509}, doi = {10.1145/3397537.3397546}, year = {2020}, } Publisher's Version

Bicycles for the Mind Have to Be See-Through
Kartik Agaram


@InProceedings{<Programming'20> Companion20p556, author = {Kartik Agaram}, title = {Bicycles for the Mind Have to Be See-Through}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {556-555}, doi = {10.1145/3397537.3397547}, year = {2020}, } Publisher's Version

Escaping the Prison of Style
Antranig Basman and Philip Tchernavskij
(Raising the Floor, UK; OCAD University, Canada)


@InProceedings{<Programming'20> Companion20p602, author = {Antranig Basman and Philip Tchernavskij}, title = {Escaping the Prison of Style}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {602-601}, doi = {10.1145/3397537.3397548}, year = {2020}, } Publisher's Version

What It Takes to Create with Domain-Appropriate Tools: Reflections on Implementing the “Id” System
Joel Jakubovic
(University of Kent, UK)


@InProceedings{<Programming'20> Companion20p648, author = {Joel Jakubovic}, title = {What It Takes to Create with Domain-Appropriate Tools: Reflections on Implementing the “Id” System}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {648-647}, doi = {10.1145/3397537.3397549}, year = {2020}, } Publisher's Version

Chatting with Glue: Cognitive Tools for Augmented Conversation
Max Krieger
(Carnegie Mellon University, USA)


@InProceedings{<Programming'20> Companion20p694, author = {Max Krieger}, title = {Chatting with Glue: Cognitive Tools for Augmented Conversation}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {694-693}, doi = {10.1145/3397537.3397550}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

2020 Posters

Helping Software Developers through Live Software Metrics Visualization
Sara Fernandes, André Restivo, Hugo Sereno Ferreira, and Ademar Aguiar
(University of Porto, Portugal; LIACC, Portugal; INESC TEC, Portugal)


@InProceedings{<Programming'20> Companion20p740, author = {Sara Fernandes and André Restivo and Hugo Sereno Ferreira and Ademar Aguiar}, title = {Helping Software Developers through Live Software Metrics Visualization}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {740-739}, doi = {10.1145/3397537.3397539}, year = {2020}, } Publisher's Version

Overviewing the Liveness of Refactoring for Energy Efficiency
Emanuel Moreira, Filipe F. Correia, and João Bispo
(University of Porto, Portugal; INESC TEC, Portugal)


@InProceedings{<Programming'20> Companion20p742, author = {Emanuel Moreira and Filipe F. Correia and João Bispo}, title = {Overviewing the Liveness of Refactoring for Energy Efficiency}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {742-741}, doi = {10.1145/3397537.3397538}, year = {2020}, } Publisher's Version

2020 Student Research Competition

Towards Language-Parametric Refactorings
Philippe D. Misteli
(Delft University of Technology, Netherlands)


@InProceedings{<Programming'20> Companion20p744, author = {Philippe D. Misteli}, title = {Towards Language-Parametric Refactorings}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {744-743}, doi = {10.1145/3397537.3398476}, year = {2020}, } Publisher's Version

Efficient Editing in a Tree-Oriented Projectional Editor
Tom Beckmann
(HPI, Germany)


@InProceedings{<Programming'20> Companion20p746, author = {Tom Beckmann}, title = {Efficient Editing in a Tree-Oriented Projectional Editor}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {746-745}, doi = {10.1145/3397537.3398477}, year = {2020}, } Publisher's Version

ReAD: Representational Algorithmic Design
Renata Castelo-Branco
(INESC-ID, Portugal; University of Lisbon, Portugal)


@InProceedings{<Programming'20> Companion20p748, author = {Renata Castelo-Branco}, title = {ReAD: Representational Algorithmic Design}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {748-747}, doi = {10.1145/3397537.3398478}, year = {2020}, } Publisher's Version

A Formalism to Model Higher-Order Function
Damien Morard
(University of Geneva, Switzerland)


@InProceedings{<Programming'20> Companion20p750, author = {Damien Morard}, title = {A Formalism to Model Higher-Order Function}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {750-749}, doi = {10.1145/3397537.3398479}, year = {2020}, } Publisher's Version

An Annotation System for Specifying Aliasing Invariants on Object Fields
Aurélien Coet
(University of Geneva, Switzerland)


@InProceedings{<Programming'20> Companion20p752, author = {Aurélien Coet}, title = {An Annotation System for Specifying Aliasing Invariants on Object Fields}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {752-751}, doi = {10.1145/3397537.3398480}, year = {2020}, } Publisher's Version

Pattern-Match-Oriented Proof Writing Language
Satoshi Egi
(University of Tokyo, Japan)


@InProceedings{<Programming'20> Companion20p754, author = {Satoshi Egi}, title = {Pattern-Match-Oriented Proof Writing Language}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {754-753}, doi = {10.1145/3397537.3398481}, year = {2020}, } Publisher's Version

An Experimental Audio-Tactile Interface for Sculpting Digital Resonance Models using Modelling Clay
Jack Armitage
(Queen Mary University of London, UK)


@InProceedings{<Programming'20> Companion20p756, author = {Jack Armitage}, title = {An Experimental Audio-Tactile Interface for Sculpting Digital Resonance Models using Modelling Clay}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {756-755}, doi = {10.1145/3397537.3398482}, year = {2020}, } Publisher's Version

N-gram Models for Code Completion in Pharo
Myroslava Romaniuk
(Ukrainian Catholic University, Ukraine)


@InProceedings{<Programming'20> Companion20p758, author = {Myroslava Romaniuk}, title = {N-gram Models for Code Completion in Pharo}, booktitle = {Proc.\ <Programming'20> Companion}, publisher = {ACM}, pages = {758-757}, doi = {10.1145/3397537.3398483}, year = {2020}, } Publisher's Version

proc time: 0.82