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 2009, I'm no longer serving on the UNSWOC executive, as I no
longer have the time. For gear hire this year, contact the new gear
officers. 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 ]