Kevin Elphinstone

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

Computing, Computer Engineering, Computer Science +11

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 334 citations

Computing, Computer Science, Computer Systems +17

seL4

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations

Computing, Computer Engineering, Computer Science +11

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

Kevin Elphinstone, Gernot Heiser · 2013 · 147 citations · Full text

Computing, Computer Science, Computer Systems +17

User-Level Device Drivers: Achieved Performance

Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale et al. · Journal of Computer Science and Technology · 2005 · 121 citations · Full text

Computing, Computer Engineering, Computer Science +7