Dawson Engler [Speaker-Timeline] [Speaker-Links]

Tell us about missing data

Title	Conference	Tags
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code	29thUSENIXSecuritySymposium-2020 - Berkeley, USA
Under-Constrained Symbolic Execution: Correctness Checking for Real Code	SecuritySymposium-2015 - washington,USA
A Couple Billion Lines Of Code Later: Static Checking In The Real World	17th USENIX Security Symposium-2008 - San Jose, USA	Security
How To Find Serious Bugs In Real Code	14th USENIX Security Symposium-2005 - Baltimore, USA	Security