Biblio

Export 3 results:
Filters: Author is John Keys  [Clear All Filters]
2019
Adams IF, Keys J, Mesnier MP.  2019.  Respecting the block interface – computational storage using virtual objects. 11th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 19).
2014
Ryzhyk L, Walker A, Keys J, Legg A, Raghunath A, Stumm M, Vij M.  2014.  User-Guided Device Driver Synthesis. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :661--676.
2010
Ryzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G.  2010.  Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).