PPPJ 2011: Kongens Lyngby, Denmark

Virtual machines

Languages and parallelism

Program testing and analysis, embedded Java

Formal techniques

Compiler optimizations

Tools

Virtual machine optimizations

a service of Schloss Dagstuhl - Leibniz Center for Informatics