Get my own profile
Co-authors
Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified email at unsw.edu.au
Leonid RyzhykVMware ResearchVerified email at vmware.com
Ihor KuzPrincipal Research Engineer, Data61 CSIROVerified email at data61.csiro.au
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Etienne Le SueurNICTAVerified email at nicta.com.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Gerwin KleinData61 and UNSWVerified email at cse.unsw.edu.au
Yutaka NagashimaCIIRC, Czech Technical University, University of InnsbruckVerified email at cvut.cz
Christine RizkallahAssistant Professor (Lecturer) at the University of New South WalesVerified email at unsw.edu.au
Liam O'ConnorUniversity of EdinburghVerified email at ed.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk