Philip Derrin

	2009
3		Gerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
2		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
	2006
1		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

Coauthor Index

1	June Andronick	[2]
2	Manuel M. T. Chakravarty	[1]
3	David Cock	[1] [2]
4	Dhammika Elkaduwe	[2]
5	Kevin Elphinstone	[1] [2] [3]
6	Kai Engelhardt	[2]
7	Gernot Heiser	[2]
8	Gerwin Klein	[1] [2] [3]
9	Rafal Kolanski	[2]
10	Michael Norrish	[2]
11	Thomas Sewell	[2]
12	Harvey Tuch	[2]
13	Simon Winwood	[2]