


default search action
9th 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














