Paper "Towards Correct-by-Construction Interrupt Routing on Real Hardware" accepted at PLOS 2017

The paper entitled "Towards Correct-by-Construction Interrupt Routing on Real Hardware" by Lukas Humbel, Reto Achermann, David Cock and Timothy Roscoe, has been accepted at the 9th Workshop on Programming Languages and Operating Systems (PLOS 2017) in Shanghai, China, October 28, 2017.