default search action
Programming 2023: Tokyo, Japan
- Shigeru Chiba, Youyou Cong, Elisa Gonzalez Boix:
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023. ACM 2023 - Katsuhiro Ueno:
SML#: Toward the Ideal Interoperability between Languages and Systems (Keynote). 1 - Zoran Vlatko Sevarac:
Programming for Deep Learning on Top of Virtual Machines (Keynote). 2 - Léonard Oest O'Leary, Marc Feeley:
A Compact and Extensible Portable Scheme VM. 3-6 - Dave Mason:
Threaded Execution as a Dual to Native Code. 7-11 - Go Suzuki, Takuo Watanabe, Sosuke Moriguchi:
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices. 12-16 - Athanasios Stratikopoulos, Florin Blanaru, Juan Fumero, Maria Xekalaki, Orion Papadakis, Christos Kotselidis:
Cross-Language Interoperability of Heterogeneous Code. 17-21 - Martin Kavalar, Philippa Markovics, Jack Rusher:
Clerk: Moldable Live Programming for Clojure. 22-31 - Steven L. Tanimoto:
Five Futures with AI Coding Agents. 32-38 - Michael Homer:
Multiple-Representation Visual Compositional Dataflow Programming. 39-47 - Luke Church, Emma Söderberg, Martin Höst:
My Space, Our Space, Their Space: A First Glance at Developers' Experience of Spaces. 48-53 - Christoph Thiede, Marcel Taeumel, Robert Hirschfeld:
Object-Centric Time-Travel Debugging: Exploring Traces of Objects. 54-60 - Eva Krebs, Patrick Rein, Joana Bergsiek, Lina Urban, Robert Hirschfeld:
Probe Log: Visualizing the Control Flow of Babylonian Programming. 61-67 - Paul Wuilmart, Emma Söderberg, Martin Höst:
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development. 68-75 - Hiroki Hashimoto, Ikuta Tanigawa, Nobuhiko Ogura, Harumi Watanabe:
ReactCOP Supporting Layer Parameter Management for Front-End Web Applications. 76-83 - Stephen Travis Pope:
Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages? 84-88 - Jianjun Zhao:
Static Analysis for Quantum Software Correctness and Reliability (Keynote). 89 - Lia Yeh:
Scaling W State Circuits in the qudit Clifford Hierarchy. 90-100 - Jaroslaw Adam Miszczak:
Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies. 101-108 - Luís Soares Barbosa, Alexandre Madeira:
Capturing Qubit Decoherence through Paraconsistent Transition Systems. 109-110 - Armin Moin, Atta Badii, Moharram Challenger:
Model-Driven Quantum Federated Learning (QFL). 111-113 - Ryo Wakizaka:
Towards Reliable Distributed Quantum Computing on Quantum Interconnects. 114-116
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.