‹Programming› 2023 – Companion Proceedings

Frontmatter

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