School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
Research Areas
Research Topics:
Operating Systems
Microkernels
Multiserver Systems
Computer Architecture
Publications
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, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, D Elkaduwe, K Engelhardt, R Kolanski, M Norrish, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, pp. 161 - 165
