Programme of COCV

SATURDAY, April 3

9.00
10.30
Welcome and Opening

Invited talk
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations
Todd D. Millstein
10.30
11.00
Coffee
11.00
12.20
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers
Benjamin Goldberg, Lenore Zuck, Clark Barrett

A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Sabine Glesner
12.20
14.00
Lunch
14.00
16.00
Towards Proof Generating Compilers
Arnd Poetzsch-Heffter, Marek Gawkowski

On the Optimality of Register Saturation
Sid-Ahmed-Ali Touati

A Program Result Checker for the Lexical Analysis of the GNU C Compiler
Sabine Glesner, Simone Forster, Matthias Jäger
16.00
16.30
Coffee
16.30
17.50
Memory Requirements of Java Bytecode Verification on Limited Devices
Karsten Klohs, Uwe Kastens

An Abstract Interpretation-based Approach to Mobile Code Safety
Elvira Albert, German Puebla, Manuel Hermenegildo
17.50
18.00
Closing
Evening
Post-Conference Workshops Dinner