Get my own profile
Co-authors
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Ajit ChaturvediIIT KanpurVerified email at iitk.ac.in
Ali Sinan KöksalPhD in Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Phalguni GuptaProfessor of Computer Science and Engineering, IIT KanpurVerified email at cse.iitk.ac.in