‹Programming› 2024 – Companion Proceedings

Frontmatter

Keynotes

Programming Algorithmic Art (Keynote)
Benoit Baudry
(Université de Montŕeal, Canada)

Publisher's Version

Recent Evolution of Dart: A Pragmatic Story (Keynote)
Erik Ernst
(Google, Denmark)

Publisher's Version

Posters and Demos

Containers for GUI Models
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, and Håkon Robbestad Gylterud
(University of Bergen, Norway; University of Turku, Finland)

Publisher's Version

Towards a DevOps Modeling Based on Context-Oriented Programming
Harumi Watanabe, Nobuhiko Ogura, and Kenji Hisazumi
(Tokai University, Japan; Tokyo City University, Japan; Sibaura Institute of Technology, Japan)

Publisher's Version

The Next-Gen Interactive Runtime Simulator for Neural Network Programming
Sanaullah Sanaullah, Hasina Attaullah, and Thorsten Jungeblut
(Bielefeld University of Applied Sciences and Arts, Germany)

Publisher's Version

Programming with AI 2024

Dear Developers, What Do You Mean by Photography? (Keynote)
Nicolas Malevé
(Aarhus University, Denmark)

Publisher's Version

Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
Alan T. McCabe, Moa Björkman, Joel Engström, Peng Kuang, Emma Söderberg, and Luke Church
(Lund University, Sweden; University of Cambridge, United Kingdom)

Publisher's Version

Magic Markup: Maintaining Document-External Markup with an LLM
Edward Misback, Zachary Tatlock, and Steven L. Tanimoto
(University of Washington, USA)

Publisher's Version

Faster Feedback with AI? A Test Prioritization Study
Toni Mattis, Lukas Böhme, Eva Krebs, Martin C. Rinard, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; Massachusetts Institute of Technology, USA)

Publisher's Version

MoreVMs 2024

Virtual Machines: Should We Keep Doing Them? (Invited Talk)
Javier Primás
(University of Buenos Aires, Argentina)

Publisher's Version

Retro-fitting Garbage Collection into Rust (Invited Talk)
Jacob Hughes
(King’s College London, United Kingdom)

Publisher's Version

Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
Jan Vraný and Boris Shingarov
(LabWare, United Kingdom; LabWare, Canada)

Publisher's Version

BoaSpect: An Expressive Instrumentation Platform for JavaScript
Aäron Munsters, Angel Luis Scull Pupo, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)

Publisher's Version

A Virtual Machine for Higher-Order Reactors
Bjarno Oeyen, Jens Nicolay, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)

Publisher's Version

PX 2024

Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Lo Heander, Emma Söderberg, and Christofer Rydenfält
(Lund University, Sweden)

Publisher's Version

Implementing Babylonian/G by Putting Examples into Game Contexts
Eva Krebs, Toni Mattis, Marius Dörbandt, Oliver Schulz, Martin C. Rinard, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; Massachusetts Institute of Technology, USA)

Publisher's Version

In-Line Compositional Visual Programming
Michael Homer
(Victoria University of Wellington, New Zealand)

Publisher's Version

Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
Marcel Taeumel, Jens Lincke, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Publisher's Version

Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
Leon Matthes, Marcel Taeumel, Eliot Miranda, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)

Publisher's Version

Autocorrection in Projectional Editors
André L. Santos and Ângelo Mendonça
(ISCTE-IUL, Portugal)

Publisher's Version

Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example
Toni Mattis, Eva Krebs, Martin C. Rinard, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; Massachusetts Institute of Technology, USA)

Publisher's Version

Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey
Peng Kuang, Emma Söderberg, and Martin Höst
(Lund University, Sweden; Malmö University, Sweden)

Publisher's Version Info

QP 2024

Property-Based Testing and Debugging of Quantum Programs (Keynote)
Mohammad Reza Mousavi
(King’s College London, United Kingdom)

Publisher's Version

Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems
Fuyuki Ishikawa and Shinobu Saito
(National Institute of Informatics, Japan; NTT Computer and Data Science Laboratories, Japan)

Publisher's Version

A Constraint Programming Approach for QUBO Solving and Quantum Annealing
Philippe Codognet
(JFLI – CNRS, France; Sorbonne University, France; University of Tokyo, Japan)

Publisher's Version

VIMPL 2024

Lightweight Affine Types for Safe Concurrency in Scala (Keynote)
Philipp Haller
(KTH Royal Institute of Technology, Sweden)

Publisher's Version

A Formal Foundation of Reach Capabilities
Yichen Xu and Martin Odersky
(EPFL, Switzerland)

Publisher's Version

proc time: 8.51