default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th Programming 2025: Prague, Czech Republic
- Jonathan Edwards
, Roly Perera, Tomas Petricek:
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, Prague, Czechia, June 2-6, 2025. OASIcs 134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-382-9 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xxii
- Pierre Donat-Bouillud, Filip Krikava, Jakob Hain, Adam Plodek, Jan Vitek:
Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract). 1:1-1:6 - Kazuki Ichinose, Shigeyuki Sato, Tomoharu Ugawa:
Towards a Java Virtual Machine for Processing-In-Memory (Extended Abstract). 2:1-2:5 - Andrej Pecimuth, David Leopoldseder, Petr Tuma:
A Pragmatic Approach to Replay Compilation (Extended Abstract). 3:1-3:4 - Boris Shingarov, Jan Vraný:
Debugging a Smalltalk VM Assisted by Large Automated Reasoning (Extended Abstract). 4:1-4:6 - Luke Church, Mariana Marasoiu:
It's OK to Want to Have a Good Time. 5:1-5:4 - Max Boksem, L. Thomas van Binsbergen:
Exploration and Complexity Management in Graph-Based Programming Environments. 6:1-6:18 - Ulrich Brandstätter, Bernhard Schenkenfelder:
In-Situ Visual Programming. 7:1-7:11 - Marcel Garus, Jens Lincke, Robert Hirschfeld:
Fuzzing as Editor Feedback. 8:1-8:15 - Yudai Yamada, Nobuhiko Ogura, Kenji Hisazumi, Harumi Watanabe:
COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment. 9:1-9:10 - Hiroto Shikada, Ian Piumarta:
Shica - Improving the Programming Experience for Agent-Based, Distributed, Physical Computing Systems. 10:1-10:22 - Yoshiki Ohshima, Adam Bouhenguel, Matthew Good:
Renkon-Pad: A Live and Self-Sustaining Programming Environment Based on Functional Reactive Programming. 11:1-11:20 - Masaki Kunii, Ian Piumarta:
Im-C - A Memory-Safe C Interpreter Providing a Better Learning, Testing, and Debugging Experience. 12:1-12:18 - Toni Mattis, Lukas Böhme, Stefan Ramson, Tom Beckmann, Martin C. Rinard, Robert Hirschfeld:
Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming. 13:1-13:11 - Takashi Ishio, Yuta Yamasaki:
PShapeTrace: Linking Drawing Instructions with Visual Outcomes in Processing. 14:1-14:12 - Tom Beckmann, Leonard Geier, Stefan Ramson, Marcel Taeumel, Robert Hirschfeld:
Encouraging Experimentation Through Programming by Proximity. 15:1-15:15 - Manisha Jain, Vitor Fernandes, Alexandre Madeira, Luís Soares Barbosa:
Exploring a Quantum Programming Language with Concurrency. 16:1-16:9 - Javier Zayas Gallardo, Francisco Chicano, Carlos Canal, Juan Manuel Murillo:
Locus: A Proposal for Quantum Software Composition. 17:1-17:10 - Stefan Hillmich, Raphael Zefferer, Mathias Gartner, Bernhard Schenkenfelder, Sonja Bruckner, Ulrich Brandstätter:
Quantum Table: A Tangible Quantum Circuit Demonstrator. 18:1-18:3 - Emanuel Rodrigues, José Nuno Macedo, João Saraiva:
Is There Hypothesis for Attribute Grammars? 19:1-19:15 - Federico Lochbaum, Guillermo Polito:
On the Effectiveness of Interpreter-Guided Compiler Testing. 20:1-20:15 - Quentin Colla, Kim Mens, Julien Liénard:
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions. 21:1-21:15 - Smiljana Knezev, István Bozó, Melinda Tóth:
Identifying Security Issues in Elixir Web Applications. 22:1-22:15 - Julien Liénard, Kim Mens, Siegfried Nijssen:
The Pyttern Program Query Language. 23:1-23:15 - Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, Jan Vitek:
Toward a Typed Intermediate Language for R (Extended Abstract). 24:1-24:4 - Dimi Racordon:
Who Owns the Contents of a Doubly-Linked List? 25:1-25:10 - Hamza Remmal:
Mutable Value Semantics Through a Runtime-Enforced Framework in Scala (Extended Abstract). 26:1-26:3
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.
last updated on 2026-07-19 01:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
