- Taro Sekiyama, Atsushi Igarashi, Michael Greenberg 0002. Polymorphic Manifest Contracts, Revised and Resolved. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
- Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl. Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. ACM Transactions on Programming Languages and Systems, 39(2), 2017.
- Eva Darulova, Viktor Kuncak. Towards a Compiler for Reals. ACM Transactions on Programming Languages and Systems, 39(2), 2017.
- Martin Hirzel, Scott Schneider 0001, Bugra Gedik. SPL: An Extensible Language for Distributed Stream Processing. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
- Andrew Myers. Foreword. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
- Nachshon Cohen, Erez Petrank. Limitations of Partial Compaction: Towards Practical Bounds. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
- Marie-Christine Jakobs, Heike Wehrheim. Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, 39(2), 2017.
- Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu. Newtonian Program Analysis via Tensor Product. ACM Transactions on Programming Languages and Systems, 39(2), 2017.
- Jay Ligatti, Jeremy Blackburn, Michael Nachtigal. On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. ACM Transactions on Programming Languages and Systems, 39(1), 2017.
- Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen 0001. Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems, 38(3):11, 2016.