Kevin Elphinstone

According to our database, Kevin Elphinstone authored at least 36 papers between 1996 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs.

Yanyan Shen, Gernot Heiser, Kevin Elphinstone

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2017

A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4.

Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

L4 Microkernels: The Lessons from 20 Years of Research and Deployment.

Gernot Heiser, Kevin Elphinstone

ACM Trans. Comput. Syst., 2016

An Evaluation of Coarse-Grained Locking for Multicore Microkernels.

Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser

CoRR, 2016

2015

Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware.

Yanyan Shen, Kevin Elphinstone

Proceedings of the 11th European Dependable Computing Conference, 2015

For a Microkernel, a Big Lock Is Fine.

Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

Comprehensive formal verification of an OS microkernel.

Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser

ACM Trans. Comput. Syst., 2014

2013

From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Kevin Elphinstone, Gernot Heiser

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Application level ballooning for efficient server consolidation.

Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone

Proceedings of the Eighth Eurosys Conference 2013, 2013

Increasing the trustworthiness of commodity hardware through software.

Kevin Elphinstone, Yanyan Shen

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Trustworthy Real-Time Systems.

Stefan M. Petters, Kevin Elphinstone, Gernot Heiser

Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

2010

seL4: formal verification of an operating-system kernel.

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

Commun. ACM, 2010

Towards Proving Security in the Presence of Large Untrusted Components.

June Andronick, David Greenaway, Kevin Elphinstone

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

The road to trustworthy systems.

Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk

Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010

2009

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

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Towards Real Multi-criticality Scheduling.

Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Experience report: seL4: formally verifying a high-performance microkernel.

Gerwin Klein, Philip Derrin, Kevin Elphinstone

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Verified Protection Model of the seL4 Microkernel.

Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone

Proceedings of the Verified Software: Theories, 2008

Kernel design for isolation and assurance of physical memory.

Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone

Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

2007

Towards trustworthy computing systems: taking microkernels to the next level.

Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters

ACM SIGOPS Oper. Syst. Rev., 2007

Hype and Virtue.

Timothy Roscoe, Kevin Elphinstone, Gernot Heiser

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Towards a Practical, Verified Kernel.

Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

2006

Running the manual: an approach to high-assurance microkernel development.

Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005

User-Level Device Drivers: Achieved Performance.

Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser

J. Comput. Sci. Technol., 2005

2004

Initial Evaluation of a User-Level Device Driver Framework.

Kevin Elphinstone, Stefan Götz

Proceedings of the Advances in Computer Systems Architecture, 9th Asia-Pacific Conference, 2004

2003

User-Level Management of Kernel Memory.

Andreas Haeberlen, Kevin Elphinstone

Proceedings of the Advances in Computer Systems Architecture, 2003

2001

The SawMill Framework for Virtual Memory Diversity.

Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller

Proceedings of the 6th Australasian Computer Systems Architecture Conference (ACSAC 2001), 2001

2000

Preliminary thoughts on memory-bus scheduling.

Jochen Liedtke, Marcus Völp, Kevin Elphinstone

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Synchronous IPC over transparent monitors.

Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

The SawMill multiserver approach.

Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

1999

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

Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

Flexible Access Control using IPC Redirection.

Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park

Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999

1998

The Mungi Single-Address-Space Operating System.

Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke

Softw. Pract. Exp., 1998

1997

Achieved IPC Performance.

Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger

Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

1996

Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization.

Jochen Liedtke, Kevin Elphinstone

ACM SIGOPS Oper. Syst. Rev., 1996

Supporting Persistent Object Systems in a Single Address Space.

Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke

Proceedings of the 7th Workshop on Persistent Object Systems, 1996