Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness.

Tyler Potyondy, Anthony Tarbinian, Leon Schuermann, Eric Mugnier, Adin Ackerman, Amit Levy, Pat Pannuto

Browse the full ASPLOS paper archive.