PLDI 2007: San Diego, California, USA

Errors detected & corrected

Compiled correctly

Programs analyzed

Languages designed

Executed concurrently

Pointers analyzed

Programs analyzed

Executed efficiently

Errors detected

Memory managed