George C. Necula, Peter Lee. The design and implementation of a certifying compiler (with retrospective). In Kathryn S. McKinley, editor, 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection. pages 612-625, ACM, 1998. [doi]
Abstract is missing.