Demystifying magic: high-level low-level programming
Singularity: rethinking the software stack