People who contributed to the design, code, proof, or documentation in this repository (in alphabetical order).
- Sidney Amani, NICTA & UNSW
- Joel Beeren, NICTA
- Zilin Chen, NICTA & UNSW
- Peter Chubb, NICTA & UNSW
- Gernot Heiser, NICTA & UNSW
- Alex Hixon, NICTA & UNSW
- Gabriele Keller, NICTA & UNSW
- Gerwin Klein, NICTA & UNSW
- Edward Lee, NICTA & UNSW
- Corey Lewis, NICTA
- Japheth Lim, NICTA
- Craige McWhirter
- Toby Murray, NICTA & UNSW
- Yutaka Nagashima, NICTA
- Liam O'Connor, NICTA & UNSW
- Christine Rizkallah, NICTA & UNSW
- Leonid Ryzhyk, NICTA & UNSW
- Carter Tazio Schonwald
- Sean Seefried, NICTA
- Thomas Sewell, NICTA & UNSW
- Partha Susarla, NICTA
- Joseph Tuong, NICTA & UNSW