High-level programming of embedded hard real-time devices.

Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek

Browse the full EuroSys paper archive.