PLDI 2012: Beijing, China

GPUs and FPGAs

Foundations

Performance analysis

Language-based techniques

Parallelism

Reasoning, inference, and symbolic execution

Program analysis I

Web applications

Type-based techniques

C and C++

Optimization

Verification

Synthesis

Program analysis II

Loop optimization

Concurrency bugs