![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/programming/programming2023.bht:"
@inproceedings{DBLP:conf/programming/000123, author = {Jianjun Zhao}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Static Analysis for Quantum Software Correctness and Reliability (Keynote)}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {89}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594686}, doi = {10.1145/3594671.3594686}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/000123.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/BarbosaM23, author = {Lu{\'{\i}}s Soares Barbosa and Alexandre Madeira}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Capturing Qubit Decoherence through Paraconsistent Transition Systems}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {109--110}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594689}, doi = {10.1145/3594671.3594689}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/BarbosaM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/ChurchSH23, author = {Luke Church and Emma S{\"{o}}derberg and Martin H{\"{o}}st}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {My Space, Our Space, Their Space: {A} First Glance at Developers' Experience of Spaces}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {48--53}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594680}, doi = {10.1145/3594671.3594680}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/ChurchSH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/HashimotoTOW23, author = {Hiroki Hashimoto and Ikuta Tanigawa and Nobuhiko Ogura and Harumi Watanabe}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {ReactCOP Supporting Layer Parameter Management for Front-End Web Applications}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {76--83}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594684}, doi = {10.1145/3594671.3594684}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/HashimotoTOW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Homer23, author = {Michael Homer}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Multiple-Representation Visual Compositional Dataflow Programming}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {39--47}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594681}, doi = {10.1145/3594671.3594681}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Homer23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/KavalarMR23, author = {Martin Kavalar and Philippa Markovics and Jack Rusher}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Clerk: Moldable Live Programming for Clojure}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {22--31}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594682}, doi = {10.1145/3594671.3594682}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/KavalarMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/KrebsRBUH23, author = {Eva Krebs and Patrick Rein and Joana Bergsiek and Lina Urban and Robert Hirschfeld}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Probe Log: Visualizing the Control Flow of Babylonian Programming}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {61--67}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594679}, doi = {10.1145/3594671.3594679}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/KrebsRBUH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Mason23, author = {Dave Mason}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Threaded Execution as a Dual to Native Code}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {7--11}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594673}, doi = {10.1145/3594671.3594673}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Mason23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Miszczak23, author = {Jaroslaw Adam Miszczak}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Symbolic Quantum Programming for Supporting Applications of Quantum Computing Technologies}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {101--108}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594688}, doi = {10.1145/3594671.3594688}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Miszczak23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/MoinBC23, author = {Armin Moin and Atta Badii and Moharram Challenger}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Model-Driven Quantum Federated Learning {(QFL)}}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {111--113}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594690}, doi = {10.1145/3594671.3594690}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/MoinBC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/OLearyF23, author = {L{\'{e}}onard Oest O'Leary and Marc Feeley}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {A Compact and Extensible Portable Scheme {VM}}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {3--6}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594672}, doi = {10.1145/3594671.3594672}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/OLearyF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Pope23, author = {Stephen Travis Pope}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Resurrecting Score11 in Siren: What Ever Happened to the 1980s Score Languages?}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {84--88}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594683}, doi = {10.1145/3594671.3594683}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Pope23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Sevarac23, author = {Zoran Vlatko Sevarac}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Programming for Deep Learning on Top of Virtual Machines (Keynote)}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {2}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3605097}, doi = {10.1145/3594671.3605097}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Sevarac23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/StratikopoulosB23, author = {Athanasios Stratikopoulos and Florin Blanaru and Juan Fumero and Maria Xekalaki and Orion Papadakis and Christos Kotselidis}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Cross-Language Interoperability of Heterogeneous Code}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {17--21}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594675}, doi = {10.1145/3594671.3594675}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/StratikopoulosB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/SuzukiWM23, author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {12--16}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594674}, doi = {10.1145/3594671.3594674}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/SuzukiWM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Tanimoto23, author = {Steven L. Tanimoto}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Five Futures with {AI} Coding Agents}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {32--38}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594685}, doi = {10.1145/3594671.3594685}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Tanimoto23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/ThiedeTH23, author = {Christoph Thiede and Marcel Taeumel and Robert Hirschfeld}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Object-Centric Time-Travel Debugging: Exploring Traces of Objects}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {54--60}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594678}, doi = {10.1145/3594671.3594678}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/ThiedeTH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Ueno23, author = {Katsuhiro Ueno}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {SML{\#}: Toward the Ideal Interoperability between Languages and Systems (Keynote)}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {1}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3605096}, doi = {10.1145/3594671.3605096}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Ueno23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Wakizaka23, author = {Ryo Wakizaka}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Towards Reliable Distributed Quantum Computing on Quantum Interconnects}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {114--116}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594691}, doi = {10.1145/3594671.3594691}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Wakizaka23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/WuilmartSH23, author = {Paul Wuilmart and Emma S{\"{o}}derberg and Martin H{\"{o}}st}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {68--75}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594677}, doi = {10.1145/3594671.3594677}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/WuilmartSH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/Yeh23, author = {Lia Yeh}, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Scaling {W} State Circuits in the qudit Clifford Hierarchy}, booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, pages = {90--100}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671.3594687}, doi = {10.1145/3594671.3594687}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/Yeh23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/programming/2023, editor = {Shigeru Chiba and Youyou Cong and Elisa Gonzalez Boix}, title = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594671}, doi = {10.1145/3594671}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.