‹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


Title Page
Welcome from the Chairs
7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023)
9th International Workshop on Programming Experience (PX/23)
1st International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2023)



SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)
Katsuhiro Ueno ORCID logo
(Niigata University, Japan)
Publisher's Version
Programming for Deep Learning on Top of Virtual Machines (Keynote)
Zoran Vlatko Sevarac ORCID logo
(Deep Netts, Serbia)
Publisher's Version

Extended Abstracts

A Compact and Extensible Portable Scheme VM
Léonard Oest O'Leary and Marc Feeley ORCID logo
(Université de Montréal, Canada)
Publisher's Version
Threaded Execution as a Dual to Native Code
Dave Mason ORCID logo
(Toronto Metropolitan University, Canada)
Publisher's Version
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
Go Suzuki ORCID logo, Takuo Watanabe ORCID logo, and Sosuke Moriguchi ORCID logo
(Tokyo Institute of Technology, Japan)
Publisher's Version
Cross-Language Interoperability of Heterogeneous Code
Athanasios Stratikopoulos ORCID logo, Florin Blanaru ORCID logo, Juan Fumero ORCID logo, Maria Xekalaki ORCID logo, Orion Papadakis ORCID logo, and Christos Kotselidis ORCID logo
(University of Manchester, UK; OctoML, USA)
Publisher's Version


Clerk: Moldable Live Programming for Clojure
Martin Kavalar ORCID logo, Philippa Markovics ORCID logo, and Jack Rusher ORCID logo
(Nextjournal, Germany; Nextjournal, Austria)
Publisher's Version Info
Five Futures with AI Coding Agents
Steven L. Tanimoto ORCID logo
(University of Washington, USA)
Publisher's Version
Multiple-Representation Visual Compositional Dataflow Programming
Michael Homer ORCID logo
(Victoria University of Wellington, New Zealand)
Publisher's Version
My Space, Our Space, Their Space: A First Glance at Developers’ Experience of Spaces
Luke Church ORCID logo, Emma Söderberg ORCID logo, and Martin Höst ORCID logo
(Lund University, Sweden)
Publisher's Version
Object-Centric Time-Travel Debugging: Exploring Traces of Objects
Christoph Thiede ORCID logo, Marcel TaeumelORCID logo, and Robert Hirschfeld ORCID logo
(University of Potsdam, Germany; Hasso Plattner Institute, Germany)
Publisher's Version
Probe Log: Visualizing the Control Flow of Babylonian Programming
Eva Krebs ORCID logo, Patrick Rein ORCID logo, Joana Bergsiek ORCID logo, Lina Urban ORCID logo, and Robert HirschfeldORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Publisher's Version
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
Paul Wuilmart ORCID logo, Emma Söderberg ORCID logo, and Martin Höst ORCID logo
(KnowIt Dataunit, Sweden; Lund University, Sweden)
Publisher's Version
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications
Hiroki Hashimoto ORCID logo, Ikuta Tanigawa ORCID logo, Nobuhiko Ogura ORCID logo, and Harumi Watanabe ORCID logo
(Tokai University, Japan; Change Vision, Japan; Tokyo City University, Japan)
Publisher's Version
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?
Stephen Travis Pope ORCID logo
(FASTLab, USA; HeavenEverywhereMedia, USA)
Publisher's Version Video Info



Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Jianjun Zhao ORCID logo
(Kyushu University, Japan)
Publisher's Version

Full Papers

Scaling W State Circuits in the qudit Clifford Hierarchy
Lia Yeh ORCID logo
(University of Oxford, UK; Quantinuum, UK)
Publisher's Version
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies
Jarosław Adam Miszczak ORCID logo
(Institute of Theoretical and Applied Informatics at Polish Academy of Sciences, Poland)
Publisher's Version

Position Papers

Capturing Qubit Decoherence through Paraconsistent Transition Systems
Luís Soares BarbosaORCID logo and Alexandre MadeiraORCID logo
(University of Minho, Portugal; University of Aveiro, Portugal)
Publisher's Version
Model-Driven Quantum Federated Learning (QFL)
Armin Moin ORCID logo, Atta Badii ORCID logo, and Moharram Challenger ORCID logo
(TU Munich, Germany; University of Antwerp, Belgium; University of Reading, UK; Flanders Make, Belgium)
Publisher's Version
Towards Reliable Distributed Quantum Computing on Quantum Interconnects
Ryo Wakizaka ORCID logo
(Kyoto University, Japan)
Publisher's Version

proc time: 3.53