PLDI 2019: Phoenix, AZ, USA

Concurrency I

Language Design I

Concurrency II

Language Design II

Probabilistic Programming

Synthesis

Memory Management

Parsing

Bug Finding and Testing I

Parallelism and Super Computing I

Type Systems I

Bug Finding and Testing II

Parallelism and Super Computing II

Type Systems II

ML

Specification

Static Analysis

Dynamics: Analysis and Compilation

Performance

Type Systems III

Systems I

Verification I

Systems II

Verification II

a service of Schloss Dagstuhl - Leibniz Center for Informatics