- 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.
- Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter. Omnisemantics: Smooth Handling of Nondeterminism. ACM Transactions on Programming Languages and Systems, 45(1), March 2023.
- Ben Greenman, Christos Dimoulas, Matthias Felleisen. Typed-Untyped Interactions: A Comparative Analysis. ACM Transactions on Programming Languages and Systems, 45(1), March 2023.
- Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer. Immutability and Encapsulation for Sound OO Information Flow Control. ACM Transactions on Programming Languages and Systems, 45(1), March 2023.
- Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer. Towards Porting Operating Systems with Program Synthesis. ACM Transactions on Programming Languages and Systems, 45(1), March 2023.
- Olivier Danvy. The Tortoise and the Hare Algorithm for Finite Lists, Compositionally. ACM Transactions on Programming Languages and Systems, 45(1), March 2023.
- Ori Lahav, Udi Boker. What's Decidable About Causally Consistent Shared Memory?. ACM Transactions on Programming Languages and Systems, 44(2), 2022.
- Martin Hecker 0001, Simon Bischof, Gregor Snelting. On Time-sensitive Control Dependencies. ACM Transactions on Programming Languages and Systems, 44(1), 2022.
- Qinheping Hu, Rishabh Singh, Loris D'Antoni. Solving Program Sketches with Large Integer Values. ACM Transactions on Programming Languages and Systems, 44(2), 2022.
- Alex C. Keizer, Henning Basold, Jorge A. Pérez 0001. Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. ACM Transactions on Programming Languages and Systems, 44(3), 2022.