A certifying compiler for Java (2000)

by C Colby, P Lee, G C Necula, F Blau, M Plesko, K Cline
Venue:In Programming Language Design and Implementation (PLDI