TOPLAS 2016

13 papers

1. A Practical Approach for Model Checking C/C++11 Code · Brian Norris, Brian Demsky
2. An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation · Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
3. Analyzing Runtime and Size Complexity of Integer Programs · Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
4. Automatic Storage Optimization for Arrays · Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen
5. Compiler-Driven Software Speculation for Thread-Level Parallelism · Paraskevas Yiapanis, Gavin Brown, Mikel Luján
6. DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages · Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
7. Selective X-Sensitive Analysis Guided by Impact Pre-Analysis · Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
8. The Design and Formalization of Mezzo, a Permission-Based Programming Language · Thibaut Balabonski, François Pottier, Jonathan Protzenko
9. The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests · Uday Bondhugula, Aravind Acharya, Albert Cohen
10. The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations · Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht + 13 more
11. Thinking Inside the Box: Compartmentalized Garbage Collection · Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz
12. ThisType for Object-Oriented Languages: From Theory to Practice · Sukyoung Ryu
13. Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic · Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal