PLDI 2018: Philadelphia, PA, USA

Web Pages

Emerging Hardware

Concurrency and Termination

Dynamic Techniques

Transactions and Races

Floats and Maps

Multicore and More

Concurrency Debugging

Synthesis and Learning

Programming-Student Feedback

Analyzing Probabilistic Programs

Optimization and Locality

Inference for Probabilistic Programs

Verification

Program Analysis

Parallelism

Types

maintained by Schloss Dagstuhl LZI, founded at University of Trier