- Marco Eilers, Peter Müller 0001, Samuel Hitz. Modular Product Programs. ACM Transactions on Programming Languages and Systems, 42(1), 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.
- Ningning Xie, Xuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. Consistent Subtyping for All. ACM Transactions on Programming Languages and Systems, 42(1), 2020.
- David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu. Failure Recovery in Resilient X10. ACM Transactions on Programming Languages and Systems, 41(3), 2019.
- Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis. Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Transactions on Programming Languages and Systems, 41(4), 2019.
- Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen. Feature-Specific Profiling. ACM Transactions on Programming Languages and Systems, 41(1), 2019.
- Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida. Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Transactions on Programming Languages and Systems, 41(1), 2019.
- Andrew C. Myers. Editorial. ACM Transactions on Programming Languages and Systems, 41(2), 2019.