Kevin Elphinstone

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 4

Top Topics

Gaussian Kernels

Formal Verification

Commodity Hardware

Top Venues

ACM Trans. Comput. Syst.

Publications

Yanyan Shen, Gernot Heiser, Kevin Elphinstone
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs. DSN (2019)
Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. APSys (2017)
Gernot Heiser, Kevin Elphinstone
L4 Microkernels: The Lessons from 20 Years of Research and Deployment. ACM Trans. Comput. Syst. 34 (1) (2016)
Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser
An Evaluation of Coarse-Grained Locking for Multicore Microkernels. CoRR (2016)
Yanyan Shen, Kevin Elphinstone
Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware. EDCC (2015)
Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser
For a Microkernel, a Big Lock Is Fine. APSys (2015)
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32 (1) (2014)
Kevin Elphinstone, Yanyan Shen
Increasing the trustworthiness of commodity hardware through software. DSN (2013)
Kevin Elphinstone, Gernot Heiser
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? SOSP (2013)
Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone
Application level ballooning for efficient server consolidation. EuroSys (2013)
Stefan M. Petters, Kevin Elphinstone, Gernot Heiser
Trustworthy Real-Time Systems. Advances in Real-Time Systems (2012)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk
The road to trustworthy systems. STC@CCS (2010)
June Andronick, David Greenaway, Kevin Elphinstone
Towards Proving Security in the Presence of Large Untrusted Components. SSV (2010)
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone
Towards Real Multi-criticality Scheduling. RTCSA (2009)
Gerwin Klein, Philip Derrin, Kevin Elphinstone
Experience report: seL4: formally verifying a high-performance microkernel. ICFP (2009)
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an OS kernel. SOSP (2009)
Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone
Verified Protection Model of the seL4 Microkernel. VSTTE (2008)
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone
Kernel design for isolation and assurance of physical memory. IIES@EuroSys (2008)
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser
Hype and Virtue. HotOS (2007)
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
Towards a Practical, Verified Kernel. HotOS (2007)
Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters
Towards trustworthy computing systems: taking microkernels to the next level. ACM SIGOPS Oper. Syst. Rev. 41 (4) (2007)
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
Running the manual: an approach to high-assurance microkernel development. Haskell (2006)
Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser
User-Level Device Drivers: Achieved Performance. J. Comput. Sci. Technol. 20 (5) (2005)
Kevin Elphinstone, Stefan Götz
Initial Evaluation of a User-Level Device Driver Framework. Asia-Pacific Computer Systems Architecture Conference (2004)
Andreas Haeberlen, Kevin Elphinstone
User-Level Management of Kernel Memory. Asia-Pacific Computer Systems Architecture Conference (2003)
Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller
The SawMill Framework for Virtual Memory Diversity. ACSAC (2001)
Jochen Liedtke, Marcus Völp, Kevin Elphinstone
Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop (2000)
Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther
The SawMill multiserver approach. ACM SIGOPS European Workshop (2000)
Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke
Synchronous IPC over transparent monitors. ACM SIGOPS European Workshop (2000)
Jochen Liedtke, Volkmar Uhlig, Kevin Elphinstone, Trent Jaeger, Yoonho Park
How To Schedule Unlimited Memory Pinning of Untrusted Processes Or Provisional Ideas about Service-Neutrality. Workshop on Hot Topics in Operating Systems (1999)
Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park
Flexible Access Control using IPC Redirection. Workshop on Hot Topics in Operating Systems (1999)
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke
The Mungi Single-Address-Space Operating System. Softw. Pract. Exp. 28 (9) (1998)
Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
Achieved IPC Performance. Workshop on Hot Topics in Operating Systems (1997)
Jochen Liedtke, Kevin Elphinstone
Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization. ACM SIGOPS Oper. Syst. Rev. 30 (1) (1996)
Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke
Supporting Persistent Object Systems in a Single Address Space. POS (1996)