- 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.
- 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.
- Thomas H. Austin, Thomas Schmitz, Cormac Flanagan. Multiple Facets for Dynamic Information Flow with Exceptions. ACM Transactions on Programming Languages and Systems, 39(3), 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.