Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Kevin J. Elphinstone
Observed names:
Dr. Kevin Elphinstone,
Elphinstone, K.,
Elphinstone, Kevin,
K. Elphinstone,
Kevin Elphinstone
Observed institutions:
Karlsruhe Institute of Technology,
Commonwealth Scientific and Industrial Research Organisation,
IBM (United States),
UNSW Sydney,
IBM Research - Thomas J. Watson Research Center,
Data61
show all 6
OpenAlex ID:
A5073718932
seL4
2009
·
Gerwin Klein
, Kevin Elphinstone
, et al.
·
ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
·
1,633
Comprehensive formal verification of an OS microkernel
2014
·
Gerwin Klein
, June Andronick
, et al.
·
ACM Transactions on Computer Systems
·
348
seL4
2010
·
Gerwin Klein
, June Andronick
, et al.
·
Communications of the ACM
·
299
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
2013
·
Kevin Elphinstone
, Gernot Heiser
·
150
PDF
User-Level Device Drivers: Achieved Performance
2005
·
Ben Leslie
, Peter Chubb
, et al.
·
Journal of Computer Science and Technology
·
127
The mungi single-address-space operating system
1998
·
Gernot Heiser
, Kevin Elphinstone
, et al.
·
Software Practice and Experience
·
121
The SawMill multiserver approach
2000
·
Alain Gefflaut
, Trent Jaeger
, et al.
·
88
PDF
Application level ballooning for efficient server consolidation
2013
·
Tudor-Ioan Salomie
, Gustavo Alonso
, et al.
·
83
Towards trustworthy computing systems
2007
·
Gernot Heiser
, Kevin Elphinstone
, et al.
·
ACM SIGOPS Operating Systems Review
·
79
PDF
L4 Microkernels
2016
·
Gernot Heiser
, Kevin Elphinstone
·
ACM Transactions on Computer Systems
·
64
Achieved IPC performance (still the foundation for extensibility)
2002
·
J. Liedtke
, K. Elphinstone
, et al.
·
54
Verified Protection Model of the seL4 Microkernel
2008
·
Dhammika Elkaduwe
, Gerwin Klein
, et al.
·
Lecture notes in computer science
·
51
Towards a practical, verified kernel
2007
·
Kevin Elphinstone
, Gerwin Klein
, et al.
·
46
Running the manual
2006
·
Philip Derrin
, Kevin Elphinstone
, et al.
·
44
Achieved IPC Performance
1997
·
Jochen Liedtke
, Kevin Elphinstone
, et al.
·
32
Experience report
2009
·
Gerwin Klein
, Philip Derrin
, et al.
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
31
Kernel design for isolation and assurance of physical memory
2008
·
Dhammika Elkaduwe
, Philip Derrin
, et al.
·
30
Hype and virtue
2007
·
Timothy Roscoe
, Kevin Elphinstone
, et al.
·
29
Mungi: A distributed single-address-space operating system
1994
·
Gernot Heiser
, Kevin Elphinstone
, et al.
·
27
Towards proving security in the presence of large untrusted components
2010
·
June Andronick
, David Greenaway
, et al.
·
International Conference on Systems
·
24
Flexible access control using IPC redirection
2003
·
T. Jaeger
, K. Elphinstone
, et al.
·
Workshop on Hot Topics in Operating Systems
·
23
User-Level Management of Kernel Memory
2003
·
Andreas Haeberlen
, Kevin Elphinstone
·
Lecture notes in computer science
·
21
A memory allocation model for an embedded microkernel
2007
·
Dhammika Elkaduwe
, Philip Derrin
, et al.
·
20
The SawMill Framework for Virtual Memory Diversity
1999
·
Mohit Aron
, Jochen Liedtke
, et al.
·
20
Guarded page tables on Mips R4600 or an exercise in architecture-dependent micro optimization
1996
·
Jochen Liedtke
, Kevin Elphinstone
·
ACM SIGOPS Operating Systems Review
·
20
PDF
Show more works
View as search
Works count:
108
Citation count:
3,674
H-index:
21
I10-index:
34
Year
Topic
Type
