| |
Attaullah, Hasina
|
‹Programming› Companion '24: "The Next-Gen Interactive Runtime ..."
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 doi:10.1145/3660829.3660833
|
| |
Barash, Mikhail
|
‹Programming› Companion '24: "Containers for GUI Models ..."
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 doi:10.1145/3660829.3660830
|
| |
Baudry, Benoit |
‹Programming› Companion '24: "Programming Algorithmic Art ..."
Programming Algorithmic Art (Keynote)
Benoit Baudry
(Université de Montŕeal, Canada)
@InProceedings{‹Programming›24p1,
author = {Benoit Baudry},
title = {Programming Algorithmic Art (Keynote)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3660829.3661026},
year = {2024},
}
Publisher's Version
Article: prog24key-key1-p doi:10.1145/3660829.3661026
|
| |
Björkman, Moa |
‹Programming› Companion '24: "Ironies of Programming Automation: ..."
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 doi:10.1145/3660829.3660835
|
| |
Böhme, Lukas |
‹Programming› Companion '24: "Faster Feedback with AI? A ..."
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 doi:10.1145/3660829.3660837
|
| |
Church, Luke
|
‹Programming› Companion '24: "Ironies of Programming Automation: ..."
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 doi:10.1145/3660829.3660835
|
| |
Codognet, Philippe |
‹Programming› Companion '24: "A Constraint Programming Approach ..."
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 doi:10.1145/3660829.3660850
|
| |
De Meuter, Wolfgang
|
‹Programming› Companion '24: "A Virtual Machine for Higher-Order ..."
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 doi:10.1145/3660829.3660840
|
| |
Dörbandt, Marius |
‹Programming› Companion '24: "Implementing Babylonian/G ..."
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 doi:10.1145/3660829.3660847
|
| |
Engström, Joel
|
‹Programming› Companion '24: "Ironies of Programming Automation: ..."
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 doi:10.1145/3660829.3660835
|
| |
Ernst, Erik |
‹Programming› Companion '24: "Recent Evolution of Dart: ..."
Recent Evolution of Dart: A Pragmatic Story (Keynote)
Erik Ernst
(Google, Denmark)
@InProceedings{‹Programming›24p2,
author = {Erik Ernst},
title = {Recent Evolution of Dart: A Pragmatic Story (Keynote)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3660829.3661027},
year = {2024},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: prog24key-key2-p doi:10.1145/3660829.3661027
|
| |
Gonzalez Boix, Elisa
|
‹Programming› Companion '24: "BoaSpect: An Expressive Instrumentation ..."
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 doi:10.1145/3660829.3660839
|
| |
Haller, Philipp
|
‹Programming› Companion '24: "Lightweight Affine Types for ..."
Lightweight Affine Types for Safe Concurrency in Scala (Keynote)
Philipp Haller
(KTH Royal Institute of Technology, Sweden)
@InProceedings{‹Programming›24p429,
author = {Philipp Haller},
title = {Lightweight Affine Types for Safe Concurrency in Scala (Keynote)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {429-428},
doi = {10.1145/3660829.3661033},
year = {2024},
}
Publisher's Version
Article: prog24vimpl-key2-p doi:10.1145/3660829.3661033
|
| |
Heander, Lo |
‹Programming› Companion '24: "Design of Flexible Code Block ..."
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 doi:10.1145/3660829.3660842
|
| |
Hirschfeld, Robert |
‹Programming› Companion '24: "Faster Feedback with AI? A ..."
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 doi:10.1145/3660829.3660837
‹Programming› Companion '24: "Implementing Babylonian/G ..."
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 doi:10.1145/3660829.3660847
‹Programming› Companion '24: "Unanticipated Progress Indication: ..."
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 doi:10.1145/3660829.3660843
‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..."
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 doi:10.1145/3660829.3660846
‹Programming› Companion '24: "Examples out of Thin Air: ..."
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 doi:10.1145/3660829.3660845
|
| |
Hisazumi, Kenji |
‹Programming› Companion '24: "Towards a DevOps Modeling ..."
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 doi:10.1145/3660829.3660832
|
| |
Homer, Michael |
‹Programming› Companion '24: "In-Line Compositional Visual ..."
In-Line Compositional Visual Programming
Michael Homer
(Victoria University of Wellington, New Zealand)
@InProceedings{‹Programming›24p225,
author = {Michael Homer},
title = {In-Line Compositional Visual Programming},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {225-224},
doi = {10.1145/3660829.3660841},
year = {2024},
}
Publisher's Version
Article: prog24px-id3-p doi:10.1145/3660829.3660841
|
| |
Höst, Martin |
‹Programming› Companion '24: "Developers’ Perspective ..."
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 doi:10.1145/3660829.3660848
|
| |
Hughes, Jacob |
‹Programming› Companion '24: "Retro-fitting Garbage Collection ..."
Retro-fitting Garbage Collection into Rust (Invited Talk)
Jacob Hughes
(King’s College London, United Kingdom)
@InProceedings{‹Programming›24p141,
author = {Jacob Hughes},
title = {Retro-fitting Garbage Collection into Rust (Invited Talk)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {141-140},
doi = {10.1145/3660829.3661030},
year = {2024},
}
Publisher's Version
Article: prog24morevms-key2-p doi:10.1145/3660829.3661030
|
| |
Ishikawa, Fuyuki
|
‹Programming› Companion '24: "Model-Based Framework for ..."
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 doi:10.1145/3660829.3660849
|
| |
Järvi, Jaakko
|
‹Programming› Companion '24: "Containers for GUI Models ..."
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 doi:10.1145/3660829.3660830
|
| |
Jungeblut, Thorsten |
‹Programming› Companion '24: "The Next-Gen Interactive Runtime ..."
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 doi:10.1145/3660829.3660833
|
| |
Krebs, Eva
|
‹Programming› Companion '24: "Faster Feedback with AI? A ..."
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 doi:10.1145/3660829.3660837
‹Programming› Companion '24: "Implementing Babylonian/G ..."
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 doi:10.1145/3660829.3660847
‹Programming› Companion '24: "Examples out of Thin Air: ..."
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 doi:10.1145/3660829.3660845
|
| |
Kuang, Peng |
‹Programming› Companion '24: "Ironies of Programming Automation: ..."
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 doi:10.1145/3660829.3660835
‹Programming› Companion '24: "Developers’ Perspective ..."
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 doi:10.1145/3660829.3660848
|
| |
Lincke, Jens
|
‹Programming› Companion '24: "Unanticipated Progress Indication: ..."
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 doi:10.1145/3660829.3660843
|
| |
Malevé, Nicolas
|
‹Programming› Companion '24: "Dear Developers, What Do You ..."
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 doi:10.1145/3660829.3661028
|
| |
Matthes, Leon |
‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..."
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 doi:10.1145/3660829.3660846
|
| |
Mattis, Toni |
‹Programming› Companion '24: "Faster Feedback with AI? A ..."
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 doi:10.1145/3660829.3660837
‹Programming› Companion '24: "Implementing Babylonian/G ..."
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 doi:10.1145/3660829.3660847
‹Programming› Companion '24: "Examples out of Thin Air: ..."
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 doi:10.1145/3660829.3660845
|
| |
McCabe, Alan T. |
‹Programming› Companion '24: "Ironies of Programming Automation: ..."
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 doi:10.1145/3660829.3660835
|
| |
Mendonça, Ângelo |
‹Programming› Companion '24: "Autocorrection in Projectional ..."
Autocorrection in Projectional Editors
André L. Santos and Ângelo Mendonça
(ISCTE-IUL, Portugal)
@InProceedings{‹Programming›24p315,
author = {André L. Santos and Ângelo Mendonça},
title = {Autocorrection in Projectional Editors},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {315-314},
doi = {10.1145/3660829.3660844},
year = {2024},
}
Publisher's Version
Article: prog24px-id8-p doi:10.1145/3660829.3660844
|
| |
Miranda, Eliot |
‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..."
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 doi:10.1145/3660829.3660846
|
| |
Misback, Edward |
‹Programming› Companion '24: "Magic Markup: Maintaining ..."
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 doi:10.1145/3660829.3660836
|
| |
Mousavi, Mohammad Reza |
‹Programming› Companion '24: "Property-Based Testing and ..."
Property-Based Testing and Debugging of Quantum Programs (Keynote)
Mohammad Reza Mousavi
(King’s College London, United Kingdom)
@InProceedings{‹Programming›24p405,
author = {Mohammad Reza Mousavi},
title = {Property-Based Testing and Debugging of Quantum Programs (Keynote)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {405-404},
doi = {10.1145/3660829.3661031},
year = {2024},
}
Publisher's Version
Article: prog24qp-key1-p doi:10.1145/3660829.3661031
|
| |
Munsters, Aäron |
‹Programming› Companion '24: "BoaSpect: An Expressive Instrumentation ..."
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 doi:10.1145/3660829.3660839
|
| |
Nicolay, Jens
|
‹Programming› Companion '24: "A Virtual Machine for Higher-Order ..."
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 doi:10.1145/3660829.3660840
|
| |
Odersky, Martin
|
‹Programming› Companion '24: "A Formal Foundation of Reach ..."
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 doi:10.1145/3660829.3660851
|
| |
Oeyen, Bjarno |
‹Programming› Companion '24: "A Virtual Machine for Higher-Order ..."
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 doi:10.1145/3660829.3660840
|
| |
Ogura, Nobuhiko |
‹Programming› Companion '24: "Towards a DevOps Modeling ..."
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 doi:10.1145/3660829.3660832
|
| |
Primás, Javier
|
‹Programming› Companion '24: "Virtual Machines: Should We ..."
Virtual Machines: Should We Keep Doing Them? (Invited Talk)
Javier Primás
(University of Buenos Aires, Argentina)
@InProceedings{‹Programming›24p135,
author = {Javier Primás},
title = {Virtual Machines: Should We Keep Doing Them? (Invited Talk)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {135-134},
doi = {10.1145/3660829.3661029},
year = {2024},
}
Publisher's Version
Article: prog24morevms-key1-p doi:10.1145/3660829.3661029
|
| |
Rinard, Martin C.
|
‹Programming› Companion '24: "Faster Feedback with AI? A ..."
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 doi:10.1145/3660829.3660837
‹Programming› Companion '24: "Implementing Babylonian/G ..."
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 doi:10.1145/3660829.3660847
‹Programming› Companion '24: "Examples out of Thin Air: ..."
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 doi:10.1145/3660829.3660845
|
| |
Robbestad Gylterud, Håkon |
‹Programming› Companion '24: "Containers for GUI Models ..."
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 doi:10.1145/3660829.3660830
|
| |
Rydenfält, Christofer |
‹Programming› Companion '24: "Design of Flexible Code Block ..."
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 doi:10.1145/3660829.3660842
|
| |
Saito, Shinobu
|
‹Programming› Companion '24: "Model-Based Framework for ..."
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 doi:10.1145/3660829.3660849
|
| |
Sanaullah, Sanaullah |
‹Programming› Companion '24: "The Next-Gen Interactive Runtime ..."
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 doi:10.1145/3660829.3660833
|
| |
Santos, André L. |
‹Programming› Companion '24: "Autocorrection in Projectional ..."
Autocorrection in Projectional Editors
André L. Santos and Ângelo Mendonça
(ISCTE-IUL, Portugal)
@InProceedings{‹Programming›24p315,
author = {André L. Santos and Ângelo Mendonça},
title = {Autocorrection in Projectional Editors},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {315-314},
doi = {10.1145/3660829.3660844},
year = {2024},
}
Publisher's Version
Article: prog24px-id8-p doi:10.1145/3660829.3660844
|
| |
Schulz, Oliver |
‹Programming› Companion '24: "Implementing Babylonian/G ..."
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 doi:10.1145/3660829.3660847
|
| |
Scull Pupo, Angel Luis |
‹Programming› Companion '24: "BoaSpect: An Expressive Instrumentation ..."
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 doi:10.1145/3660829.3660839
|
| |
Shingarov, Boris |
‹Programming› Companion '24: "Tinyrossa: A Compiler Framework ..."
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 doi:10.1145/3660829.3660838
|
| |
Söderberg, Emma |
‹Programming› Companion '24: "Ironies of Programming Automation: ..."
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 doi:10.1145/3660829.3660835
‹Programming› Companion '24: "Design of Flexible Code Block ..."
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 doi:10.1145/3660829.3660842
‹Programming› Companion '24: "Developers’ Perspective ..."
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 doi:10.1145/3660829.3660848
|
| |
Stenholm, Elisabeth |
‹Programming› Companion '24: "Containers for GUI Models ..."
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 doi:10.1145/3660829.3660830
|
| |
Stokke, Knut Anders |
‹Programming› Companion '24: "Containers for GUI Models ..."
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 doi:10.1145/3660829.3660830
|
| |
Taeumel, Marcel
|
‹Programming› Companion '24: "Unanticipated Progress Indication: ..."
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 doi:10.1145/3660829.3660843
‹Programming› Companion '24: "Multi-threaded OpenSmalltalk ..."
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 doi:10.1145/3660829.3660846
|
| |
Tanimoto, Steven L. |
‹Programming› Companion '24: "Magic Markup: Maintaining ..."
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 doi:10.1145/3660829.3660836
|
| |
Tatlock, Zachary |
‹Programming› Companion '24: "Magic Markup: Maintaining ..."
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 doi:10.1145/3660829.3660836
|
| |
Vraný, Jan
|
‹Programming› Companion '24: "Tinyrossa: A Compiler Framework ..."
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 doi:10.1145/3660829.3660838
|
| |
Watanabe, Harumi
|
‹Programming› Companion '24: "Towards a DevOps Modeling ..."
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 doi:10.1145/3660829.3660832
|
| |
Xu, Yichen
|
‹Programming› Companion '24: "A Formal Foundation of Reach ..."
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 doi:10.1145/3660829.3660851
|