Philip Derrin

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

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) (2010)
Gerwin Klein, Philip Derrin, Kevin Elphinstone
Experience report: seL4: formally verifying a high-performance microkernel. ICFP (2009)
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)
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone
Kernel design for isolation and assurance of physical memory. IIES@EuroSys (2008)
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
Towards a Practical, Verified Kernel. HotOS (2007)
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
Running the manual: an approach to high-assurance microkernel development. Haskell (2006)