A certifying compiler for Java (2000)

by C Colby, P Lee, G C Necula, F Blau, M Plesko, K Cline
Venue:In ACM Conference on Programming Languages Design and Implementation (PLDI’00