Get my own profile
Public access
View all23 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Gernot HeiserProfessor of Computer Science, UNSW SydneyVerified email at unsw.edu.au
June AndronickPrincipal Research Scientist, Data61, CSIROVerified email at data61.csiro.au
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
Zilin ChenUNSWVerified email at student.unsw.edu.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Liam O'ConnorUniversity of EdinburghVerified email at ed.ac.uk
Peter GammieANUVerified email at anu.edu.au
Robert SisonSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Yutaka NagashimaHuawei Technologies R&D (UK)Verified email at huawei.com
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Mark StaplesData61, CSIROVerified email at data61.csiro.au
Kevin ElphinstoneUniversity 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
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
David CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
James NobleCreative Research & ProgrammingVerified email at acm.org
Mark S. MillerChief Scientist, AgoricVerified email at agoric.com
Follow
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage