29. OOPSLA 2015: Pittsburgh, PA, USA

Model Checking

Domain Specific Languages

Verification

Concurrency

Mobility

Compilation and Tools

Runtime

Static Analysis

Compilation and Dynamic Analysis

Empirical Studies and Approximation

Programming Language Design

Performance

Type Systems

maintained by Schloss Dagstuhl LZI at University of Trier