High-level programming of embedded hard real-time devices
Schism
Implicit ownership types for memory management
Science of Computer Programming
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
Petr Maj
Filip Pizlo
Lukasz Ziarek
Ethan Blanton
Antony L. Hosking
James Hunt
Tardis: Affordable Time-travel Debugging in Managed Runtimes
Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect
Using a Multi-Tasking VM for Mobile Applications