Get my own profile
Public access
View all29 articles
1 article
available
not available
Based on funding mandates
Co-authors
Lydia E. KavrakiRice UniversityVerified email at rice.edu
Chris JermaineAssociate Professor of Computer Science, Rice UniversityVerified email at cs.rice.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Vijayaraghavan MuraliFacebookVerified email at fb.com
Abhinav VermaPennsylvania State UniversityVerified email at psu.edu
Yisong YueCalifornia Institute of Technology; Latitude AIVerified email at caltech.edu
Neil T. DantamAssociate Professor of Computer Science, Colorado School of MinesVerified email at mines.edu
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Armando Solar-LezamaMITVerified email at csail.mit.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonVerified email at cs.wisc.edu
William EnckProfessor of Computer Science, North Carolina State UniversityVerified email at ncsu.edu
Damien OcteauGoogleVerified email at google.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Dipak ChaudhariApplied Research Scientist, Meta Platforms, IncVerified email at fb.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Petar TsankovCo-founder & CEO, LatticeFlowVerified email at latticeflow.ai
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verified email at inf.ethz.ch
Matthew MirmanETH ZürichVerified email at inf.ethz.ch
Follow
Swarat Chaudhuri
Professor of Computer Science, The University of Texas at Austin
Verified email at cs.utexas.edu - Homepage