Get my own profile
Public access
View all27 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
- Zico KolterCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Yuvraj AgarwalAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Emily BlackAssistant Professor of Computer Science, Barnard College, Columbia UniversityVerified email at barnard.edu
- Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
- Jason HongCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
- Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu