PLDI 2014: Edinburgh, UK

Keynote address

Parallelism 1

Atomicity and memory models

Compiler optimizations

Types

Probabilistic programming

Incremental computation and slicing

Keynote address

Parallelism 2

Bugs

Static analysis 1

Verification 1

Races

Olio

Keynote address

Synthesis

Verification 2

Static analysis 2

Scripting languages

Program generation

Security-correctness

maintained by Schloss Dagstuhl LZI at University of Trier