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; et al. (SASO Workshops, 2012)