‹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
(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: 9.93