Verified just-in-time compiler on x86 (2010)

by Magnus O Myreen
Venue:In ACM Symposium on Principles of Programming Languages (POPL