Get my own profile
Public access
View all30 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