28. OOPSLA 2014: Portland, OR, USA

Program analysis and the web

Runtime systems

Domain specific languages

Type systems

Energy and performance

Languages

Concurrency

Debugging

Compilation tools

Specification and verification

Dynamic optimization

Static analysis

Distributed computing

a service of Schloss Dagstuhl - Leibniz Center for Informatics