30. OOPSLA 2016: Amsterdam, The Netherlands

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics