Why write address translation OS code yourself when you can synthesize it?

Reto Achermann, Ilias Karimalis, Margo I. Seltzer

Browse the full HotOS paper archive.