WEDNESDAY 4/4 | |
10.30 12.30 |
Language-Based Security
Session chair: David Sands
A Systematic Approach to Static Access Control
Secure Information Flow and CPS
Enforcing Safety Properties Using Type Specialization
Semantics and Program Analysis
of Computationally Secure Information Flow
|
17.30 19.00 |
Miscellaneous
Session chair: David Sands
Encoding Intensional Type Analysis
Fusion on Languages
Programming the Web with High-Level Programming Languages
|
THURSDAY 5/4 | |
10.30 12.30 |
Foundations of program Analysis and Verification
Session chair: Mooly Sagiv
On the Completeness of Model Checking
Modal Transition Systems: a Foundation for Three-Valued Program
Analysis
Entailment with Conditional Equality Constraints
On the Complexity of Constant Propagation
|
15.00 17.00 |
Concurrency, Types and Analysis
Session chair: Mads Dam
What are Polymorphically-Typed Ambients?
JOIN(X): Constraint-Based Type Inference for the Join-Calculus
Modular Causality in a Synchronous Stream Language
Control-Flow Analysis in Cubic Time
|
FRIDAY 6/4 | |
9.00 10.00 |
Session chair: David Sands John Mitchell (Invited lecture) |
10.30 12.30 |
Semantic Modelling
Session chair: Florence Maraninchi
The Recursive Record Semantics of Objects Revisited
A Formalisation of Java's Exception Mechanism
A Formal Executable Semantics of the JavaCard Platform
Modeling an Algebraic Stepper
|
15.00 17.00 |
Static Analysis
Session chair: Hanne Riis Nielson
Typestate Checking of Machine Code
Proof-directed De-compilation of Low-level Code
Backwards Abstract Interpretation of Probabilistic Programs
Finding Duplicated Code Using Program Dependences (DEMO)
|
17.30 19.00 |
Logic Programming
Session chair: Radhia Cousot
Compiling Problem Specifications into SAT
Semantics and Termination of Simply-Moded Logic Programs
The Def-inite Approach to Dependency Analysis
|