TOPLAS 2015

12 papers

1. A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations · Dariusz Biernacki, Olivier Danvy, Kevin Millikin
2. A Logical Approach to Deciding Semantic Subtyping · Nils Gesbert, Pierre Genevès, Nabil Layaïda
3. Affine Refinement Types for Secure Distributed Programming · Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
4. An Extension of ATL with Strategy Interaction · Farn Wang, Sven Schewe, Chung-Hao Huang
5. Automated Classification of Data Races Under Both Strong and Weak Memory Models · Baris Kasikci, Cristian Zamfir, George Candea
6. Behavioral Subtyping, Specification Inheritance, and Modular Reasoning · Gary T. Leavens, David A. Naumann
7. Fast: A Transducer-Based Language for Tree Manipulation · Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
8. MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming · Michael Frechtling, Philip Heng Wai Leong
9. Polyhedral AST Generation Is More Than Scanning Polyhedra · Tobias Grosser, Sven Verdoolaege, Albert Cohen
10. Secure Compilation to Protected Module Architectures · Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
11. The Design and Implementation of a Verification Technique for GPU Kernels · Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson + 1 more
12. Verification of a Cryptographic Primitive: SHA-256 · Andrew W. Appel