Get my own profile
Co-authors
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Oleksandr PolozovMicrosoft ResearchVerified email at microsoft.com
Saurabh SrivastavaSynthetic Minds; previously: 20n, UC Berkeley, UMDVerified email at synthetic-minds.com
George NeculaProfessor, University of California, BerkeleyVerified email at cs.berkeley.edu
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Benjamin ZornMicrosoft Research, RedmondVerified email at acm.org
Mark MarronMicrosoft ResearchVerified email at microsoft.com
Vu LeMicrosoftVerified email at microsoft.com
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at cs.tufts.edu
William HarrisResearch Scientist, Galois Inc.Verified email at galois.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Gustavo SoaresResearcher, MicrosoftVerified email at microsoft.com
Prateek JainMicrosoft Research IndiaVerified email at microsoft.com
Zoran PopovicProfessor of Computer Science, Director Center for Game Science, University of WashingtonVerified email at cs.washington.edu
Amey KarkareFaculty, Department of Computer Science, IIT KanpurVerified email at iitk.ac.in
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Aditya Krishna MenonResearch Scientist, GoogleVerified email at google.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu