Translation validation for a verified OS kernel.

Thomas Arthur Leck Sewell, Magnus O. Myreen, Gerwin Klein

Browse the full PLDI paper archive.