How to build static checking systems using orders of magnitude less code

Fraser Brown, Andres Nötzli, Dawson Engler
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS '16
Atlanta, Georgia, USA
Association for Computing Machinery
New York, NY, USA
Pages 143-157
2016