| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

Kevin Elphinstone's Information Page

Kevin Elphinstone

Senior Lecturer

Research Areas
To update this page please go to myCSE.
Office:	L5 NICTA room E626
Phone:	83060573
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
	Operating Systems Microkernels Multiserver Systems Computer Architecture
Publications
	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

To update this page please go to myCSE

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement