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

Schloss Dagstuhl LZI