- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis. Program Synthesis for Program Analysis. ACM Transactions on Programming Languages and Systems, 40(2), 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.
- Anindya Banerjee 0001, David A. Naumann, Mohammad Nikouei. A Logical Analysis of Framing for Specifications with Pure Method Calls. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Mikel Luján. Cross-Language Interoperability in a Multi-Language Runtime. ACM Transactions on Programming Languages and Systems, 40(2), 2018.
- Jacob Lidman, Sally A. McKee. Verifying Reliability Properties Using the Hyperball Abstract Domain. ACM Transactions on Programming Languages and Systems, 40(1), 2018.
- Federico Olmedo, Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver. Conditioning in Probabilistic Programming. ACM Transactions on Programming Languages and Systems, 40(1), 2018.
- Friedrich Steimann. Constraint-Based Refactoring. ACM Transactions on Programming Languages and Systems, 40(1), 2018.
- Hong Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter. Bit-Precise Procedure-Modular Termination Analysis. ACM Transactions on Programming Languages and Systems, 40(1), 2018.
- Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones. SHErrLoc: A Static Holistic Error Locator. ACM Transactions on Programming Languages and Systems, 39(4), 2017.
- Yanhong A. Liu, Scott D. Stoller, Bo Lin. From Clarity to Efficiency for Distributed Algorithms. ACM Transactions on Programming Languages and Systems, 39(3), 2017.