Kevin Elphinstone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
1997–2019
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DSN | Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs. | Yanyan Shen, Gernot Heiser, Kevin Elphinstone |
| 2015 | EDCC | Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware. | Yanyan Shen, Kevin Elphinstone |
| 2013 | DSN | Increasing the trustworthiness of commodity hardware through software. | Kevin Elphinstone, Yanyan Shen |
| 2013 | EuroSys | Application level ballooning for efficient server consolidation. | Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone |
| 2013 | SOSP | From L3 to seL4 what have we learnt in 20 years of L4 microkernels? | Kevin Elphinstone, Gernot Heiser |
| 2010 | CCS | The road to trustworthy systems. | Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk |
| 2009 | ICFP | Experience report: seL4: formally verifying a high-performance microkernel. | Gerwin Klein, Philip Derrin, Kevin Elphinstone |
| 2009 | RTCSA | Towards Real Multi-criticality Scheduling. | Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
| 2008 | EuroSys | Kernel design for isolation and assurance of physical memory. | Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone |
| 2007 | HotOS | Towards a Practical, Verified Kernel. | Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser |
| 2007 | HotOS | Hype and Virtue. | Timothy Roscoe, Kevin Elphinstone, Gernot Heiser |
| 2006 | HASKELL | Running the manual: an approach to high-assurance microkernel development. | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty |
| 1999 | HotOS | Flexible Access Control using IPC Redirection. | Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park |
| 1999 | HotOS | How To Schedule Unlimited Memory Pinning of Untrusted Processes Or Provisional Ideas about Service-Neutrality. | Jochen Liedtke, Volkmar Uhlig, Kevin Elphinstone, Trent Jaeger, Yoonho Park |
| 1997 | HotOS | Achieved IPC Performance. | Jochen Liedtke, Kevin Elphinstone, Sebastian Schnberg, Hermann Hrtig, Gernot Heiser, Nayeem Islam, Trent Jaeger |