Fraser Brown, Andres Nötzli, Dawson R. Engler. How to Build Static Checking Systems Using Orders of Magnitude Less Code. In Tom Conte, Yuanyuan Zhou, editors, Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '16, Atlanta, GA, USA, April 2-6, 2016. pages 143-157, ACM, 2016. [doi]
Abstract is missing.