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

Title Page

Article: prog26foreword-fm000-p

Welcome from the Chair

Article: prog26foreword-fm001-p

‹Programming› 2026 Organization

Article: prog26foreword-fm002-p

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

Article: prog26foreword-fm004-p

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

Article: prog26foreword-fm005-p

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

Article: prog26foreword-fm006-p

2nd Workshop on Software Substrates (Substrates-26)

Article: prog26foreword-fm007-p

SV-COMP/Test-Comp Workshop 2026

Article: prog26foreword-fm009-p

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

Article: prog26foreword-fm008-p

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

Article Search Article: prog26key-key1-p

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

Article Search Article: prog26key-key2-p

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)

Article Search Article: prog26morevms-id1-p

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)

Article Search Article: prog26morevms-id2-p

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

Article Search Article: prog26morevms-id3-p

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

Article Search Article: prog26px-id1-p

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

Article Search Article: prog26px-id5-p

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

Article Search Article: prog26px-id7-p

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

Article Search Video Article: prog26px-id8-p

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)

Article Search Article: prog26px-id9-p

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)

Article Search Article: prog26px-id12-p

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

Article Search Article: prog26sclit-id1-p

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)

Article Search Article: prog26sclit-id2-p

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

Article Search Article: prog26vimpl-id1-p