John Keys

According to our database, John Keys authored at least 6 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Respecting the block interface - computational storage using virtual objects.

Ian F. Adams, John Keys, Michael P. Mesnier

Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems, 2019

2014

User-Guided Device Driver Synthesis.

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2011

Direct data flows.

Arun Raghunath, John Keys, Mona Vij

ACM SIGOPS Oper. Syst. Rev., 2011

Improved device driver reliability through hardware verification reuse.

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Improved Device Driver Reliability Through Verification Reuse.

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2002

The Design and Implementation of the Intel® Real-Time Performance Analyze.

Leena K. Puthiyedath, Erik Cota-Robles, John Keys, Anil Aggarwal, James P. Held

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002