‹Programming› 2024 – Companion Proceedings

Frontmatter

Keynotes

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

Publisher's Version Article: prog24key-key1-p doi:10.1145/3660829.3661026

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

Publisher's Version Published Artifact Artifacts Available Article: prog24key-key2-p doi:10.1145/3660829.3661027

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 Article: prog24posters-id4-p doi:10.1145/3660829.3660830

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 Article: prog24posters-id5-p doi:10.1145/3660829.3660832

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 Article: prog24posters-id1-p doi:10.1145/3660829.3660833

Programming with AI 2024

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

Publisher's Version Article: prog24progai-key1-p doi:10.1145/3660829.3661028

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 Article: prog24progai-p01-p doi:10.1145/3660829.3660835

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

Publisher's Version Article: prog24progai-p02-p doi:10.1145/3660829.3660836

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 Article: prog24progai-p03-p doi:10.1145/3660829.3660837

MoreVMs 2024

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

Publisher's Version Article: prog24morevms-key1-p doi:10.1145/3660829.3661029

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

Publisher's Version Article: prog24morevms-key2-p doi:10.1145/3660829.3661030

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

Publisher's Version Article: prog24morevms-id1-p doi:10.1145/3660829.3660838

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 Article: prog24morevms-id3-p doi:10.1145/3660829.3660839

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

Publisher's Version Article: prog24morevms-id2-p doi:10.1145/3660829.3660840

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 Article: prog24px-id6-p doi:10.1145/3660829.3660842

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 Article: prog24px-id11-p doi:10.1145/3660829.3660847

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

Publisher's Version Article: prog24px-id3-p doi:10.1145/3660829.3660841

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 Article: prog24px-id7-p doi:10.1145/3660829.3660843

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 Article: prog24px-id10-p doi:10.1145/3660829.3660846

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

Publisher's Version Article: prog24px-id8-p doi:10.1145/3660829.3660844

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 Article: prog24px-id9-p doi:10.1145/3660829.3660845

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 Article: prog24px-id13-p doi:10.1145/3660829.3660848

QP 2024

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

Publisher's Version Article: prog24qp-key1-p doi:10.1145/3660829.3661031

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 Article: prog24qp-id3-p doi:10.1145/3660829.3660849

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 Article: prog24qp-id5-p doi:10.1145/3660829.3660850

VIMPL 2024

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

Publisher's Version Article: prog24vimpl-key2-p doi:10.1145/3660829.3661033

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

Publisher's Version Article: prog24vimpl-p0-p doi:10.1145/3660829.3660851

proc time: 0.05