Kevin Elphinstone
Senior Lecturer
| Office | L5 NICTA room E626 |
|---|---|
| Phone | 83060573 |
|
|
| School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia |
Update your CSE Profile or your Publications in myCSE.
Research Areas
- Operating Systems
- Microkernels
- Multiserver Systems
- Computer Architecture
Publications
|
Towards proving security in the presence of large untrusted components
J Andronick, D Greenaway, D Greenaway, K Elphinstone, Proceedings of the 5th International Workshop on Systems Software Verification (SSV 2010), . USENIX, online, 2010 |
|
seL4: formal verification of an operating-system kernel
G Klein, M Norrish, T Sewell, H Tuch, S Winwood, J Andronick, K Elphinstone, G Heiser, D Cock, P Derrin, Communications of the ACM, . Association of Computing Machinery, New York, NY, USA, 2010, pages 107 - 115 |
|
Towards Real Multi-criticality Scheduling
S Petters, M Lawitzky, R Heffernan, K Elphinstone, Proceedings of the 15th IEEE International Conference on embedded and Real-time Computing Systems and Application, Iain Bate, Zili Shao and Fahim Kawsar. IEEE Computer Society, 2009 |
|
seL4: formal verification of an OS kernel
G Klein, R Kolanski, M Norrish, T Sewell, H Tuch, S Winwood, K Elphinstone, G Heiser, J Andronick, D Cock, Proceedings of SOSP`09, J Matthews, T. Anderson. ACM, 2009 |
|
Experience report: seL4: formally verifying a high-performance microkernel
G Klein, P Derrin, K Elphinstone, Proceedings of the International Conference on Functional Programming, Phil Wadler. ACM, 2009 |
|
Verified protection model of the seL4 microkernel
K Elkaduwe, G Klein, K Elphinstone, Proceedings of Verified Software: Theories, Tools and Experiments, 2008, N. Shankar, J. Woodcock. , 2008 |
|
Kernel design for isolation and assurance of physical memory
K Elkaduwe, P Derrin, K Elphinstone, 1st workshop on isolation and integration in embedded systems, M. Engel and O. Spinczyk. , 2008 |
|
Towards Trustworthy Computing Systems: Taking Microkernels To The Next Level
G Heiser, K Elphinstone, I Kuz, G Klein, S Petters, Operating systems review, . ACM, NY, USA, 2007, pages pp. 3 - 11 - |
|
Towards A Practical, Verified Kernel
K Elphinstone, G Klein, P Derrin, T Roscoe, 11th workshop on hot topics in operating systems proceedings, . IEEE, san diego, 2007 |
|
Lazy Queuing And Direct Process Switch---Merit Of Myths?
K Elphinstone, S Ruocco, D Greenaway, 2007 workshop on operating systems platforms for embedded real-time applications, Proceedings, S. Brandt and K. Elphinstone. NICTA, Australia, Sydney, Australia, 2007, pages pp. 69 - 77 - |
|
Hype And Virtue
K Elphinstone, T Roscoe, G Heiser, 11th Workshop on Hot Topics in operating systems, proceedings, . usenix on line, san diego, 2007 |
|
A Memory Allocation Model For An Embedded Microkernel
P Derrin, K Elphinstone, D Elkaduwe, 1st international workshop on microkernels for embedded systems MIKES 2007, Proceedings, I. Kuz and S. Petters. NICTA, Australia, Sydney, Australia, 2007, pages pp. 29 - 35 - |
|
Running The Manual: An Approach To High-Assurance Microkernel Development
D Cock, K Elphinstone, G Klein, M Chakravarty, P Derrin, 2006 ACM SIGPLAN Haskell workshop, Proceedings, A. Loh. ACM press, New York, NY, USA, 2006, pages pp. 60 - 71 - |
|
User-Level Device Drivers: Achieved Performance
B Leslie, P Chubb, N Fitzroy-Dale, S Gotz, C Gray, L Macpherson, D Potts, K Elphinstone, G Heiser, Y Shen, Journal of Computer Science and Technology, . Science Press, Beijing, 2005, pages pp. 654 - 664 - |
|
Initial Evaluation Of A User-Level Device Driver Framework
K Elphinstone, S Goetz, Advances in Computer Systems Architecture, Yew and Xue. Springer, Germany, 2004, pages pp. 256 - 269 - |
|
User-Level Management Of Kernel Memory
K Elphinstone, A Haeberlen, Advances in Computer Systems Architecture LNCS 2823, A. Omondi, S. Sedukhin. Springer-Verlag, Berlin, Germany, 2003, pages pp. 277 - 289 - |
|
The Mungi Single-Address-Space Operating System
G Heiser, K Elphinstone, J Vochteloo, S Russell, J Liedtke, Software: Practice and Experience, . John Wiley & Sons, Sussex, England, 1998, pages pp. 901 - 928 - |
|
Supporting Persistent Object Systems In A Single Address Space
K Elphinstone, S Russell, G Heiser, J Liedtke, Proceedings of International Workshop on Persistent Object Systems, . Morgan Kaufmann Publishers Inc, USA, 1997, pages pp. 111 - 119 - |
|
Achieved Ipc Performance (Still The Foundation For Efficiency)
J Liedtke, K Elphinstone, S Schonberg, H Hartig, G Heiser, N Islam, T Jaeger, 6th Workshop on Hot Topics in Operating Systems (HotOS), . IEEE Computer Society Press, USA, 1997, pages pp. 28 - 31 - |
|
Protection Domain Extensions In Mungi
J Vochteloo, K Elphinstone, S Russell, G Heiser, Proceedings of the International Workshop on Object Orientation in Operating Systems, . IEEE Computer Society, Los Alamitos, California, 1996, pages pp. 161 - 165 - |
Update your CSE Profile or your Publications in myCSE.