- Thiago Felicissimo. Generic Bidirectional Typing for Dependent Type Theories. ACM Transactions on Programming Languages and Systems, 47(1), March 2025.
- Yotam Dvir, Ohad Kammar, Ori Lahav 0001. A Brookes-Style Denotational Semantics for Release/Acquire Concurrency. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Loïc Pujet, Yann Leray, Nicolas Tabareau. Observational Equality Meets CIC. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Xusheng Zhi, Thomas Reps. Polynomial Bounds of CFLOBDDs against BDDs. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia 0001. Modal Crash Types for WAR-Aware Intermittent Computing. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Alexandre Moine 0001, Arthur Charguéraud, François Pottier. Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection. ACM Transactions on Programming Languages and Systems, 47(1), March 2025.
- Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang. Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. ACM Transactions on Programming Languages and Systems, 47(2), June 2025.
- Hao Wu, Qiuye Wang, Bai Xue 0001, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. ACM Transactions on Programming Languages and Systems, 47(1), March 2025.
- Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Iacovos G. Kolokasis, Giannos Evdorou, Shoaib Akram 0001, Christos Kozanitis, Anastasios Papagiannis, Foivos S. Zakkak, Polyvios Pratikakis, Angelos Bilas. TeraHeap: Exploiting Flash Storage for Mitigating DRAM Pressure in Managed Big Data Frameworks. ACM Transactions on Programming Languages and Systems, 46(4), December 2024.