Kevin Elphinstone

	2012
23		Stefan M. Petters, Kevin Elphinstone, Gernot Heiser: Trustworthy Real-Time Systems. Advances in Real-Time Systems 2012: 191-206
	2010
22		Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010)
	2009
21		Gerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
20		Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone: Towards Real Multi-criticality Scheduling. RTCSA 2009: 155-164
19		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
18		Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114
	2007
17		Timothy Roscoe, Kevin Elphinstone, Gernot Heiser: Hype and Virtue. HotOS 2007
16		Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser: Towards a Practical, Verified Kernel. HotOS 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	[19] [22]
2	Mohit Aron	[10]
3	Manuel M. T. Chakravarty	[14]
4	Peter Chubb	[13]
5	David Cock	[14] [19] [22]
6	Luke Deller	[9] [10]
7	Philip Derrin	[14] [16] [19] [21] [22]
8	Dhammika Elkaduwe	[18] [19] [22]
9	Kai Engelhardt	[19] [22]
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	Ryan Heffernan	[20]
17	Gernot Heiser	[2] [3] [4] [13] [15] [16] [17] [19] [22] [23]
18	Nayeem Islam	[3]
19	Trent Jaeger	[3] [5] [6] [8] [9] [10]
20	Gerwin Klein	[14] [15] [16] [18] [19] [21] [22]
21	Rafal Kolanski	[19] [22]
22	Ihor Kuz	[15]
23	Martin Lawitzky	[20]
24	Ben Leslie	[13]
25	Jochen Liedtke	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
26	Luke Macpherson	[13]
27	Michael Norrish	[19] [22]
28	Vsevolod Panteleenko	[5]
29	Yoonho Park	[5] [6] [8] [9] [10]
30	Stefan M. Petters	[15] [20] [23]
31	Daniel Potts	[13]
32	Lars Reuther	[9]
33	Timothy Roscoe	[16] [17]
34	Stephen Russell	[2] [4]
35	Sebastian Schönberg	[3]
36	Thomas Sewell	[19] [22]
37	Yue-Ting Shen	[13]
38	Jonathon Tidswell	[8] [9]
39	Harvey Tuch	[19] [22]
40	Volkmar Uhlig	[6] [9]
41	Jerry Vochteloo	[4]
42	Marcus Völp	[7]
43	Simon Winwood	[19] [22]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page