Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to researchers

Kevin Elphinstone

Commonwealth Scientific and Industrial Research Organisation

54

Works

3,513

Citations

21

h-index

32

i10-index

Research Topics

Distributed systems and fault tolerance Parallel Computing and Optimization Techniques Security and Verification in Computing

Affiliations

Commonwealth Scientific and Industrial Research Organisation2019–2019

IBM (United States)1997–2003

UNSW Sydney1996–2019

IBM Research - Thomas J. Watson Research Center2003–2003

Karlsruhe University of Education2000–2000

Top Works

Gerwin Klein,Kevin Elphinstone,et al.

20091,552 citations

Kevin Elphinstone | Researchclopedia

Real-Time Systems Scheduling

Advanced Data Storage Technologies

Comprehensive formal verification of an OS microkernel

Gerwin Klein,June Andronick,et al.

2014329 citations

Gerwin Klein,June Andronick,et al.

2010294 citations

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

Kevin Elphinstone,Gernot Heiser

2013146 citations

User-Level Device Drivers: Achieved Performance

Ben Leslie,Peter Chubb,et al.

2005121 citations

The mungi single-address-space operating system

Gernot Heiser,Kevin Elphinstone,et al.

1998120 citations

The SawMill multiserver approach

Alain Gefflaut,Trent Jaeger,et al.

200085 citations

Application level ballooning for efficient server consolidation

Tudor-Ioan Salomie,Gustavo Alonso,et al.

201382 citations

Towards trustworthy computing systems

Gernot Heiser,Kevin Elphinstone,et al.

200780 citations