Hardware Support for Safety Interlocks and Introspection.

Udit Dhawan Albert Kwon Edin Kadric Catalin Hritcu Benjamin C. Pierce Jonathan M. Smith André DeHon Gregory Malecha Greg Morrisett Thomas F. Knight Jr.Andrew Sutherland Tom Hawkins Amanda Zyxnfryx David K. Wittenberg Peter Trei Sumit Ray Greg Sullivan

Published in: SASO Workshops (2012)

Keyphrases