30. OOPSLA 2016: Amsterdam, The Netherlands

Optimization and Performance

Semantics and Verification

Program Synthesis

Language Design and Programming Models I

Programming Frameworks, Tools, and Methodologies

Static Analysis

Concurrency Analysis and Model Checking

Language Design and Programming Models II

Principles, Across the Compilation Stack

Runtime Support

Program Modeling and Learning

Typing, in Practice

Bug Detection Analysis and Model Checking

maintained by Schloss Dagstuhl LZI, founded at University of Trier