Login / Signup
Sumit Ray
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Hardware And Software
Data Structure
Top Venues
SASO Workshops
</>
Publications
</>
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
Hardware Support for Safety Interlocks and Introspection.
SASO Workshops
(2012)
André DeHon
,
Ben Karel
,
Thomas F. Knight Jr.
,
Gregory Malecha
,
Benoît Montagu
,
Robin Morisset
,
Greg Morrisett
,
Benjamin C. Pierce
,
Randy Pollack
,
Sumit Ray
,
Olin Shivers
,
Jonathan M. Smith
,
Gregory Sullivan
Preliminary design of the SAFE platform.
PLOS@SOSP
(2011)