- 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.
- Xiaodong Jia 0004, Ashish Kumar, Gang Tan. A Derivative-based Parser Generator for Visibly Pushdown Grammars. ACM Transactions on Programming Languages and Systems, 45(2), June 2023.
- Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer. Passport: Improving Automated Formal Verification Using Identifiers. ACM Transactions on Programming Languages and Systems, 45(2), June 2023.
- Kesha Hietala, Robert Rand 0001, Liyi Li 0002, Shih-Han Hung, Xiaodi Wu, Michael Hicks 0001. A Verified Optimizer for Quantum Circuits. ACM Transactions on Programming Languages and Systems, 45(3), September 2023.
- Elizabeth Scott, Adrian Johnstone, Robert Walsh. Multiple Input Parsing and Lexical Analysis. ACM Transactions on Programming Languages and Systems, 45(3), September 2023.