Get my own profile
Public access
View all44 articles
1 article
available
not available
Based on funding mandates
Co-authors
Alice MillerProfessor, University of GlasgowVerified email at glasgow.ac.uk
Daniel KroeningAmazonVerified email at amazon.com
John WickersonImperial College LondonVerified email at imperial.ac.uk
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Tobias GrosserUniversity of EdinburghVerified email at ed.ac.uk
Albert CohenGoogleVerified email at google.com
Sven VerdoolaegePolly LabsVerified email at inria.fr
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Riyadh BaghdadiAssistant Professor (New York University Abu Dhabi), Research Affiliate (MIT)Verified email at mit.edu
Alexander KaiserUniversity of OxfordVerified email at cs.ox.ac.uk
Ulysse BeaugnonGoogle ResearchVerified email at google.com
Paul KellyProfessor of Software Technology, Imperial College LondonVerified email at imperial.ac.uk
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Lee HowesQualcommVerified email at qti.qualcomm.com
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Leopold HallerGoogleVerified email at google.com