Compiler verification

[Google Scholar]

Notes:
Papers:

A verified runtime for a verified theorem prover [myreen:itp:2011]
Verified just-in-time compiler on x86 [myreen:popl:2010]

The opinions expressed are my own views and not my employer’s.