PADTAD 2006: Portland, Maine, USA

State of practice

Stressing concurrent programs

Deadlock detection

Grid and races