26. OOPSLA 2011: Portland Oregon, USA - Proceedings

Refine list

showing all ?? records

Keynote

Catching concurrency bugs

Synthesis and analysis

Tools for reliability and testing

Parallelizing compilers

Memory management

Specification and verification tools

Award papers

Language implementation I

Parallel/concurrent programming I

Type systems I

Empirical results

Language design

Language implementation II

Parallel/concurrent programming II

Reflection and meta-programming

Type systems II

Program analysis

a service of  Schloss Dagstuhl - Leibniz Center for Informatics