Get my own profile
Co-authors
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Mohan DhawanCorelight Inc.Verified email at corelight.com
Robert M. Kirby OR R.M. KirbySchool of Computing, University of UtahVerified email at cs.utah.edu
Seep GoelIBM ResearchVerified email at in.ibm.com
Vojtěch ForejtDifflblueVerified email at diffblue.com
César RodríguezDiffblue, Oxford, UK & Associate Professor, University of Paris 13, FranceVerified email at lipn.fr
Ganesh NarayanaswamyUniversity of OxfordVerified email at cs.ox.ac.uk
Rahul PurandareAssociate Professor of Computer Science and Engineering, IIIT-DelhiVerified email at iiitd.ac.in
Dhriti KhannaIIIT DelhiVerified email at iiitd.ac.in
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
Marcelo Sousaexplore.devVerified email at explore.dev
Rajeev ThakurDeputy Director, Data Science and Learning Division, Argonne National LaboratoryVerified email at anl.gov
William GroppProfessor of Computer Science, University of IllinoisVerified email at illinois.edu
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Sriram AananthakrishnanIntelVerified email at intel.com
Simone AtzeniPhD Student, University of UtahVerified email at cs.utah.edu
Shweta AgrawalIndian Institute of Technology MadrasVerified email at iitm.ac.in
Subodh Sharma
Verified email at cse.iitd.ac.in - Homepage