Programming

Publications

2024

Toni Mattis, Lukas Böhme, Eva Krebs, Martin C. Rinard, Robert Hirschfeld
Faster Feedback with AI? A Test Prioritization Study. Programming (2024)
Lo Heander, Emma Söderberg, Christofer Rydenfält
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code. Programming (2024)
Jan Vraný, Boris Shingarov
Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs. Programming (2024)
Nicolas Malevé
Dear Developers, What Do You Mean by Photography? (Keynote). Programming (2024)
Mohammad Reza Mousavi
Property-Based Testing and Debugging of Quantum Programs (Keynote). Programming (2024)
Peng Kuang, Emma Söderberg, Martin Höst
Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey. Programming (2024)
Marcel Taeumel, Jens Lincke, Robert Hirschfeld
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration. Programming (2024)
Leon Matthes, Marcel Taeumel, Eliot Miranda, Robert Hirschfeld
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization. Programming (2024)
Javier Primás
Virtual Machines: Should We Keep Doing Them? (Invited Talk). Programming (2024)
Erik Ernst
Recent Evolution of Dart: A Pragmatic Story (Keynote). Programming (2024)
Michael Homer
In-Line Compositional Visual Programming. Programming (2024)
Yichen Xu, Martin Odersky
A Formal Foundation of Reach Capabilities. Programming (2024)
André L. Santos, Ângelo Mendonça
Autocorrection in Projectional Editors. Programming (2024)
Philipp Haller
Lightweight Affine Types for Safe Concurrency in Scala (Keynote). Programming (2024)
Fuyuki Ishikawa, Shinobu Saito
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. Programming (2024)
Philippe Codognet
A Constraint Programming Approach for QUBO Solving and Quantum Annealing. Programming (2024)
Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, Lund, Sweden, March 11-15, 2024 Programming (2024)
Harumi Watanabe, Nobuhiko Ogura, Kenji Hisazumi
Towards a DevOps Modeling Based on Context-Oriented Programming. Programming (2024)
Aäron Munsters, Angel Luis Scull Pupo, Elisa Gonzalez Boix
BoaSpect: An Expressive Instrumentation Platform for JavaScript. Programming (2024)
Eva Krebs, Toni Mattis, Marius Dörbandt, Oliver Schulz, Martin C. Rinard, Robert Hirschfeld
Implementing Babylonian/G by Putting Examples into Game Contexts. Programming (2024)
Sanaullah, Hasina Attaullah, Thorsten Jungeblut
The Next-Gen Interactive Runtime Simulator for Neural Network Programming. Programming (2024)
Edward Misback, Zachary Tatlock, Steven L. Tanimoto
Magic Markup: Maintaining Document-External Markup with an LLM. Programming (2024)
Toni Mattis, Eva Krebs, Martin C. Rinard, Robert Hirschfeld
Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example. Programming (2024)
Jacob Hughes
Retro-fitting Garbage Collection into Rust (Invited Talk). Programming (2024)
Bjarno Oeyen, Jens Nicolay, Wolfgang De Meuter
A Virtual Machine for Higher-Order Reactors. Programming (2024)
Alan T. McCabe, Moa Björkman, Joel Engström, Peng Kuang, Emma Söderberg, Luke Church
Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models. Programming (2024)
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud
Containers for GUI Models. Programming (2024)
Benoit Baudry
Programming Algorithmic Art (Keynote). Programming (2024)

2023