PLDI 2013: Seattle, WA, USA

Keynote address

Synthesis

Low level issues

Types

High performance computing

Keynote address 2

Dynamic analysis

Compiler validation

Verification 1

Concurrency 1

Symbolic execution

Memory management

Language design

Analysis

Monads and FRP

Alias analysis

Verification 2

Concurrency 2

maintained by Schloss Dagstuhl LZI at University of Trier