Search dblp for Publications

export results for "toc:db/conf/programming/programming2023.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics