10. VEE 2014: Salt Lake City, UT, USA

Keynote #1

Bridging the semantic gap

Memory

Runtimes

Keynote #2

Binary instrumentation

Optimizations

Reorganizing & debugging

maintained by Schloss Dagstuhl LZI, founded at University of Trier