The Design and Implementation of the Intel® Real-Time Performance Analyze. - Leena K. Puthiyedath; Erik Cota-Robles; John Keys; Anil Aggarwal; James P. Held (IEEE Real Time Technology and Applications Symposium, 2002)

Improved Device Driver Reliability Through Verification Reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (HotDep, 2010)

Improved device driver reliability through hardware verification reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (ASPLOS, 2011)

Direct data flows. - Arun Raghunath; John Keys; Mona Vij (ACM SIGOPS Oper. Syst. Rev., 2011)

User-Guided Device Driver Synthesis. - Leonid Ryzhyk; Adam Walker; John Keys; Alexander Legg; Arun Raghunath; Michael Stumm; Mona Vij (OSDI, 2014)

Respecting the block interface - computational storage using virtual objects. - Ian F. Adams; John Keys; Michael P. Mesnier (HotStorage, 2019)