The design and implementation of a certifying compiler (with retrospective)

George C. Necula, Peter Lee

Browse the full PLDI paper archive.