Get my own profile
Co-authors
June AndronickPrincipal Research Scientist, Data61, CSIROVerified email at data61.csiro.au
Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified email at unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Michael NorrishPrincipal Research Scientist, Data61Verified email at data61.csiro.au
David CockGraduate Researcher, NICTA and University of New South WalesVerified email at cse.unsw.edu.au
Ihor KuzPrincipal Research Engineer, Data61 CSIROVerified email at data61.csiro.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verified email at ce.pdn.ac.lk
Peter GammieANUVerified email at anu.edu.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Kai Engelhardtghost locomotiveVerified email at gh.st
Christine RizkallahAssistant Professor (Lecturer) at the University of New South WalesVerified email at unsw.edu.au
Matthew FernandezIntel LabsVerified email at intel.com
Mark StaplesData61, CSIROVerified email at data61.csiro.au
Yutaka NagashimaCIIRC, Czech Technical University, University of InnsbruckVerified email at cvut.cz
David GreenawayNICTA and School of Computer Science, University of New South WalesVerified email at cse.unsw.edu.au
Timothy BourkeVerified email at tbrk.org
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au