Get my own profile
Co-authors
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Ganesh NarayanaswamyUniversity of OxfordVerified email at cs.ox.ac.uk
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Vojtěch ForejtDifflblueVerified email at diffblue.com
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Rk ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Andreas GriesmayerImperial College LondonVerified email at arm.com
Yash PoteNUSVerified email at comp.nus.edu.sg
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu
Anjeneya Swami KareUniversity of HyderabadVerified email at uohyd.ac.in
Saurabh Joshi
Verified email at cse.iith.ac.in - Homepage