Liqian Chen, Antoine Miné and Patrick Cousot. A Sound Floating-Point Polyhedra Abstract Domain.
Sergio Maffeis, John Mitchell and Ankur Taly. An operational semantics for JavaScript.
Swaroop Sridhar, Jonathan Shapiro and Scott F. Smith. Sound and Complete Type Inference for a Systems Programming Language.
Kohei Suenaga. Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.
Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, Rudrapatna Shyamasundar and Pradeep Varma. Static Detection of Place Locality and Elimination of Runtime Checks.
Alexandru Stefan, Florin Craciun and Wei-Ngan Chin. A Flow-Sensitive Region Inference for CLI.
Roberto Amadio and Mehdi Dogguy. On affine usages in signal-based communication.
Xin Chen and Yuxin Deng. Game Characterizations of Process Equivalences.
Peter Thiemann and Stefan Wehr. Interface Types for Haskell.
Stefan Wehr and Manuel Chakravarty. ML Modules and Haskell Type Classes: A Constructive Comparison.
Dave Clarke, Tobias Wrigstad, Johan Östlund and Einar Broch Johnsen. Minimal Ownership for Active Objects.
Gilles Barthe, César Kunz and Jorge Luis Sacchini. Certified Reasoning in Memory Hierarchies.
Matthias Blume, Umut Acar and Wonseok Chae. Exception Handlers as Extensible Cases.
Christian Haack, Marieke Huisman and Clément Hurlin. Reasoning about Java's Reentrant Locks.
Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura and Igor Serikov. JavaScript Instrumentation in Practice.
Albert Cohen, Louis Mandel, Florence Plateau and Marc Pouzet. Abstraction of Clocks in Synchronous Data-flow Systems.
Kazuyuki Asada. Extensional Universal Types for Call-by-Value.
Ezra Cooper, Sam Lindley, Philip Wadler and Jeremy Yallop. The Essence of Form Abstraction.
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga Rajan and Sarfraz. Khurshid. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.
Krishnendu Chatterjee, Luca de Alfaro and Rupak Majumdar. The Complexity of Coverage.
