Table of Contents

• Characterizing Type Feedback in Just-In-Time CompilationSebastián Krynski, Filip Ríha, Filip Krikava, Jan Vitek. [doi]
• A Stable Lossless Syntax Tree for Real-Time Collaborative ProgrammingLeon Freudenthaler, Karl Michael Göschka. [doi]
• Automatic Layout of Railroad DiagramsShardul Chiplunkar, Clément Pit-Claudel. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Faster Verified Explanations for Neural NetworksAlessandro De Palma, Greta Dolcetti, Caterina Urban. [doi]
• Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer AnalysisWenyao Chen, Wei Li 0241, Jingling Xue. [doi]
• DelExp: A Relational Container Abstraction: with Applications to Compositional AnalysisMilla Valnet, Raphaël Monat, Antoine Miné. [doi]
• Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-ReachabilityYujiang Gui, Yonggang Tao, Jingling Xue. [doi]
• NEST: Network Enforced Session TypesJens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster. [doi]
• Automated Inline-Test Generation without Relying on Method-Level Unit TestsPengyue Jiang, Yu Liu 0079, Anna Guo, Milos Gligoric 0001, Owolabi Legunsen. [doi]
• Efficient Symbolic Execution of Software Under Fault AttacksYuzhou Fang, Chenyu Zhou, Jingbo Wang 0006, Chao Wang 0001. [doi]
• Vardalith: Hybrid Detection of Persistent Memory Concurrency BugsJoão Gonçalves, José Fragoso Santos, Rodrigo Rodrigues 0001, Miguel Matos. [doi]
• Comparing Transparent Static Analyzers with Open Verification DashboardTom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, Raphaël Monat. [doi]
• Foundational and Compositional Verification of Layered Concurrent ObjectsYicheng Ni, Yuting Wang 0001. [doi]
• A Variation on Java Wildcards - Trading Expressiveness for Global Type InferenceAndreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001. [doi]
• Compositional Design, Implementation, and Verification of SwarmsFlorian Furbach, Lucas Clorius, Roland Kuhn 0002, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto. [doi]
• Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow EncodingFabian Schiebel, Eric Bodden. [doi]
• Compile-Time Tensor Shape Checking via Staged Shape-Dependent TypesTakashi Suwa, Atsushi Igarashi. [doi]
• Eliminate Branches by Melding IR InstructionsYuze Li, Srinivasan Ramachandra Sharma, Charitha Saumya, Ali Raza Butt, Kirshanthan Sundararajah. [doi]
• Language-Integrated Recursive QueriesAnna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky. [doi]
• A Complete Program Logic for Compositional LinearizabilityEashan Hatti, Arthur Oliveira Vale, Zhongye Wang, Yueyang Feng, Zhong Shao 0001. [doi]
• Verifying Wait-Freedom for Concurrent Higher-Order ProgramsEgor Namakonov, Lars Birkedal, Amin Timany. [doi]
• Typing Fallback Functions: A Semantic Approach to Type Safe Smart ContractsStian Lybech, Daniele Gorla, Luca Aceto. [doi]
• The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared StateSven Keidel, Raphaël Monat, Sebastian Erdweg. [doi]
• Proof-of-Theft: Dynamic Graph-Based Fingerprinting of In-Browser CryptominingTanapoom Sermchaiwong, Jiasi Shen 0001. [doi]
• Ownership Refinement Types for Pointer Arithmetic and Nested ArraysYusuke Fujiwara, Yusuke Matsushita 0002, Kohei Suenaga, Atsushi Igarashi. [doi]
• Remote Concolic Multiverse DebuggingMaarten Steevens, Tom Lauwaerts, Christophe Scholliers. [doi]
• Automatic Code and Test Generation of Smart Contracts from Coordination ModelsElvis Konjoh Selabi, Maurizio Murgia 0001, António Ravara, Emilio Tuosto. [doi]
• Optimizing Record/Replay Through Relaxed Total Ordering and Multi-Version eXecutionDavid Schwartz, Luís Pina. [doi]
• A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl/Brave New Idea)Luyu Cheng, Lionel Parreaux. [doi]
• Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted LanguagesSiddhartha Prasad, Skyler Austen, Kathi Fisler, Shriram Krishnamurthi. [doi]