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 McDanielWilliam L. Weiss Professor, Computer Science and Engineering, Penn State UnviersityVerified email at cse.psu.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
Drew DavidsonUniversity of KansasVerified email at ku.edu
Jeffrey NaughtonCelonisVerified email at celonis.com
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
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, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu