APLAS 2012 Accepted Papers

• Thomas Austin, Cormac Flanagan and Martín Abadi: A Functional View of Imperative Information Flow

• Giulia Costantini, Pietro Ferrara and Agostino Cortesi: Linear approximation of continuous systems with Trapezoid Step Functions

• James Brotherston, Nikos Gorogiannis and Rasmus Petersen: A Generic Cyclic Theorem Prover

• Rémy Wyss, Frédéric Boniol, Julien Forget and Claire Pagetti: A synchronous language with partial delay specification for real-time systems programming

• Yu Guo, Xinyu Feng, Zhong Shao and Peizhi Shi: Modular Verification of Concurrent Thread Management

• Aloïs Brunel and Antoine Madet. Indexed realizability for bounded-time programming with references and type fixpoints

• Siliang Li, Yu David Liu and Gang Tan. JATO: Native Code Atomicity for Java

• Kalmer Apinis, Helmut Seidl and Vesal Vojdani. Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis

• Marek Materzok and Dariusz Biernacki. A Dynamic Interpretation of the CPS Hierarchy

• Jorge Navas, Peter Schachte, Harald Sondergaard and Peter Stuckey. Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

• Xuan Bach Le, Cristian Gherghina and Aquinas Hobor. Decision Procedures Over Sophisticated Fractional Permissions

• Yi Lu, John Potter and Jingling Xue. Ownership Types for Object Synchronisation

• Radha Jagadeesan, Corin Pitcher and James Riely. Succour to the Confused Deputy: Types for Capabilities

• Mehdi Bouaziz, Francesco Logozzo and Manuel Fahndrich. Inference of Necessary Field Conditions with Abstract Interpretation

• Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma and Zhengwei Qi. Java Bytecode Instrumentation Made Easy - The DiSL Framework for Dynamic Program Analysis (Tool Paper)

• Krystof Hoder, Andreas Holzer, Laura Kovacs and Andrei Voronkov. Vinter: A Vampire-Based Tool for Interpolation (Tool Paper)

• Lennart Beringer. End-to-end multilevel hybrid information flow control

• David Costanzo and Zhong Shao. A Case for Behavior-Preserving Actions in Separation Logic

• Aseem Rastogi, Avik Chaudhuri and Rob Johnson. Types and Access Controls for Cross-Domain Security in Flash

• Niloofar Razavi, Franjo Ivancic, Vineet Kahlon and Aarti Gupta. Concurrent Test Generation using Concolic Multi-Trace Analysis

• Pascal Sotin and Xavier Rival. Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

• Martin Avanzini, Naohi Eguchi and Georg Moser. A New Order-theoretic Characterisation of the Polytime Computable Functions

• Gabrielle Anderson and Julian Rathke. Dynamic Software Update for Message Passing Programs

• Oleg Kiselyov, Simon Peyton-Jones and Amr Sabry. Lazy v. Yield: Incremental, Linear Pretty-printing