Philip Derrin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
seL4: formal verification of an operating-system kernel.
Commun. ACM, 2010

2009
seL4: formal verification of an OS kernel.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Experience report: seL4: formally verifying a high-performance microkernel.
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.
Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

2007
Towards a Practical, Verified Kernel.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

2006
Running the manual: an approach to high-assurance microkernel development.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006


  Loading...