Powered by
7th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023), March 13–17, 2023,
Tokyo, Japan
Frontmatter
Sponsors
Article: prog23foreword-fm003-p doi:
MoreVMs
Keynotes
Extended Abstracts
Threaded Execution as a Dual to Native Code
Dave Mason
(Toronto Metropolitan University, Canada)
@InProceedings{‹Programming›23p16,
author = {Dave Mason},
title = {Threaded Execution as a Dual to Native Code},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3594671.3594673},
year = {2023},
}
Publisher's Version
Article: prog23morevms-id380-p doi:10.1145/3594671.3594673
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Go Suzuki,
Takuo Watanabe, and
Sosuke Moriguchi
(Tokyo Institute of Technology, Japan)
@InProceedings{‹Programming›23p21,
author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
title = {Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3594671.3594674},
year = {2023},
}
Publisher's Version
Article: prog23morevms-id7821-p doi:10.1145/3594671.3594674
Cross-Language Interoperability of Heterogeneous Code
Athanasios Stratikopoulos,
Florin Blanaru,
Juan Fumero,
Maria Xekalaki,
Orion Papadakis, and
Christos Kotselidis
(University of Manchester, UK; OctoML, USA)
@InProceedings{‹Programming›23p26,
author = {Athanasios Stratikopoulos and Florin Blanaru and Juan Fumero and Maria Xekalaki and Orion Papadakis and Christos Kotselidis},
title = {Cross-Language Interoperability of Heterogeneous Code},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {26-25},
doi = {10.1145/3594671.3594675},
year = {2023},
}
Publisher's Version
Article: prog23morevms-id7664-p doi:10.1145/3594671.3594675
PX/23
Clerk: Moldable Live Programming for Clojure
Martin Kavalar,
Philippa Markovics, and
Jack Rusher
(Nextjournal, Germany; Nextjournal, Austria)
@InProceedings{‹Programming›23p31,
author = {Martin Kavalar and Philippa Markovics and Jack Rusher},
title = {Clerk: Moldable Live Programming for Clojure},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3594671.3594682},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id9025-p doi:10.1145/3594671.3594682
Five Futures with AI Coding Agents
Steven L. Tanimoto
(University of Washington, USA)
@InProceedings{‹Programming›23p71,
author = {Steven L. Tanimoto},
title = {Five Futures with AI Coding Agents},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3594671.3594685},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id6029-p doi:10.1145/3594671.3594685
My Space, Our Space, Their Space: A First Glance at Developers’ Experience of Spaces
Luke Church,
Emma Söderberg, and
Martin Höst
(Lund University, Sweden)
@InProceedings{‹Programming›23p151,
author = {Luke Church and Emma Söderberg and Martin Höst},
title = {My Space, Our Space, Their Space: A First Glance at Developers’ Experience of Spaces},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {151-150},
doi = {10.1145/3594671.3594680},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id2608-p doi:10.1145/3594671.3594680
Object-Centric Time-Travel Debugging: Exploring Traces of Objects
Christoph Thiede,
Marcel Taeumel, and
Robert Hirschfeld
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
@InProceedings{‹Programming›23p191,
author = {Christoph Thiede and Marcel Taeumel and Robert Hirschfeld},
title = {Object-Centric Time-Travel Debugging: Exploring Traces of Objects},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {191-190},
doi = {10.1145/3594671.3594678},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id9405-p doi:10.1145/3594671.3594678
Probe Log: Visualizing the Control Flow of Babylonian Programming
Eva Krebs,
Patrick Rein,
Joana Bergsiek,
Lina Urban, and
Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
@InProceedings{‹Programming›23p231,
author = {Eva Krebs and Patrick Rein and Joana Bergsiek and Lina Urban and Robert Hirschfeld},
title = {Probe Log: Visualizing the Control Flow of Babylonian Programming},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {231-230},
doi = {10.1145/3594671.3594679},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id5984-p doi:10.1145/3594671.3594679
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
Paul Wuilmart,
Emma Söderberg, and
Martin Höst
(KnowIt Dataunit, Sweden; Lund University, Sweden)
@InProceedings{‹Programming›23p271,
author = {Paul Wuilmart and Emma Söderberg and Martin Höst},
title = {Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3594671.3594677},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id2034-p doi:10.1145/3594671.3594677
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications
Hiroki Hashimoto,
Ikuta Tanigawa,
Nobuhiko Ogura, and
Harumi Watanabe
(Tokai University, Japan; Change Vision, Japan; Tokyo City University, Japan)
@InProceedings{‹Programming›23p311,
author = {Hiroki Hashimoto and Ikuta Tanigawa and Nobuhiko Ogura and Harumi Watanabe},
title = {ReactCOP Supporting Layer Parameter Management for Front-End Web Applications},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {311-310},
doi = {10.1145/3594671.3594684},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id4052-p doi:10.1145/3594671.3594684
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?
Stephen Travis Pope
(FASTLab, USA; HeavenEverywhereMedia, USA)
@InProceedings{‹Programming›23p351,
author = {Stephen Travis Pope},
title = {Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3594671.3594683},
year = {2023},
}
Publisher's Version
Article: prog23pxmain-id9665-p doi:10.1145/3594671.3594683
QP
Keynote
Full Papers
Scaling W State Circuits in the qudit Clifford Hierarchy
Lia Yeh
(University of Oxford, UK; Quantinuum, UK)
@InProceedings{‹Programming›23p402,
author = {Lia Yeh},
title = {Scaling W State Circuits in the qudit Clifford Hierarchy},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {402-401},
doi = {10.1145/3594671.3594687},
year = {2023},
}
Publisher's Version
Article: prog23qpmain-id9159-p doi:10.1145/3594671.3594687
Position Papers
Capturing Qubit Decoherence through Paraconsistent Transition Systems
Luís Soares Barbosa and
Alexandre Madeira
(University of Minho, Portugal; University of Aveiro, Portugal)
@InProceedings{‹Programming›23p424,
author = {Luís Soares Barbosa and Alexandre Madeira},
title = {Capturing Qubit Decoherence through Paraconsistent Transition Systems},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {424-423},
doi = {10.1145/3594671.3594689},
year = {2023},
}
Publisher's Version
Article: prog23qpmain-id443-p doi:10.1145/3594671.3594689
Model-Driven Quantum Federated Learning (QFL)
Armin Moin,
Atta Badii, and
Moharram Challenger
(TU Munich, Germany; University of Antwerp, Belgium; University of Reading, UK; Flanders Make, Belgium)
@InProceedings{‹Programming›23p435,
author = {Armin Moin and Atta Badii and Moharram Challenger},
title = {Model-Driven Quantum Federated Learning (QFL)},
booktitle = {Proc.\ ‹Programming›},
publisher = {ACM},
pages = {435-434},
doi = {10.1145/3594671.3594690},
year = {2023},
}
Publisher's Version
Article: prog23qpmain-id2611-p doi:10.1145/3594671.3594690
proc time: 0.04