39. POPL 2012: Philadelphia, Pennsylvania, USA

Award presentation and interview

1.A: verification

1.B: semantics

2.A: privacy and access control

2.B: decision procedures

3.A: security

3.B: complexity for concurrency

Invited talk

4.A: medley

4.B: mMechanized proofs

5.A: concurrency

5.B: type theory

6.A: dynamic analysis

6.B: names and binders

Invited talk 2

7.A: verified transformations

7.B: functional programming

8.A: C/C++ semantics

8.B: type systems