Get my own profile
Public access
View all26 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
- Zifan WangCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
- Thomas RistenpartProfessor of Computer Science, Cornell TechVerified email at cornell.edu
- Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
- Shayak SenTruEraVerified email at truera.com
- Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonVerified email at cs.wisc.edu
- Nicolas PapernotUniversity of Toronto and Vector InstituteVerified email at utoronto.ca
- Yuvraj AgarwalAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Zico KolterCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Jason HongCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
- Drew DavidsonUniversity of KansasVerified email at ku.edu
- Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
- John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
- Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu