‹Programming› 2023 – Companion Proceedings

Frontmatter

MoreVMs

Keynotes

SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)
Katsuhiro Ueno
(Niigata University, Japan)


@InProceedings{‹Programming›23p1, author = {Katsuhiro Ueno}, title = {SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote)}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3594671.3605096}, year = {2023}, } Publisher's Version

Programming for Deep Learning on Top of Virtual Machines (Keynote)
Zoran Vlatko Sevarac
(Deep Netts, Serbia)


@InProceedings{‹Programming›23p6, author = {Zoran Vlatko Sevarac}, title = {Programming for Deep Learning on Top of Virtual Machines (Keynote)}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {6-5}, doi = {10.1145/3594671.3605097}, year = {2023}, } Publisher's Version

Extended Abstracts

A Compact and Extensible Portable Scheme VM
Léonard Oest O'Leary and Marc Feeley
(Université de Montréal, Canada)


@InProceedings{‹Programming›23p11, author = {Léonard Oest O'Leary and Marc Feeley}, title = {A Compact and Extensible Portable Scheme VM}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3594671.3594672}, year = {2023}, } Publisher's Version

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

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

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

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

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

Multiple-Representation Visual Compositional Dataflow Programming
Michael Homer
(Victoria University of Wellington, New Zealand)


@InProceedings{‹Programming›23p111, author = {Michael Homer}, title = {Multiple-Representation Visual Compositional Dataflow Programming}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3594671.3594681}, year = {2023}, } Publisher's Version

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

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

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

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

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

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

QP

Keynote

Static Analysis for Quantum Software Correctness and Reliability (Keynote)
Jianjun Zhao
(Kyushu University, Japan)


@InProceedings{‹Programming›23p391, author = {Jianjun Zhao}, title = {Static Analysis for Quantum Software Correctness and Reliability (Keynote)}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {391-390}, doi = {10.1145/3594671.3594686}, year = {2023}, } Publisher's Version

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

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)


@InProceedings{‹Programming›23p413, author = {Jarosław Adam Miszczak}, title = {Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {413-412}, doi = {10.1145/3594671.3594688}, year = {2023}, } Publisher's Version

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

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

Towards Reliable Distributed Quantum Computing on Quantum Interconnects
Ryo Wakizaka
(Kyoto University, Japan)


@InProceedings{‹Programming›23p446, author = {Ryo Wakizaka}, title = {Towards Reliable Distributed Quantum Computing on Quantum Interconnects}, booktitle = {Proc.\ ‹Programming›}, publisher = {ACM}, pages = {446-445}, doi = {10.1145/3594671.3594691}, year = {2023}, } Publisher's Version

proc time: 0.03