Get my own profile
Public access
View all54 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonVerified email at cs.wisc.edu
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. 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
Thomas RistenpartAssociate Professor of Computer Science, Cornell TechVerified email at cornell.edu
Vinod GanapathyProfessor of Computer Science, Indian Institute of Science BangaloreVerified email at iisc.ac.in
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
Jacques KleinUniversity of Luxembourg / SnTVerified email at uni.lu
Yves Le TraonProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
David BrumleyComputer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Wenke LeeJohn P. Imlay Jr. Chair and Professor of Computer Science at Georgia TechVerified email at cc.gatech.edu
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Follow