The design and implementation of a certifying compiler (1998)

by George Necula, Peter Lee
Venue:In ACM Conference on Programming Language Design and Implementation