A certifying compiler for Java.

Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline

Browse the full PLDI paper archive.