Get my own profile
Public access
View all45 articles
0 articles
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
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Thomas WahlNortheastern University, Boston, USAVerified email at northeastern.edu
Riyadh BaghdadiAssistant Professor (NYUAD); Global Network Assistant Professor (NYU); 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
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk