Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Daniel KroeningAmazonVerified email at amazon.com
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Scott OwensUniversity of KentVerified email at kent.ac.uk
Francesco Zappa NardelliFacebookVerified email at fb.com
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Tom RidgeIndependentVerified email at tom-ridge.com
Tyler SorensenAssistant Professor, UC Santa CruzVerified email at ucsc.edu
Paul McKenneySoftware Engineer, FacebookVerified email at meta.com
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at xcitedb.com
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
John WickersonImperial College LondonVerified email at imperial.ac.uk
Samin IshtiaqRiverlaneVerified email at riverlane.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Vinod GroverSr Distinguished Engineer, NVIDIA CorporationVerified email at nvidia.com
Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
Alex HornAppleVerified email at apple.com