- 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.
- Taro Sekiyama, Atsushi Igarashi, Michael Greenberg 0002. Polymorphic Manifest Contracts, Revised and Resolved. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
- Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Transactions on Programming Languages and Systems, 39(4), 2017.
- Silvia Crafa, Luca Padovani. The Chemical Approach to Typestate-Oriented Programming. ACM Transactions on Programming Languages and Systems, 39(3), 2017.
- Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson. Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. ACM Transactions on Programming Languages and Systems, 39(3), 2017.