PLDI 2017: Barcelona, Spain

Compiler Optimizations

Learning and Probabilistic

Concurrency Analysis

Language Implementation

Static Analysis

Dynamic Analysis and Testing

Static Analysis and Security

Synthesis

Functional Programming and Correctness

Parallelization and Concurrency

Verified Computation

Correctness

Systems and Performance

maintained by Schloss Dagstuhl LZI at University of Trier