Get my own profile
Public access
View all65 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonVerified email at cs.wisc.edu
- Mihai ChristodorescuGoogleVerified email at christodorescu.org
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
- Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
- Barton MillerVilas Distinguished Achievement Professor, University of Wisconsin-MadisonVerified email at cs.wisc.edu
- Vinod GanapathyProfessor of Computer Science, Indian Institute of Science BangaloreVerified email at iisc.ac.in
- Thomas RistenpartProfessor of Computer Science, Cornell TechVerified email at cornell.edu
- Vinod YegneswaranPrincipal Computer Scientist, SRI InternationalVerified email at csl.sri.com
- Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
- Paul BarfordProfessor of Computer Science, University of Wisconsin - MadisonVerified email at cs.wisc.edu
- Onn ShehoryBar Ilan UniversityVerified email at biu.ac.il
- Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
- Yves Le TraonProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
- Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
- David BrumleyComputer Science, Carnegie Mellon UniversityVerified email at cmu.edu
- Jacques KleinUniversity of Luxembourg / SnTVerified email at uni.lu
- Wenke LeeJohn P. Imlay Jr. Chair and Professor of Computer Science at Georgia TechVerified email at cc.gatech.edu
Follow