‹Programming› 2023
7th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023)
Powered by
Conference Publishing Consulting

7th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023), March 13–17, 2023, Tokyo, Japan

‹Programming› 2023 – Companion Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Article: prog23foreword-fm000-p doi:
Welcome from the Chairs
Article: prog23foreword-fm001-p doi:
Committees
Article: prog23foreword-fm002-p doi:
Sponsors
Article: prog23foreword-fm003-p doi:
7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023)
Article: prog23foreword-fm004-p doi:
9th International Workshop on Programming Experience (PX/23)
Article: prog23foreword-fm005-p doi:
1st International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2023)
Article: prog23foreword-fm006-p doi:

MoreVMs

Keynotes

SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)
Katsuhiro Ueno
(Niigata University, Japan)
Publisher's Version Article: prog23morevms-key1-p doi:10.1145/3594671.3605096
Programming for Deep Learning on Top of Virtual Machines (Keynote)
Zoran Vlatko Sevarac
(Deep Netts, Serbia)
Publisher's Version Article: prog23morevms-key2-p doi:10.1145/3594671.3605097

Extended Abstracts

A Compact and Extensible Portable Scheme VM
Léonard Oest O'Leary and Marc Feeley
(Université de Montréal, Canada)
Publisher's Version Article: prog23morevms-id7018-p doi:10.1145/3594671.3594672
Threaded Execution as a Dual to Native Code
Dave Mason
(Toronto Metropolitan University, Canada)
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)
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)
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)
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)
Publisher's Version Article: prog23pxmain-id6029-p doi:10.1145/3594671.3594685
Multiple-Representation Visual Compositional Dataflow Programming
Michael Homer
(Victoria University of Wellington, New Zealand)
Publisher's Version Article: prog23pxmain-id2474-p doi:10.1145/3594671.3594681
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)
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)
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)
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)
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)
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)
Publisher's Version Article: prog23pxmain-id9665-p doi:10.1145/3594671.3594683

QP

Keynote

Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Jianjun Zhao
(Kyushu University, Japan)
Publisher's Version Article: prog23qpmain-key1-p doi:10.1145/3594671.3594686

Full Papers

Scaling W State Circuits in the qudit Clifford Hierarchy
Lia Yeh
(University of Oxford, UK; Quantinuum, UK)
Publisher's Version Article: prog23qpmain-id9159-p doi:10.1145/3594671.3594687
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies
Jarosław Adam Miszczak
(Institute of Theoretical and Applied Informatics at Polish Academy of Sciences, Poland)
Publisher's Version Article: prog23qpmain-id6703-p doi:10.1145/3594671.3594688

Position Papers

Capturing Qubit Decoherence through Paraconsistent Transition Systems
Luís Soares Barbosa and Alexandre Madeira
(University of Minho, Portugal; University of Aveiro, Portugal)
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)
Publisher's Version Article: prog23qpmain-id2611-p doi:10.1145/3594671.3594690
Towards Reliable Distributed Quantum Computing on Quantum Interconnects
Ryo Wakizaka
(Kyoto University, Japan)
Publisher's Version Article: prog23qpmain-id1741-p doi:10.1145/3594671.3594691

proc time: 0.05