Get my own profile
Public access
View all15 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Scott OwensUniversity of KentVerified email at kent.ac.uk
Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
Luc MarangetInriaVerified email at inria.fr
Francesco Zappa NardelliFacebookVerified email at fb.com
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Tom RidgeIndependentVerified email at tom-ridge.com
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
ali sezginUniversity of CambridgeVerified email at cam.ac.uk
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Vijay NagarajanProfessor, University of UtahVerified email at cs.utah.edu
Samin IshtiaqRiverlaneVerified email at riverlane.com
Follow
Susmit Sarkar
Professor of Computer Science, University of St Andrews
Verified email at st-andrews.ac.uk - Homepage