Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Dino DistefanoAnthropic and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Mooly SagivTel Aviv UniversityVerified email at acm.org
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
Roman ManevichArmVerified email at arm.com
Samin IshtiaqRiverlaneVerified email at riverlane.com
Uday ReddyUniversity of BirminghamVerified email at cs.bham.ac.uk
Oukseh LeeNature Mobility Co.Verified email at naturemobility.com
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Christoph M. WintersteigerImandraVerified email at imandra.ai
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
Ian WehrmanSnap Inc.Verified email at snapchat.com
Nick BentonEngineering Manager, FacebookVerified email at fb.com