APLAS 2012
27 papers
- A Case for Behavior-Preserving Actions in Separation Logic
- A Dynamic Interpretation of the CPS Hierarchy
- A Functional View of Imperative Information Flow
- A Generic Cyclic Theorem Prover
- A New Order-Theoretic Characterisation of the Polytime Computable Functions
- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming
- Concurrent Test Generation Using Concolic Multi-trace Analysis
- Decision Procedures over Sophisticated Fractional Permissions
- Dynamic Software Update for Message Passing Programs
- End-to-end Multilevel Hybrid Information Flow Control
- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks
- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints
- Inference of Necessary Field Conditions with Abstract Interpretation
- JATO: Native Code Atomicity for Java
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis
- Lazy v. Yield: Incremental, Linear Pretty-Printing
- Linear Approximation of Continuous Systems with Trapezoid Step Functions
- Mechanized Semantics for Compiler Verification
- Modular Verification of Concurrent Thread Management
- Ownership Types for Object Synchronisation
- Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection
- Scalable Formal Machine Models
- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis
- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
- Succour to the Confused Deputy - Types for Capabilities
- Types and Access Controls for Cross-Domain Security in Flash
- Vinter: A Vampire-Based Tool for Interpolation