254 “Vault: a Programming Language for Reliable Systems Project” [web page] (Redmond, WA: Microsoft
Research).
255 Sumant Kowshik, Dinakar Dhurjati, and Vikram Adve (University of Illinois at Urbana-Champaign),
“Ensuring Code Safety Without Runtime Checks for Real-Time Control Systems,” in Proceedings of the