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