TOPLAS 2017

18 papers

1. A Simple, Possibly Correct LR Parser for C11 · Jacques-Henri Jourdan, François Pottier
2. Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion · Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
3. Foreword · Andrew C. Myers
4. From Clarity to Efficiency for Distributed Algorithms · Yanhong A. Liu, Scott D. Stoller, Bo Lin
5. Limitations of Partial Compaction: Towards Practical Bounds · Nachshon Cohen, Erez Petrank
6. Multiple Facets for Dynamic Information Flow with Exceptions · Thomas H. Austin, Thomas Schmitz, Cormac Flanagan
7. Newtonian Program Analysis via Tensor Product · Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
8. On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types · Jay Ligatti, Jeremy Blackburn, Michael Nachtigal
9. Polymorphic Manifest Contracts, Revised and Resolved · Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
10. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs · Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
11. Programs from Proofs: A Framework for the Safe Execution of Untrusted Software · Marie-Christine Jakobs, Heike Wehrheim
12. SHErrLoc: A Static Holistic Error Locator · Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
13. SPL: An Extensible Language for Distributed Stream Processing · Martin Hirzel, Scott Schneider, Bugra Gedik
14. Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform · Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams + 19 more
15. Sound Non-Statistical Clustering of Static Analysis Alarms · Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
16. The Chemical Approach to Typestate-Oriented Programming · Silvia Crafa, Luca Padovani
17. Towards a Compiler for Reals · Eva Darulova, Viktor Kuncak
18. Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types · Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson