- 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.
- Shuo Ding, Qirun Zhang. Fast Constraint Synthesis for C++ Function Templates. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):225-252, 2025.
- Anan Kabaha, Dana Drachsler-Cohen. Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):1184-1212, 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.
- Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, K. C. Sivaramakrishnan. Automatically Verifying Replication-Aware Linearizability. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):871-897, 2025.