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

a service of Schloss Dagstuhl - Leibniz Center for Informatics