PLDI 2020: London, UK

Synthesis I

Language Implementation

Machine Learning I

Security

Verification I

Language Design I

Memory Management

Concurrency

Type Systems

Smart Contracts

Synthesis II

Language Design II

Performance

Verification II

Bug Finding

Static Analysis

Code Generation

Probabilistic Programming

Symbolic Execution

Networking and Hardware

Parsing, Debugging, and Code Search

Machine Learning II

Synthesis III

a service of Schloss Dagstuhl - Leibniz Center for Informatics