PLDI 2010: Toronto, Ontario, Canada

Refine list

showing all ?? records

Dynamic analysis

Improving parallelism 1

Invited talk

Verification

Heap management

Singular topics

Managing concurrency 1

Static analysis and synthesis

Managing concurrency 2

Improving parallelism 2

Types

Optimization

a service of  Schloss Dagstuhl - Leibniz Center for Informatics