John Keys
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2002–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | OSDI | User-Guided Device Driver Synthesis. | Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij |
| 2011 | ASPLOS | Improved device driver reliability through hardware verification reuse. | Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser |
| 2002 | RTAS | The Design and Implementation of the Intel Real-Time Performance Analyze. | Leena K. Puthiyedath, Erik Cota-Robles, John Keys, Anil Aggarwal, James P. Held |