TOPLAS 2026

10 papers

1. A Sound Type System for Secure Currency Flow · Luca Aceto, Daniele Gorla, Stian Lybech
2. A Typed Intermediate Representation for Dynamic Languages · Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, Jan Vitek
3. An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics · Zongyuan Liu, Angus Hammond, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod
4. Denotation-based Compositional Compiler Verification · Zhang Cheng, Jiyang Wu, Di Wang, Qinxiang Cao
5. Fair Termination of Asynchronous Binary Sessions · Luca Padovani, Gianluigi Zavattaro
6. Guiding LLM-Based Loop Invariant Synthesis via Feedback on Local Reasoning Errors · Tianchi Li, Zhenyu Yan, Junhao Liu, Peng Di, Xin Zhang
7. Navigating Mixed-Typed Migration with Profilers · Nathaniel Hejduk, Ben Greenman, Matthias Felleisen, Christos Dimoulas
8. Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software · Danel Ahman, Karthikeyan Bhargavan, Barry Bond, Jay Bosamiya, Christopher Brzuska, Antoine Delignat-Lavaud + 15 more
9. Scaling Inter-procedural Dataflow Analysis on the Cloud · Zewen Sun, Yujin Zhang, Yueyang Wang, Duanchen Xu, Yiyu Zhang, Yun Qi + 7 more
10. StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution · Soumik Kumar Basu, Jyothi Vedurada