ECOOP 2026

31 papers

1. A Complete Program Logic for Compositional Linearizability · Eashan Hatti, Arthur Oliveira Vale, Zhongye Wang, Yueyang Feng, Zhong Shao
2. A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl/Brave New Idea) · Luyu Cheng, Lionel Parreaux
3. A Stable Lossless Syntax Tree for Real-Time Collaborative Programming · Leon Freudenthaler, Karl Michael Göschka
4. A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference · Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
5. Automated Inline-Test Generation without Relying on Method-Level Unit Tests · Pengyue Jiang, Yu Liu, Anna Guo, Milos Gligoric, Owolabi Legunsen
6. Automatic Code and Test Generation of Smart Contracts from Coordination Models · Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto
7. Automatic Layout of Railroad Diagrams · Shardul Chiplunkar, Clément Pit-Claudel
8. Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis · Wenyao Chen, Wei Li, Jingling Xue
9. Characterizing Type Feedback in Just-In-Time Compilation · Sebastián Krynski, Filip Ríha, Filip Krikava, Jan Vitek
10. Comparing Transparent Static Analyzers with Open Verification Dashboard · Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, Raphaël Monat
11. Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types · Takashi Suwa, Atsushi Igarashi
12. Compositional Design, Implementation, and Verification of Swarms · Florian Furbach, Lucas Clorius, Roland Kuhn, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto
13. DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis · Milla Valnet, Raphaël Monat, Antoine Miné
14. Efficient Symbolic Execution of Software Under Fault Attacks · Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang
15. Eliminate Branches by Melding IR Instructions · Yuze Li, Srinivasan Ramachandra Sharma, Charitha Saumya, Ali Raza Butt, Kirshanthan Sundararajah
16. Faster Verified Explanations for Neural Networks · Alessandro De Palma, Greta Dolcetti, Caterina Urban
17. Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability · Yujiang Gui, Yonggang Tao, Jingling Xue
18. Foundational and Compositional Verification of Layered Concurrent Objects · Yicheng Ni, Yuting Wang
19. Front Matter, Table of Contents, Preface, Conference Organization ·
20. Language-Integrated Recursive Queries · Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky
21. Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages · Siddhartha Prasad, Skyler Austen, Kathi Fisler, Shriram Krishnamurthi
22. NEST: Network Enforced Session Types · Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster
23. Optimizing Record/Replay Through Relaxed Total Ordering and Multi-Version eXecution · David Schwartz, Luís Pina
24. Ownership Refinement Types for Pointer Arithmetic and Nested Arrays · Yusuke Fujiwara, Yusuke Matsushita, Kohei Suenaga, Atsushi Igarashi
25. Proof-of-Theft: Dynamic Graph-Based Fingerprinting of In-Browser Cryptomining · Tanapoom Sermchaiwong, Jiasi Shen
26. Remote Concolic Multiverse Debugging · Maarten Steevens, Tom Lauwaerts, Christophe Scholliers
27. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding · Fabian Schiebel, Eric Bodden
28. The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State · Sven Keidel, Raphaël Monat, Sebastian Erdweg
29. Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts · Stian Lybech, Daniele Gorla, Luca Aceto
30. Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs · João Gonçalves, José Fragoso Santos, Rodrigo Rodrigues, Miguel Matos
31. Verifying Wait-Freedom for Concurrent Higher-Order Programs · Egor Namakonov, Lars Birkedal, Amin Timany