- 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.
- Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini. LoRe: A Programming Model for Verifiably Safe Local-first Software. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti. Choral: Object-oriented Choreographic Programming. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Benno Stein 0001, Bor-Yuh Evan Chang, Manu Sridharan. Interactive Abstract Interpretation with Demanded Summarization. ACM Transactions on Programming Languages and Systems, 46(1), March 2024.
- Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari. Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. ACM Transactions on Programming Languages and Systems, 45(2), June 2023.
- Maja Vukasovic, Aleksandar Prokopec. Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code. ACM Transactions on Programming Languages and Systems, 45(4), December 2023.
- Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter. Contextual Linear Types for Differential Privacy. ACM Transactions on Programming Languages and Systems, 45(2), June 2023.
- Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella. A Model Checker for Operator Precedence Languages. ACM Transactions on Programming Languages and Systems, 45(3), September 2023.
- Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan. A First-order Logic with Frames. ACM Transactions on Programming Languages and Systems, 45(2), June 2023.
- Hongyu Fan, Zhihang Sun, Fei He 0001. Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Transactions on Programming Languages and Systems, 45(1), March 2023.