TOPLAS 2013

14 papers

1. A Transformation Framework for Optimizing Task-Parallel Programs · V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar
2. Analysis of Recursively Parallel Programs · Ahmed Bouajjani, Michael Emmi
3. Contracts for First-Class Classes · T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
4. Dependent Type Theory for Verification of Information Flow and Access Control Policies · Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
5. Divergence analysis · Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira
6. Editorial · Jens Palsberg
7. Efficient Identification of Linchpin Vertices in Dependence Clusters · David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li
8. Making the java memory model safe · Andreas Lochbihler
9. Mixin' Up the ML Module System · Andreas Rossberg, Derek Dreyer
10. Practical Integrated Analysis of Pointers, Dataflow and Control Flow · Stefan Staiger-Stöhr
11. Probabilistic Relational Reasoning for Differential Privacy · Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin
12. Proof-Directed Parallelization Synthesis by Separation Logic · Matko Botincan, Mike Dodds, Suresh Jagannathan
13. Reachability analysis of program variables · Durica Nikolic, Fausto Spoto
14. TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis · Junghee Lim, Thomas W. Reps