‹Programming› 2024
8th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2024)
Powered by
Conference Publishing Consulting

8th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2024), March 11–15, 2024, Lund, Sweden

‹Programming› 2024 – Companion Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the Chairs
‹Programming› 2024 Organization
8th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2024)
10th International Workshop on Programming Experience (PX/24)
2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024)
2nd International Workshop on the Value Independence in Modern Programming Languages (VIMPL 2024)

Keynotes

Programming Algorithmic Art (Keynote)
Benoit Baudry ORCID logo
(Université de Montŕeal, Canada)
Publisher's Version
Recent Evolution of Dart: A Pragmatic Story (Keynote)
Erik Ernst ORCID logo
(Google, Denmark)
Publisher's Version

Posters and Demos

Containers for GUI Models
Knut Anders Stokke ORCID logo, Mikhail BarashORCID logo, Jaakko JärviORCID logo, Elisabeth Stenholm ORCID logo, and Håkon Robbestad Gylterud ORCID logo
(University of Bergen, Norway; University of Turku, Finland)
Publisher's Version
Towards a DevOps Modeling Based on Context-Oriented Programming
Harumi Watanabe ORCID logo, Nobuhiko Ogura ORCID logo, and Kenji Hisazumi ORCID logo
(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 ORCID logo, Hasina Attaullah ORCID logo, and Thorsten Jungeblut ORCID logo
(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é ORCID logo
(Aarhus University, Denmark)
Publisher's Version
Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
Alan T. McCabe ORCID logo, Moa Björkman ORCID logo, Joel Engström ORCID logo, Peng Kuang ORCID logo, Emma Söderberg ORCID logo, and Luke Church ORCID logo
(Lund University, Sweden; University of Cambridge, United Kingdom)
Publisher's Version
Magic Markup: Maintaining Document-External Markup with an LLM
Edward Misback ORCID logo, Zachary Tatlock ORCID logo, and Steven L. Tanimoto ORCID logo
(University of Washington, USA)
Publisher's Version
Faster Feedback with AI? A Test Prioritization Study
Toni Mattis ORCID logo, Lukas Böhme ORCID logo, Eva Krebs ORCID logo, Martin C. RinardORCID logo, and Robert Hirschfeld ORCID logo
(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 ORCID logo
(University of Buenos Aires, Argentina)
Publisher's Version
Retro-fitting Garbage Collection into Rust (Invited Talk)
Jacob Hughes ORCID logo
(King’s College London, United Kingdom)
Publisher's Version
Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
Jan Vraný ORCID logo and Boris Shingarov ORCID logo
(LabWare, United Kingdom; LabWare, Canada)
Publisher's Version
BoaSpect: An Expressive Instrumentation Platform for JavaScript
Aäron Munsters ORCID logo, Angel Luis Scull Pupo ORCID logo, and Elisa Gonzalez Boix ORCID logo
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
A Virtual Machine for Higher-Order Reactors
Bjarno Oeyen ORCID logo, Jens Nicolay ORCID logo, and Wolfgang De Meuter ORCID logo
(Vrije Universiteit Brussel, Belgium)
Publisher's Version

PX 2024

Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Lo HeanderORCID logo, Emma Söderberg ORCID logo, and Christofer Rydenfält ORCID logo
(Lund University, Sweden)
Publisher's Version
Implementing Babylonian/G by Putting Examples into Game Contexts
Eva Krebs ORCID logo, Toni Mattis ORCID logo, Marius Dörbandt ORCID logo, Oliver Schulz ORCID logo, Martin C. RinardORCID logo, and Robert Hirschfeld ORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; Massachusetts Institute of Technology, USA)
Publisher's Version
In-Line Compositional Visual Programming
Michael Homer ORCID logo
(Victoria University of Wellington, New Zealand)
Publisher's Version
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
Marcel TaeumelORCID logo, Jens Lincke ORCID logo, and Robert Hirschfeld ORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Publisher's Version
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
Leon Matthes ORCID logo, Marcel TaeumelORCID logo, Eliot Miranda ORCID logo, and Robert Hirschfeld ORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Publisher's Version
Autocorrection in Projectional Editors
André L. Santos ORCID logo and Ângelo Mendonça ORCID logo
(ISCTE-IUL, Portugal)
Publisher's Version
Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example
Toni Mattis ORCID logo, Eva Krebs ORCID logo, Martin C. RinardORCID logo, and Robert Hirschfeld ORCID logo
(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 ORCID logo, Emma Söderberg ORCID logo, and Martin Höst ORCID logo
(Lund University, Sweden; Malmö University, Sweden)
Publisher's Version Info

QP 2024

Property-Based Testing and Debugging of Quantum Programs (Keynote)
Mohammad Reza Mousavi ORCID logo
(King’s College London, United Kingdom)
Publisher's Version
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems
Fuyuki IshikawaORCID logo and Shinobu Saito ORCID logo
(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 ORCID logo
(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 ORCID logo
(KTH Royal Institute of Technology, Sweden)
Publisher's Version
A Formal Foundation of Reach Capabilities
Yichen Xu ORCID logo and Martin Odersky ORCID logo
(EPFL, Switzerland)
Publisher's Version

proc time: 8.55