Programming Languages and Systems

Abductive Inference for Reasoning about Heaps.- A Sound Floating-Point Polyhedra Abstract Domain.- A Flow-Sensitive Region Inference for CLI.- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.- Static Detection of Place Locality and Elimination of Runtime Checks.- Certified Reasoning in Memory Hierarchies.- The Complexity of Coverage.- Game Characterizations of Process Equivalences.- Extensional Universal Types for Call-by-Value.- Harnessing the Multicores: Nested Data Parallelism in Haskell.- Minimal Ownership for Active Objects.- Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.- Reasoning about Java’s Reentrant Locks.- ML Modules and Haskell Type Classes: A Constructive Comparison.- The Essence of Form Abstraction.- On Affine Usages in Signal-Based Communication.- Abstraction of Clocks in Synchronous Data-Flow Systems.- From Authorization Logics to Types for Authorization.- Interface Types for Haskell.- Exception Handlers as Extensible Cases.- Sound and Complete Type Inference for a Systems Programming Language.- An Operational Semantics for JavaScript.- JavaScript Instrumentation in Practice.