Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Susmit SarkarReader, University of St AndrewsVerified email at st-andrews.ac.uk
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Francesco Zappa NardelliFacebookVerified email at fb.com
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Yong Kiam TanGraduate Research Assistant, CMUVerified email at cs.cmu.edu
Luc MarangetInriaVerified email at inria.fr
Guodong LiUniversity of Utah, Fujitsu Labs of AmericaVerified email at cs.utah.edu
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Juliano Manabu IyodaUFPEVerified email at cin.ufpe.br
Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Aaron TuronMPI-SWSVerified email at mpi-sws.org
John ReppyProfessor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Dominic MulliganPrincipal Research Engineer, Arm ResearchVerified email at arm.com
Elliot AnshelevichProfessor of Computer Science, Rensselaer Polytechnic InstituteVerified email at cs.rpi.edu