Dawson Engler
This talk will describe new dynamic bug-finding techniques that work well on real code, our experiences with both static and dynamic techniques, and several widely held myths in the bug-finding community.