Kevin Elphinstone

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