High-level programming of embedded hard real-time devices
Schism
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI ’10
Proceedings of the 5th European conference on Computer systems - EuroSys ’10
Lukasz Ziarek
Jan Vitek
Ethan Blanton
Filip Pizlo
Antony L. Hosking
Tardis: Affordable Time-travel Debugging in Managed Runtimes
Using a Multi-Tasking VM for Mobile Applications