- 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.
- Bozhen Liu, Jeff Huang 0001, Lawrence Rauchwerger. Rethinking Incremental and Parallel Pointer Analysis. ACM Transactions on Programming Languages and Systems, 41(1), 2019.
- Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, J. Eliot B. Moss. Optimal Choice of When to Garbage Collect. ACM Transactions on Programming Languages and Systems, 41(1), 2019.
- Rodolphe Lepigre, Christophe Raffalli. Practical Subtyping for Curry-Style Languages. ACM Transactions on Programming Languages and Systems, 41(1), 2019.
- Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Transactions on Programming Languages and Systems, 41(1), 2019.
- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis. Program Synthesis for Program Analysis. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Matías Toro, Ronald Garcia, Éric Tanter. Type-Driven Gradual Security with References. ACM Transactions on Programming Languages and Systems, 40(4), 2018.
- Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Se-Won Kim, Xavier Rival, Sukyoung Ryu. A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Transactions on Programming Languages and Systems, 40(3), 2018.