Get my own profile
Public access
View all32 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Isil DilligUT AustinVerified email at cs.utexas.edu
Chris JermaineAssociate Professor of Computer Science, Rice UniversityVerified email at cs.rice.edu
Lydia E. KavrakiRice UniversityVerified email at rice.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Abhinav VermaThe Pennsylvania State UniversityVerified email at psu.edu
Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIVerified email at caltech.edu
Vijayaraghavan MuraliFacebookVerified email at fb.com
Neil T. DantamAssociate Professor of Computer Science, Colorado School of MinesVerified email at mines.edu
Armando Solar-LezamaMITVerified email at csail.mit.edu
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.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
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Dipak ChaudhariApplied Research Scientist, Meta Platforms, IncVerified email at fb.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