- Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proceedings of the ACM on Programming Languages, 8(POPL):241-272, January 2024.
- Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger. Validation of Modern JSON Schema: Formalization and Complexity. Proceedings of the ACM on Programming Languages, 8(POPL):1451-1481, January 2024.
- Ugo Dal Lago, Alexis Ghyselen. On Model-Checking Higher-Order Effectful Programs. Proceedings of the ACM on Programming Languages, 8(POPL):2610-2638, January 2024.
- Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone. Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proceedings of the ACM on Programming Languages, 8(POPL):1882-1912, January 2024.
- Ling Zhang, Yuting Wang 0001, Jinhua Wu, Jérémie Koenig, Zhong Shao. Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Proceedings of the ACM on Programming Languages, 8(POPL):2160-2190, January 2024.
- Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban. Monotonicity and the Precision of Program Analysis. Proceedings of the ACM on Programming Languages, 8(POPL):1629-1662, January 2024.
- Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich. Internalizing Indistinguishability with Dependent Types. Proceedings of the ACM on Programming Languages, 8(POPL):1298-1325, January 2024.
- Adam T. Geller, Justin Frank, William J. Bowman. Indexed Types for a Statically Safe WebAssembly. Proceedings of the ACM on Programming Languages, 8(POPL):2395-2424, January 2024.
- Michael Borkowski, Niki Vazou, Ranjit Jhala. Mechanizing Refinement Types. Proceedings of the ACM on Programming Languages, 8(POPL):2099-2128, January 2024.
- Brandon Hewer, Graham Hutton. Quotient Haskell: Lightweight Quotient Types for All. Proceedings of the ACM on Programming Languages, 8(POPL):785-815, January 2024.