Powered by
8th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2024), March 11–15, 2024,
Lund, Sweden
Frontmatter
Title Page
Article: prog24foreword-fm000-p (type: Frontmatter) doi:
Keynotes
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)
@InProceedings{‹Programming›24p3,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi and Elisabeth Stenholm and Håkon Robbestad Gylterud},
title = {Containers for GUI Models},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3660829.3660830},
year = {2024},
}
Publisher's Version
Article: prog24posters-id4-p (type: Short Paper (Poster, 2 pages, excluding references)) 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)
@InProceedings{‹Programming›24p7,
author = {Harumi Watanabe and Nobuhiko Ogura and Kenji Hisazumi},
title = {Towards a DevOps Modeling Based on Context-Oriented Programming},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3660829.3660832},
year = {2024},
}
Publisher's Version
Article: prog24posters-id5-p (type: Short Paper (Poster, 2 pages, excluding references)) 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)
@InProceedings{‹Programming›24p11,
author = {Sanaullah Sanaullah and Hasina Attaullah and Thorsten Jungeblut},
title = {The Next-Gen Interactive Runtime Simulator for Neural Network Programming},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3660829.3660833},
year = {2024},
}
Publisher's Version
Article: prog24posters-id1-p (type: Short Paper (Poster, 2 pages, excluding references)) doi:10.1145/3660829.3660833
Programming with AI 2024
Dear Developers, What Do You Mean by Photography? (Keynote)
Nicolas Malevé
(Aarhus University, Denmark)
@InProceedings{‹Programming›24p15,
author = {Nicolas Malevé},
title = {Dear Developers, What Do You Mean by Photography? (Keynote)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3660829.3661028},
year = {2024},
}
Publisher's Version
Article: prog24progai-key1-p (type: Keynote) 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)
@InProceedings{‹Programming›24p45,
author = {Alan T. McCabe and Moa Björkman and Joel Engström and Peng Kuang and Emma Söderberg and Luke Church},
title = {Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3660829.3660835},
year = {2024},
}
Publisher's Version
Article: prog24progai-p01-p (type: Full Paper) 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)
@InProceedings{‹Programming›24p75,
author = {Edward Misback and Zachary Tatlock and Steven L. Tanimoto},
title = {Magic Markup: Maintaining Document-External Markup with an LLM},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {75-74},
doi = {10.1145/3660829.3660836},
year = {2024},
}
Publisher's Version
Article: prog24progai-p02-p (type: Full Paper) 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)
@InProceedings{‹Programming›24p105,
author = {Toni Mattis and Lukas Böhme and Eva Krebs and Martin C. Rinard and Robert Hirschfeld},
title = {Faster Feedback with AI? A Test Prioritization Study},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {105-104},
doi = {10.1145/3660829.3660837},
year = {2024},
}
Publisher's Version
Article: prog24progai-p03-p (type: Full Paper) doi:10.1145/3660829.3660837
MoreVMs 2024
Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
Jan Vraný and
Boris Shingarov
(LabWare, United Kingdom; LabWare, Canada)
@InProceedings{‹Programming›24p147,
author = {Jan Vraný and Boris Shingarov},
title = {Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {147-146},
doi = {10.1145/3660829.3660838},
year = {2024},
}
Publisher's Version
Article: prog24morevms-id1-p (type: Short Paper) 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)
@InProceedings{‹Programming›24p153,
author = {Aäron Munsters and Angel Luis Scull Pupo and Elisa Gonzalez Boix},
title = {BoaSpect: An Expressive Instrumentation Platform for JavaScript},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {153-152},
doi = {10.1145/3660829.3660839},
year = {2024},
}
Publisher's Version
Article: prog24morevms-id3-p (type: Full Paper (4 pages, excl. references)) doi:10.1145/3660829.3660839
A Virtual Machine for Higher-Order Reactors
Bjarno Oeyen,
Jens Nicolay, and
Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{‹Programming›24p159,
author = {Bjarno Oeyen and Jens Nicolay and Wolfgang De Meuter},
title = {A Virtual Machine for Higher-Order Reactors},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {159-158},
doi = {10.1145/3660829.3660840},
year = {2024},
}
Publisher's Version
Article: prog24morevms-id2-p (type: Full Paper (4 pages, excl. references)) 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)
@InProceedings{‹Programming›24p165,
author = {Lo Heander and Emma Söderberg and Christofer Rydenfält},
title = {Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {165-164},
doi = {10.1145/3660829.3660842},
year = {2024},
}
Publisher's Version
Article: prog24px-id6-p (type: Full Paper) 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)
@InProceedings{‹Programming›24p195,
author = {Eva Krebs and Toni Mattis and Marius Dörbandt and Oliver Schulz and Martin C. Rinard and Robert Hirschfeld},
title = {Implementing Babylonian/G by Putting Examples into Game Contexts},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {195-194},
doi = {10.1145/3660829.3660847},
year = {2024},
}
Publisher's Version
Article: prog24px-id11-p (type: Full Paper) doi:10.1145/3660829.3660847
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
Marcel Taeumel,
Jens Lincke, and
Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
@InProceedings{‹Programming›24p255,
author = {Marcel Taeumel and Jens Lincke and Robert Hirschfeld},
title = {Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {255-254},
doi = {10.1145/3660829.3660843},
year = {2024},
}
Publisher's Version
Article: prog24px-id7-p (type: Full Paper) 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)
@InProceedings{‹Programming›24p285,
author = {Leon Matthes and Marcel Taeumel and Eliot Miranda and Robert Hirschfeld},
title = {Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {285-284},
doi = {10.1145/3660829.3660846},
year = {2024},
}
Publisher's Version
Article: prog24px-id10-p (type: Full Paper) doi:10.1145/3660829.3660846
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)
@InProceedings{‹Programming›24p345,
author = {Toni Mattis and Eva Krebs and Martin C. Rinard and Robert Hirschfeld},
title = {Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {345-344},
doi = {10.1145/3660829.3660845},
year = {2024},
}
Publisher's Version
Article: prog24px-id9-p (type: Full Paper) 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)
@InProceedings{‹Programming›24p375,
author = {Peng Kuang and Emma Söderberg and Martin Höst},
title = {Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {375-374},
doi = {10.1145/3660829.3660848},
year = {2024},
}
Publisher's Version
Article: prog24px-id13-p (type: Full Paper) doi:10.1145/3660829.3660848
QP 2024
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)
@InProceedings{‹Programming›24p413,
author = {Fuyuki Ishikawa and Shinobu Saito},
title = {Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {413-412},
doi = {10.1145/3660829.3660849},
year = {2024},
}
Publisher's Version
Article: prog24qp-id3-p (type: Full Paper (8 pages)) 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)
@InProceedings{‹Programming›24p421,
author = {Philippe Codognet},
title = {A Constraint Programming Approach for QUBO Solving and Quantum Annealing},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {421-420},
doi = {10.1145/3660829.3660850},
year = {2024},
}
Publisher's Version
Article: prog24qp-id5-p (type: Full Paper (8 pages)) doi:10.1145/3660829.3660850
VIMPL 2024
A Formal Foundation of Reach Capabilities
Yichen Xu and
Martin Odersky
(EPFL, Switzerland)
@InProceedings{‹Programming›24p444,
author = {Yichen Xu and Martin Odersky},
title = {A Formal Foundation of Reach Capabilities},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {444-443},
doi = {10.1145/3660829.3660851},
year = {2024},
}
Publisher's Version
Article: prog24vimpl-p0-p (type: Full Paper (10 pages, excluding references)) doi:10.1145/3660829.3660851
proc time: 0.16
Published Artifact
Artifacts Available
Article: prog24key-key2-p (type: Keynote) doi:10.1145/3660829.3661027