- Umang Mathur 0001, David Mestel, Mahesh Viswanathan 0001. The Decision Problem for Regular First Order Theories. Proceedings of the ACM on Programming Languages, 9(POPL):986-1012, 2025.
- Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller 0001. Formal Foundations for Translational Separation Logic Verifiers. Proceedings of the ACM on Programming Languages, 9(POPL):569-599, 2025.
- Eric Giovannini, Tingting Ding, Max S. New. Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory. Proceedings of the ACM on Programming Languages, 9(POPL):772-801, 2025.
- Chenyu Zhou, Yuzhou Fang, Jingbo Wang 0006, Chao Wang 0001. An Incremental Algorithm for Algebraic Program Analysis. Proceedings of the ACM on Programming Languages, 9(POPL):1934-1961, 2025.
- Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu. Biparsers: Exact Printing for Data Synchronisation. Proceedings of the ACM on Programming Languages, 9(POPL):2205-2231, 2025.
- Jan van Brügge, James McKinna, Andrei Popescu 0001, Dmitriy Traytel. Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings. Proceedings of the ACM on Programming Languages, 9(POPL):1687-1718, 2025.
- Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre 0001, Lars Birkedal. Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages, 9(POPL):1417-1445, 2025.
- Santiago Arranz Olmos, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte. Preservation of Speculative Constant-Time by Compilation. Proceedings of the ACM on Programming Languages, 9(POPL):1293-1325, 2025.
- Philippe Heim, Rayna Dimitrova. Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis. Proceedings of the ACM on Programming Languages, 9(POPL):1536-1567, 2025.
- YuFan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin 0001, Jun Sun 0001, Jin Song Dong. Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus. Proceedings of the ACM on Programming Languages, 9(POPL):2057-2089, 2025.