Get my own profile
Co-authors
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
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
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
Jeffrey NaughtonGoogleVerified email at google.com
Yuvraj AgarwalAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jason HongCarnegie Mellon UniversityVerified email at cs.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
Matt Fredrikson
Assistant Professor, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage