Dave@Work
This page exists to collect all vaguely work and/or uni related info on
me (David Cock). For more specifically personal stuff and projects, go
to http://www.x256.org/~davec.
Contact
- CSE email
- davec[at]cse[dot]unsw[dot]edu[dot]au
- NICTA email
- David[dot]Cock[at]nicta[dot]com[dot]au
- Work phone
- (02) 8306 0486
- Mobile
- 0407 487 919
L4.verified
My day job is as a research assistant on the l4.verified project at
NICTA. Our goal is to produce the world's first formally verified
operating system kernel. For details go to
l4.verified.
UNSW Outdoors Club
As of June 2008, I'm taking over as Vice-President of the UNSWOC outdoors
club, and will no longer be acting as gear guy. For gear hire this year,
contact either Blake Bambrook or Steven Hare. Contact details can be
found here.
Publications
- David Cock. Bitfields and tagged unions in c: Verification through automatic generation, August 2008. [ bib | .pdf]
- David Cock, Gerwin Klein, and Thomas Sewell. Secure microkernels, state monads and scalable refinement, August 2008. [ bib ]
- Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. Running the manual: An approach to high-assurance microkernel development, September 2006. [ bib | .PDF ]
- David Cock. The Weyl algebras, 2004. [ bib | .PDF ]