Philip Derrin

According to our database, Philip Derrin authored at least 6 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

seL4: formal verification of an operating-system kernel.

Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood

Commun. ACM, 2010

2009

seL4: formal verification of an OS kernel.

Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Experience report: seL4: formally verifying a high-performance microkernel.

Gerwin Klein, Philip Derrin, Kevin Elphinstone

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Kernel design for isolation and assurance of physical memory.

Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone

Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

2007

Towards a Practical, Verified Kernel.

Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

2006

Running the manual: an approach to high-assurance microkernel development.

Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006