1Contributors 2------------ 3 4People who contributed to the design, code, proof, or documentation in this 5repository (in alphabetical order). 6 7* Sidney Amani, Data61 (was at NICTA) & UNSW 8* Ryan Barry, UNSW 9* Joel Beeren, Data61 (was at NICTA) 10* Nelson Chen, UNSW 11* Zilin Chen, Data61 (was at NICTA) & UNSW 12* Louis Cheung, UNSW 13* Peter Chubb, Data61 & UNSW 14* Vivian Dang, UNSW 15* Matthew Di Meglio, UNSW 16* Sahan Fernando, UNSW 17* Gernot Heiser, Data61 & UNSW 18* Alex Hixon, NICTA (was at NICTA) & UNSW 19* Vincent Jackson, UNSW 20* Jashank Jeremy, UNSW 21* Gabriele Keller, Universiteit Utrecht (was at Data61 & UNSW) 22* Gerwin Klein, Data61 (was at NICTA) & UNSW 23* Ambroise Lafont, UNSW 24* Edward Lee, NICTA & UNSW 25* Corey Lewis, Data61 (was at NICTA) 26* Japheth Lim, Data61 (was at NICTA) 27* Craig McLaughlin, UNSW 28* Craige McWhirter 29* Emmet Murray, UNSW 30* Toby Murray, University of Melbourne (was at UNSW) & Data61 (was at NICTA) 31* Yutaka Nagashima, Data61 (was at NICTA) 32* Liam O'Connor, UNSW & Data61 (was at NICTA) 33* Christine Rizkallah, UNSW & Data61 (was at NICTA) 34* Amos Robinson, UNSW 35* Nick Robson, UNSW 36* Leonid Ryzhyk, NICTA & UNSW 37* Carter Tazio Schonwald 38* Sean Seefried, NICTA 39* Thomas Sewell, Data61 (was at NICTA) & UNSW 40* Sean Shang, UNSW 41* Partha Susarla, Data61 42* Gunnar Teege, Universit��t der Bundeswehr M��nchen 43* Joseph Tuong, NICTA & UNSW 44