<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)

Publisher's Version Article: prog20eniac-id2-p doi:10.1145/3397537.3397551

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

Publisher's Version Article: prog20eniac-id3-p doi:10.1145/3397537.3397552

2nd International Workshop on Interconnecting Code (ICW 2020)

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

Publisher's Version Article: prog20icw-id1-p doi:10.1145/3397537.3399575

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

Publisher's Version Article: prog20icw-id2-p doi:10.1145/3397537.3399576

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

Publisher's Version Article: prog20icw-id3-p doi:10.1145/3397537.3399577

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)

Publisher's Version Article: prog20morevms-id5-p doi:10.1145/3397537.3397562

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

Publisher's Version Article: prog20morevms-id10-p doi:10.1145/3397537.3397565

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

Publisher's Version Article: prog20morevms-id7-p doi:10.1145/3397537.3397563

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

Publisher's Version Article: prog20morevms-id4-p doi:10.1145/3397537.3397567

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

Publisher's Version Article: prog20morevms-id6-p doi:10.1145/3397537.3397564

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

Publisher's Version Article: prog20morevms-id8-p doi:10.1145/3397537.3397566

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)

Publisher's Version Article: prog20nip-id5-p doi:10.1145/3397537.3398471

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

Publisher's Version Article: prog20nip-id4-p doi:10.1145/3397537.3398472

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

Publisher's Version Article: prog20nip-id1-p doi:10.1145/3397537.3398473

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

Publisher's Version Article: prog20nip-id2-p doi:10.1145/3397537.3398474

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)

Publisher's Version Article: prog20nip-id3-p doi:10.1145/3397537.3398475

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)

Publisher's Version Article: prog20proweb-id5-p doi:10.1145/3397537.3397553

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

Publisher's Version Article: prog20proweb-id7-p doi:10.1145/3397537.3397554

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)

Publisher's Version Article: prog20px-p2-p doi:10.1145/3397537.3397556

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)

Publisher's Version Article: prog20px-p5-p doi:10.1145/3397537.3397557

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

Publisher's Version Article: prog20px-p6-p doi:10.1145/3397537.3397558

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

Publisher's Version Article: prog20px-p7-p doi:10.1145/3397537.3397559

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

Publisher's Version Article: prog20px-p8-p doi:10.1145/3397537.3397560

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

Publisher's Version Article: prog20px-p12-p doi:10.1145/3397537.3397561

Convivial Computing Salon (Salon 2020)

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

Publisher's Version Article: prog20ccs-id3-p doi:10.1145/3397537.3397541

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)

Publisher's Version Article: prog20ccs-id5-p doi:10.1145/3397537.3397542

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

Publisher's Version Article: prog20ccs-id14-p doi:10.1145/3397537.3397543

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

Publisher's Version Article: prog20ccs-id7-p doi:10.1145/3397537.3397544

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

Publisher's Version Article: prog20ccs-id15-p doi:10.1145/3397537.3397545

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

Publisher's Version Article: prog20ccs-id6-p doi:10.1145/3397537.3397546

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

Publisher's Version Article: prog20ccs-id1-p doi:10.1145/3397537.3397547

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

Publisher's Version Article: prog20ccs-id4-p doi:10.1145/3397537.3397548

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

Publisher's Version Article: prog20ccs-id8-p doi:10.1145/3397537.3397549

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

Publisher's Version Published Artifact Artifacts Available Article: prog20ccs-id12-p doi:10.1145/3397537.3397550

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)

Publisher's Version Article: prog20posters-poster02-p doi:10.1145/3397537.3397539

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

Publisher's Version Article: prog20posters-poster01-p doi:10.1145/3397537.3397538

2020 Student Research Competition

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

Publisher's Version Article: prog20src-p1-p doi:10.1145/3397537.3398476

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

Publisher's Version Article: prog20src-p2-p doi:10.1145/3397537.3398477

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

Publisher's Version Article: prog20src-p3-p doi:10.1145/3397537.3398478

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

Publisher's Version Article: prog20src-p4-p doi:10.1145/3397537.3398479

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

Publisher's Version Article: prog20src-p5-p doi:10.1145/3397537.3398480

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

Publisher's Version Article: prog20src-p6-p doi:10.1145/3397537.3398481

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

Publisher's Version Article: prog20src-p7-p doi:10.1145/3397537.3398482

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

Publisher's Version Article: prog20src-p8-p doi:10.1145/3397537.3398483

proc time: 0.06