Get my own profile
Co-authors
Susmit SarkarReader, University of St AndrewsVerified email at st-andrews.ac.uk
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Daniel KroeningAmazonVerified email at amazon.com
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, CIMS, New York UniversityVerified email at cims.nyu.edu
Tom RidgeDepartment of Informatics, University of LeicesterVerified email at le.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Tyler SorensenAssistant Professor, UC Santa CruzVerified email at ucsc.edu
Paul McKenneySoftware Engineer, FacebookVerified email at fb.com
Samin IshtiaqSamsung AIVerified email at samsung.com
Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Milo M. K. MartinFormer Associate Professor, University of PennsylvaniaVerified email at cis.upenn.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
John WickersonImperial College LondonVerified email at imperial.ac.uk
Vinod GroverNVIDIA CorporationVerified email at nvidia.com
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
