Select Publications
Journal Articles
Heiser, GA, Elphinstone, KJ, Kuz, I, Klein, G & Petters, S, 2007, 'Towards trustworthy computing systems: taking microkernels to the next level', ACM Sigops Operating Systems Review, vol. 41, pp. 3 - 11
Leslie, BJ, Chubb, P, Fitzroy-Dale, NJ, Gotz, S, Gray, CE, Macpherson, LD, Potts, DP, Elphinstone, KJ, Heiser, GA & Shen, Y, 2005, 'User-level device drivers: Achieved performance', Journal of Computer Science and Technology, vol. 20, pp. 654 - 664
Heiser, GA, Elphinstone, KJ, Vochteloo, J, Russell, SM & Liedtke, J, 1998, 'The Mungi Single-Address-Space Operating System', Software-Practice and Experience, pp. 901 - 928
Conference Papers
Andronick, J, Greenaway, D & Elphinstone, KJ, 2010, 'Towards proving security in the presence of large untrusted components', in Proceedings of the 5th International Workshop on Systems Software Verification (SSV 2010), USENIX, online, presented at 5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, BC, Canada, October 6?7, 2010
Heiser, GA, Andronick, J, Elphinstone, KJ, Klein, G, Kuz, I & Ryzhyk, L, 2010, 'The road to trustworthy systems', in Proceedings of the ACM Conference on Computer and Communications Security 2010, ACM, New York, presented at , Chicago, IL, 4-8 October, 2010, http://dx.doi.org/10.1145/1867635.1867638
Petters, S, Lawitzky, M, Heffernan, R & Elphinstone, KJ, 2009, ' Towards Real Multi-criticality Scheduling', in Proceedings of the 15th IEEE International Conference on embedded and Real-time Computing Systems and Application, IEEE Computer Society, Beijing, China, presented at 15th IEEE International Conference on Embedded and Real-time Computing Systems and Application, Beijing, China, 24 - 26 August 2009, http://dx.doi.org/10.1109/RTCSA.2009.24
Klein, G, Elphinstone, K, Heiser, G, Andronick, J, Cock, D, Derrin, P, Elkaduwe, D, Engelhardt, K, Kolanski, R, Norrish, M, Sewell, T, Tuch, H & Winwood, S, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at SOSP, Big Sky, Montana, USA, 11 - 14 October 2009, http://dx.doi.org/10.1145/1629575.1629596
Klein, G, Derrin, P & Elphinstone, KJ, 2009, 'Experience report: seL4: formally verifying a high-performance microkernel', in Proceedings of the International Conference on Functional Programming, ACM, presented at ACM SIGPLAN Intl. Conf. on Functional Programming 2009, Edinburgh, Scotland, 31 August - 2 September 2009, http://dx.doi.org/10.1145/1596550.1596566
Elkaduwe, KW, Derrin, PG & Elphinstone, KJ, 2008, 'Kernel design for isolation and assurance of physical memory', in 1st workshop on isolation and integration in embedded systems, presented at 1st workshop on isolation and integration in embedded systems, Glasgow, Scotland, 1 April 2008
Elkaduwe, KW, Klein, G & Elphinstone, KJ, 2008, 'Verified protection model of the seL4 microkernel', in Proceedings of Verified Software: Theories, Tools and Experiments, 2008, presented at Verified Software: Theories, Tools and Experiments (VSTTE) 2008, Toronto, Canada, 6 - 9 October 2008
Elphinstone, KJ, Ruocco, S & Greenaway, D, 2007, 'Lazy queuing and direct process switch---merit of myths?', in National ICT Australia Technical Reports, presented at OSPERT 2007 workshop on operating systems platforms for embedded real-time applications, Pisa, Italy, 3 June 2007
Derrin, PG, Elphinstone, KJ & Elkaduwe, D, 2007, 'A memory allocation model for an embedded microkernel', in National ICT Australia Technical Reports, presented at 1st international workshop on microkernels for embedded systems MIKES 2007, Sydney, 16 January 2007
Elphinstone, KJ, Klein, G, Derrin, PG, Roscoe, T & Heiser, GA, 2007, 'Towards a practical, verified kernel', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, presented at 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, 7 - 9 May 2007
Elphinstone, KJ, Roscoe, T & Heiser, GA, 2007, 'Hype and Virtue', in 11th Workshop on Hot Topics in Operating Systems Proceedings - HotOS X1, presented at 11th workshop on hot topics in operating systems proceedings - HotOS X1, San Diego, Californa, USA, 7 - 9 May 2007
Cock, D, Elphinstone, KJ, Klein, G, Chakravarty, MM & Derrin, PG, 2006, 'Running the manual: an approach to high-assurance microkernel development', in 2006 ACM SIGPLAN Haskell workshop, presented at ACM SIGPLAN 2006 Haskell workshop, Portland, Oregon, USA, 17 September 2006
Elphinstone, KJ & Goetz, S, 2004, 'Initial Evaluation of a User-level Device Driver Framework', in 9th Asia-Pacific Computer System Architecture Conference (ACSAC04), presented at 9th Asia-Pacific Computer System Architecture Conference (ACSAC04), Beijing, China, 7 - 9 September 2004
Elphinstone, KJ & Haeberlen, A, 2003, 'User-Level Management of Kernel Memory', in 8th Asia-Pacific Conference, ACSAC 2003, presented at 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, 23 - 26 September 2003
Aron, M, Park, YJ, Jaeger, T, Liedtke, J, Elphinstone, KJ & Deller, L, 2001, 'The Saw Mill Framework of VM Density', in 6th Australasian Computer Systems Architecture Conference, presented at 6th Australasian Computer Systems Architecture Conference, Gold Coast, Qld, 29 - 30 January 2001
Liedtke, J, Elphinstone, KJ, Schonberg, S, Hartig, H, Heiser, GA, Islam, N & Jaeger, T, 1997, 'Achieved IPC Performance (Still the Foundation for Efficiency)', in 6th Workshop on Hot Topics in Operating Systems (HotOS), presented at 6th Workshop on Hot Topics in Operating Systems (HotOS), Cape Cod, MA, USA, 1997
Elphinstone, KJ, Russell, SM, Heiser, GA & Liedtke, J, 1997, 'Supporting Persistent Object Systems in a Single Address Space', in 7th International Workshop on Persistent Object Systems, presented at 7th International Workshop on Persistent Object Systems, San Francisco, California USA, 29 - 31 May 1997
Vochteloo, J, Elphinstone, KJ, Russell, SJ & Heiser, GA, 1996, 'Protection domain extensions in Mungi', in International Workshop on Object Orientation in Operating Systems 1996, presented at International Workshop on Object Orientation in Operating Systems 1996, Seattle, Washington, USA, October 1996