PLDI 2013: Seattle, WA, USA

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics