Kevin Elphinstone
Kevin Elphinstone
Verified email at - Homepage
Cited by
Cited by
seL4: Formal verification of an OS kernel
G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
Comprehensive formal verification of an OS microkernel
G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ...
ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014
User-level device drivers: Achieved performance
B Leslie, P Chubb, N Fitzroy-Dale, S Götz, C Gray, L Macpherson, D Potts, ...
Journal of Computer Science and Technology 20 (5), 654-664, 2005
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
K Elphinstone, G Heiser
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
The mungi single‐address‐space operating system
G Heiser, K Elphinstone, J Vochteloo, S Russell, J Liedtke
Software: Practice and Experience 28 (9), 901-928, 1998
The SawMill multiserver approach
A Gefflaut, T Jaeger, Y Park, J Liedtke, KJ Elphinstone, V Uhlig, ...
Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the …, 2000
Towards trustworthy computing systems: taking microkernels to the next level
G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters
ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007
Achieved IPC performance (still the foundation for extensibility)
J Liedtke, K Elphinstone, S Schonberg, H Hartig, G Heiser, N Islam, ...
Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No …, 1997
Application level ballooning for efficient server consolidation
TI Salomie, G Alonso, T Roscoe, K Elphinstone
Proceedings of the 8th ACM European Conference on Computer Systems, 337-350, 2013
Mungi: A distributed single address-space operating system
G Heiser, K Elphinstone, S Russell, J Vochteloo
Proceedings of the 17th Australasian Computer Science Conference, 271-80, 1993
L4 microkernels: The lessons from 20 years of research and deployment
G Heiser, K Elphinstone
ACM Transactions on Computer Systems (TOCS) 34 (1), 1-29, 2016
Verified protection model of the seL4 microkernel
D Elkaduwe, G Klein, K Elphinstone
Verified Software: Theories, Tools, Experiments, 99-114, 2008
Towards a practical, verified kernel
K Elphinstone, G Klein, P Derrin, T Roscoe, G Heiser
Proceedings of the 11th USENIX workshop on Hot topics in operating systems, 20, 2007
Hype and virtue
T Roscoe, K Elphinstone, G Heiser
Proceedings of the 11th USENIX workshop on Hot topics in operating systems, 4, 2007
Running the manual: An approach to high-assurance microkernel development
P Derrin, K Elphinstone, G Klein, D Cock, MMT Chakravarty
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, 60-71, 2006
Experience report: seL4: formally verifying a high-performance microkernel
G Klein, P Derrin, K Elphinstone
ACM SIGPLAN Notices 44 (9), 91-96, 2009
The SawMill framework for virtual memory diversity
M Aron, Y Park, T Jaeger, J Liedtke, K Elphinstone, L Deller
Computer Systems Architecture Conference, 2001. ACSAC 2001. Proceedings. 6th …, 2001
Kernel design for isolation and assurance of physical memory
D Elkaduwe, P Derrin, K Elphinstone
Proceedings of the 1st Workshop on Isolation and Integration in Embedded …, 2008
Flexible access control using IPC redirection
T Jaeger, K Elphinstone, J Liedtke, V Panteleenko, Y Park
Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 191-196, 1999
User-level management of kernel memory
A Haeberlen, K Elphinstone
Advances in Computer Systems Architecture, 277-289, 2003
The system can't perform the operation now. Try again later.
Articles 1–20