John Keys

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 1

Top Topics

Real Environment

Functional Programs

Virtual Objects

Top Venues

Publications

Ian F. Adams, John Keys, Michael P. Mesnier
Respecting the block interface - computational storage using virtual objects. HotStorage (2019)
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
User-Guided Device Driver Synthesis. OSDI (2014)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved device driver reliability through hardware verification reuse. ASPLOS (2011)
Arun Raghunath, John Keys, Mona Vij
Direct data flows. ACM SIGOPS Oper. Syst. Rev. 45 (1) (2011)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved Device Driver Reliability Through Verification Reuse. HotDep (2010)
Leena K. Puthiyedath, Erik Cota-Robles, John Keys, Anil Aggarwal, James P. Held
The Design and Implementation of the Intel® Real-Time Performance Analyze. IEEE Real Time Technology and Applications Symposium (2002)