Towards Correct-by-Construction Interrupt Routing on Real Hardware.

Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe

Browse the full SOSP paper archive.