HILT 2012: Boston, Massachusetts, USA

Pre-conference tutorials

Keynote address

Program verification at compile-time

Advanced compiler technology

Keynote address 2

Languages and security

Languages and safety - track 1 industrial session on safety

Languages and safety - track 2 real time systems

Keynote address 3

Compiler certification issues

a service of Schloss Dagstuhl - Leibniz Center for Informatics