- Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter. Chocola: Composable Concurrency Language. ACM Transactions on Programming Languages and Systems, 42(4), 2021.
- Abu Naser Masud, Björn Lisper. Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. ACM Transactions on Programming Languages and Systems, 42(4), 2021.
- Peizun Liu, Thomas Wahl, Thomas W. Reps. Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ACM Transactions on Programming Languages and Systems, 42(4), 2021.
- Jiasi Shen 0001, Martin C. Rinard. Active Learning for Inference and Regeneration of Applications that Access Databases. ACM Transactions on Programming Languages and Systems, 42(4), 2021.
- Marco Eilers, Peter Müller 0001, Samuel Hitz. Modular Product Programs. ACM Transactions on Programming Languages and Systems, 42(1), 2020.
- Abhinav Jangda, Uday Bondhugula. An Effective Fusion and Tile Size Model for PolyMage. ACM Transactions on Programming Languages and Systems, 42(3), 2020.
- Matías Toro, Ronald Garcia, Éric Tanter. Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16. ACM Transactions on Programming Languages and Systems, 42(2), 2020.
- Lau Skorstengaard, Dominique Devriese, Lars Birkedal. Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Transactions on Programming Languages and Systems, 42(1), 2020.
- Amal Ahmed. Introduction to the Special Issue on ESOP 2018. ACM Transactions on Programming Languages and Systems, 42(1), 2020.
- Alex Simpson, Niels F. W. Voorneveld. Behavioural Equivalence via Modalities for Algebraic Effects. ACM Transactions on Programming Languages and Systems, 42(1), 2020.