Lukas Humbel presented "Towards Correct-by-Construction Interrupt Routing on Real Hardware" at PLOS Workshop

Lukas Humbel presented the following paper at the PLOS Workshop, co-located with SOSP in Shanghai, China:

"Towards Correct-by-Construction Interrupt Routing on Real Hardware" Lukas Humbel, Reto Achemann, David Cock, and Timothy Roscoe.