Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Daniel KroeningAmazonVerified email at amazon.com
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaVerified email at tecnico.ulisboa.pt
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Vojtěch ForejtDifflblueVerified email at diffblue.com
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Martin BrainCity, University of LondonVerified email at city.ac.uk
Utpal BoraResearch Associate at University of CambridgeVerified email at cl.cam.ac.uk
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
RK ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
Prateek KumarVerified email at iith.ac.in
Ramakrishna UpadrastaAssociate Professor, Dept. of Computer Science and Engg, IIT Hyderabad, IndiaVerified email at cse.iith.ac.in
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Sanjay RajopadhyeColorado State UniversityVerified email at colostate.edu
Anjeneya Swami KareUniversity of HyderabadVerified email at uohyd.ac.in
Andreas GriesmayerImperial College LondonVerified email at arm.com