Kevin Elphinstone

	2009
18		Gerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
17		Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an OS kernel. SOSP 2009: 207-220
	2008
16		Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114
	2007
15		Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters: Towards trustworthy computing systems: taking microkernels to the next level. Operating Systems Review 41(4): 3-11 (2007)
	2006
14		Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty: Running the manual: an approach to high-assurance microkernel development. Haskell 2006: 60-71
	2005
13		Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser: User-Level Device Drivers: Achieved Performance. J. Comput. Sci. Technol. 20(5): 654-664 (2005)
	2004
12		Kevin Elphinstone, Stefan Götz: Initial Evaluation of a User-Level Device Driver Framework. Asia-Pacific Computer Systems Architecture Conference 2004: 256-269
	2003
11		Andreas Haeberlen, Kevin Elphinstone: User-Level Management of Kernel Memory. Asia-Pacific Computer Systems Architecture Conference 2003: 277-289
	2001
10		Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller: The SawMill Framework for Virtual Memory Diversity. ACSAC 2001: 3-10
	2000
9		Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther: The SawMill multiserver approach. ACM SIGOPS European Workshop 2000: 109-114
8		Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke: Synchronous IPC over transparent monitors. ACM SIGOPS European Workshop 2000: 189-194
7		Jochen Liedtke, Marcus Völp, Kevin Elphinstone: Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210
	1999
6		Jochen Liedtke, Volkmar Uhlig, Kevin Elphinstone, Trent Jaeger, Yoonho Park: How To Schedule Unlimited Memory Pinning of Untrusted Processes Or Provisional Ideas about Service-Neutrality. Workshop on Hot Topics in Operating Systems 1999: 153-
5		Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park: Flexible Access Control using IPC Redirection. Workshop on Hot Topics in Operating Systems 1999: 191-
	1998
4		Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke: The Mungi Single-Address-Space Operating System. Softw., Pract. Exper. 28(9): 901-928 (1998)
	1997
3		Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger: Achieved IPC Performance. Workshop on Hot Topics in Operating Systems 1997: 28-31
	1996
2		Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke: Supporting Persistent Object Systems in a Single Address Space. POS 1996: 111-119
1		Jochen Liedtke, Kevin Elphinstone: Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization. Operating Systems Review 30(1): 4-15 (1996)

Coauthor Index

1	June Andronick	[17]
2	Mohit Aron	[10]
3	Manuel M. T. Chakravarty	[14]
4	Peter Chubb	[13]
5	David Cock	[14] [17]
6	Luke Deller	[9] [10]
7	Philip Derrin	[14] [17] [18]
8	Dhammika Elkaduwe	[16] [17]
9	Kai Engelhardt	[17]
10	Nicholas Fitzroy-Dale	[13]
11	Alain Gefflaut	[8] [9]
12	Stefan Götz	[12] [13]
13	Charles Gray	[13]
14	Andreas Haeberlen	[11]
15	Hermann Härtig (Hermann Haertig)	[3]
16	Gernot Heiser	[2] [3] [4] [13] [15] [17]
17	Nayeem Islam	[3]
18	Trent Jaeger	[3] [5] [6] [8] [9] [10]
19	Gerwin Klein	[14] [15] [16] [17] [18]
20	Rafal Kolanski	[17]
21	Ihor Kuz	[15]
22	Ben Leslie	[13]
23	Jochen Liedtke	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
24	Luke Macpherson	[13]
25	Michael Norrish	[17]
26	Vsevolod Panteleenko	[5]
27	Yoonho Park	[5] [6] [8] [9] [10]
28	Stefan M. Petters	[15]
29	Daniel Potts	[13]
30	Lars Reuther	[9]
31	Stephen Russell	[2] [4]
32	Sebastian Schönberg	[3]
33	Thomas Sewell	[17]
34	Yue-Ting Shen	[13]
35	Jonathon Tidswell	[8] [9]
36	Harvey Tuch	[17]
37	Volkmar Uhlig	[6] [9]
38	Jerry Vochteloo	[4]
39	Marcus Völp	[7]
40	Simon Winwood	[17]