Get my own profile
Public access
View all24 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
Thomas RistenpartAssociate Professor of Computer Science, Cornell TechVerified email at cornell.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.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
Emily BlackGraduate Student, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Jason HongCarnegie Mellon UniversityVerified email at cs.cmu.edu
Jeffrey NaughtonCelonisVerified email at celonis.com
Drew DavidsonUniversity of KansasVerified email at ku.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
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