| 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 | 2563 | 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 | 422 | 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 | 250 | 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 | 215 | 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 | 181 | 1998 |
| 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 | 133 | 2007 |
| 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 | 131 | 2000 |
| 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 | 120 | 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 | 105 | 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 | 85 | 1993 |
| Verified protection model of the seL4 microkernel D Elkaduwe, G Klein, K Elphinstone Verified Software: Theories, Tools, Experiments, 99-114, 2008 | 84 | 2008 |
| 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 | 76 | 2016 |
| Hype and virtue T Roscoe, K Elphinstone, G Heiser Proceedings of the 11th USENIX workshop on Hot topics in operating systems, 4, 2007 | 68 | 2007 |
| 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 | 67 | 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 | 59 | 2006 |
| Experience report: seL4: formally verifying a high-performance microkernel G Klein, P Derrin, K Elphinstone ACM SIGPLAN Notices 44 (9), 91-96, 2009 | 56 | 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 | 50 | 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 | 42 | 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 | 42 | 1999 |
| User-level management of kernel memory A Haeberlen, K Elphinstone Advances in Computer Systems Architecture, 277-289, 2003 | 33 | 2003 |
Gernot HeiserProfessor of Computer Science, UNSW SydneyVerified email at unsw.edu.au
