Kevin Elphinstone

2008
16	EE	Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114
2007
15	EE	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	EE	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	EE	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	EE	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	EE	Andreas Haeberlen, Kevin Elphinstone: User-Level Management of Kernel Memory. Asia-Pacific Computer Systems Architecture Conference 2003: 277-289
2001
10	EE	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	EE	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	EE	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	EE	Jochen Liedtke, Marcus Völp, Kevin Elphinstone: Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210
1999
6	EE	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	EE	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	EE	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	Mohit Aron	[10]
2	Manuel M. T. Chakravarty	[14]
3	Peter Chubb	[13]
4	David Cock	[14]
5	Luke Deller	[9] [10]
6	Philip Derrin	[14]
7	Dhammika Elkaduwe	[16]
8	Nicholas Fitzroy-Dale	[13]
9	Alain Gefflaut	[8] [9]
10	Stefan Götz	[12] [13]
11	Charles Gray	[13]
12	Andreas Haeberlen	[11]
13	Hermann Härtig (Hermann Haertig)	[3]
14	Gernot Heiser	[2] [3] [4] [13] [15]
15	Nayeem Islam	[3]
16	Trent Jaeger	[3] [5] [6] [8] [9] [10]
17	Gerwin Klein	[14] [15] [16]
18	Ihor Kuz	[15]
19	Ben Leslie	[13]
20	Jochen Liedtke	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
21	Luke Macpherson	[13]
22	Vsevolod Panteleenko	[5]
23	Yoonho Park	[5] [6] [8] [9] [10]
24	Stefan M. Petters	[15]
25	Daniel Potts	[13]
26	Lars Reuther	[9]
27	Stephen Russell	[2] [4]
28	Sebastian Schönberg	[3]
29	Yue-Ting Shen	[13]
30	Jonathon Tidswell	[8] [9]
31	Volkmar Uhlig	[6] [9]
32	Jerry Vochteloo	[4]
33	Marcus Völp	[7]