- Joseph A. Zullo. Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems. Proceedings of the ACM on Programming Languages, 10(POPL):33-63, 2026.
- Parosh Aziz Abdulla, Yu-Fang Chen 0001, Michal Hecko, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam. Parameterized Verification of Quantum Circuits. Proceedings of the ACM on Programming Languages, 10(POPL):2021-2050, 2026.
- David Castro-Perez, Francisco Ferreira 0001, Sung-Shik Jongmans. A Synthetic Reconstruction of Multiparty Session Types. Proceedings of the ACM on Programming Languages, 10(POPL):1442-1470, 2026.
- Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan 0001, Yue Li 0006. ChiSA: Static Analysis for Lightweight Chisel Verification. Proceedings of the ACM on Programming Languages, 10(POPL):507-539, 2026.
- Chun Yin Chau, Lionel Parreaux. The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types. Proceedings of the ACM on Programming Languages, 10(POPL):1353-1382, 2026.
- Davide Barbarossa, Paolo Pistone. Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages. Proceedings of the ACM on Programming Languages, 10(POPL):951-980, 2026.
- Brandon Hewer, Graham Hutton. Quotient Polymorphism. Proceedings of the ACM on Programming Languages, 10(POPL):659-687, 2026.
- Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis. A Verified High-Performance Composable Object Library for Remote Direct Memory Access. Proceedings of the ACM on Programming Languages, 10(POPL):2051-2082, 2026.
- Henning Urbat. Higher-Order Behavioural Conformances via Fibrations. Proceedings of the ACM on Programming Languages, 10(POPL):1586-1614, 2026.
- Vladimir Gladshtein, George Pîrlea, Qiyuan Zhao, Vitaly Kurin, Ilya Sergey. Foundational Multi-Modal Program Verifiers. Proceedings of the ACM on Programming Languages, 10(POPL):2233-2264, 2026.