Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Leonid RyzhykFelderaVerified email at feldera.com
Ihor KuzPrincipal OS Engineer, Kry10 LtdVerified email at ikuz.org
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Yutaka NagashimaInstitute of Computer Science, the Czech Academy of SciencesVerified email at cs.cas.cz
Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
Etienne Le SueurNICTAVerified email at nicta.com.au
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk