Wednesday, September 9th
8:30-8:50 Registration
8:50-9:00 Welcome from the chairs
9:00-10:00 Invited talk 1 - Chair: Sandrine Blazy

Static Analysis of x86 Executables using Abstract Interpretation
Henny Sipma
10:00-10:30 Break
10:30-12:00 Session 1 - Chair: Roberto Giacobazzi

Static analysis of non-interference in expressive low-level languages
Peter Aldous and Matthew Might

Static Analysis with Set-closure in Secrecy
Woosuk Lee, Hyunsook Hong, Kwangkeun Yi and Jung Hee Cheon.

A Binary Decision Tree Abstract Domain Functor
Junjie Chen and Patrick Cousot.

12:00-14:00 Lunch
14:00-15:30 Session 2 - Chair: Francesco Ranzato

Precise Data Flow Analysis in the Presence of Correlated Method Calls
Marianna Rapoport, Ondrej Lhoták and Frank Tip.

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
Elvira Albert, Samir Genaim and Pablo Gordillo.

Shape Analysis for Unstructured Sharing
Huisong Li, Bor-Yuh Evan Chang and Xavier Rival.

15:30-16:00 Break
16:00-17:30 Session 3 - Chair: Elvira Albert

Heap Manipulations via Linear Programming
Anshul Garg and Subhajit Roy.

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
Tachio Terauchi.

Safety Verification and Refutation by k-Invariants and k-Induction
Martin Brain, Saurabh Joshi, Daniel Kroening and Peter Schrammel.
18:00-20:30 Reception
Thursday, September 10th
8:30-9:00 Registration
9:00-10:00 Invited talk 2 - Chair: Thomas Jensen

Static Analysis for JavaScript
Anders Moller
10:00-10:30 Break
10:30-12:00 Session 4 - Chair: Matt Might

Effective Soundness-Guided Reflection Analysis
Yue Li, Tian Tan and Jingling Xue.

A Type System for JavaScript with Fixed Object Layout
Wontae Choi, Satish Chandra, George Necula and Koushik Sen.

Refinement Type Inferenece via Horn Constraint Optimization
Kodai Hashimoto and Hiroshi Unno.

12:00-14:00 Lunch
14:00-15:30 Session 5: - Chair: Andy King

A simple abstraction of arrays and maps by program translation
David Monniaux and Francesco Alberti.

Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Assale Adje, Pierre-Loic Garoche and Victor Magron.

Modularity in Lattices: A Case Study on the Correspondence between Top-Down and Bottom-Up Analysis
Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv and Hongseok Yang.

15:30-16:00 Break
16:00-23:00 Social event: Dinan
Friday, September 11th
8:30-9:00 Registration
9:00-10:00 Invited talk 3 - Chair: Thomas Jensen

AstréeA
Antoine Miné
10:00-10:30 Break
10:30-12:00 Session 6 - Chair: Antoine Miné

Parallel Cost Analysis of Distributed Systems
Elvira Albert, Jesús Correas Fernández, Einar Broch Johnsen and Guillermo Román-Diez.

A forward analysis for recurrent sets
Alexey Bakhirkin, Nir Piterman and Josh Berdine.

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Dario Cattaruzza, Alessandro Abate, Peter Schrammel and Daniel Kroening.
12:00 Closing Remarks
12:00-14:00 Lunch