How to Build Static Checking Systems Using Orders of Magnitude Less Code.

Fraser Brown, Andres Ntzli, Dawson R. Engler

Browse the full ASPLOS paper archive.