A certifying compiler for Java. (2000)

by Christopher Colby, Peter Lee, George C Necula, Fred Blau, Ken Cline, Mark Plesko
Venue:In Proc. Conf. on Programming Language Design and Implementation,