‹Programming› 2026
10th International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2026)

Title Page

Article: prog26foreword-fm000-p doi:

Welcome from the Chair

Article: prog26foreword-fm001-p doi:

‹Programming› 2026 Organization

Article: prog26foreword-fm002-p doi:

10th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2026)

Article: prog26foreword-fm004-p doi:

12th International Workshop on Programming Experience (PX/26)

Article: prog26foreword-fm005-p doi:

10th Symposium on Computer Languages, Implementations and Tools (SCLIT 2026)

Article: prog26foreword-fm006-p doi:

2nd Workshop on Software Substrates (Substrates-26)

Article: prog26foreword-fm007-p doi:

SV-COMP/Test-Comp Workshop 2026

Article: prog26foreword-fm009-p doi:

5th International Workshop on the Value Independence in Modern Programming Languages (VIMPL 2026)

Article: prog26foreword-fm008-p doi:

A Logical Foundation for Type-Safe Cross-Language Interoperability (Keynote)
Brigitte Pientka
(McGill University, Canada)

Publisher's Version Article: prog26key-key1-p doi:10.1145/3801119.3801120

The Art, Science, and Craftsmanship of Typography (Keynote)
Didier Verna
(EPITA Research Lab, France)

Publisher's Version Article: prog26key-key2-p doi:10.1145/3801119.3801121

The Promise of Static Profiling: Exploring the Limits
Milan Cugurovic, Aleksandar Prokopec, Boris Spasojevic, Vojin Jovanovic, and Milena Vujošević Janičić
(Oracle, Serbia; University of Belgrade, Serbia; Oracle, Switzerland)

Publisher's Version Article: prog26morevms-id1-p doi:10.1145/3801119.3801123

Code Layout Optimization Guided by Temporal Profiling Information
Marko Spasic, Miloje Joksimović, Peter Hofer, and Milena Vujošević Janičić
(University of Belgrade, Serbia; Oracle, Serbia; Oracle, Austria)

Publisher's Version Article: prog26morevms-id2-p doi:10.1145/3801119.3801124

Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components
Olav Blaak and Tom Van Cutsem
(DistriNet at KU Leuven, Belgium)

Publisher's Version Article: prog26morevms-id3-p doi:10.1145/3801119.3801125

Towards Transferring Text Comprehension Techniques to Program Comprehension
Teresa Dreyer, Joel Michel, and Christoph Bockisch
(University of Marburg, Germany)

Publisher's Version Article: prog26px-id1-p doi:10.1145/3801119.3801126

Vexa: Automated Configuration-to-Code Generation for On-Demand State Management in Vue.js Applications
Yizhi Mei and Tetsuo Kamina
(Oita University, Japan)

Publisher's Version Article: prog26px-id5-p doi:10.1145/3801119.3801127

PhysiCode Builder: A Framework for Rapid Prototyping of Tangible Programming Toolkits
Hina Hiratsuka and Kenji Hisazumi
(Shibaura Institute of Technology, Japan)

Publisher's Version Article: prog26px-id7-p doi:10.1145/3801119.3801128

Literate Exploratory Programming for Asynchronous Collaboration
Christoph Thiede, Tom Beckmann, Marcel Taeumel, and Robert Hirschfeld
(Hasso Plattner Institute - University of Potsdam, Germany)

Publisher's Version Video Article: prog26px-id8-p doi:10.1145/3801119.3801129

A Behavior-Centric Programming Framework for Drone Systems with Digital Twin Backends
Ryota Uesugi, Nobuhiko Ogura, Kenji Hisazumi, and Harumi Watanabe
(Tokai University, Japan; Tokyo City University, Japan; Shibaura Institute of Technology, Japan)

Publisher's Version Article: prog26px-id9-p doi:10.1145/3801119.3801130

Liveness in the Age of Agents: Are We Back to Compile-and-Run Cycles?
Toni Mattis, Marcel Taeumel, Lukas Böhme, and Robert Hirschfeld
(Hasso Plattner Institute - University of Potsdam, Germany)

Publisher's Version Article: prog26px-id12-p doi:10.1145/3801119.3801131

A Tool for Transforming the Type of a Container in C++ Code
Ábel Szauter and Norbert Pataki
(Eötvös Loránd University, Hungary)

Publisher's Version Article: prog26sclit-id1-p doi:10.1145/3801119.3801132

Comparing Large Language Models and Traditional Clone Detection Tools for Intra- and Cross-Language Code Clone Detection
Luka Vranković and Gordana Rakić
(University of Novi Sad, Serbia)

Publisher's Version Article: prog26sclit-id2-p doi:10.1145/3801119.3801133

Value Support in the qBeta Language
Ole Lehrmann Madsen and Birger Møller-Pedersen
(Aarhus University, Denmark; University of Oslo, Norway)

Publisher's Version Article: prog26vimpl-id1-p doi:10.1145/3801119.3801134