Greg Morrisett

Affiliations: 
Cornell University, Ithaca, NY, United States 
 Harvard University, Cambridge, MA, United States 
Google:
"Greg Morrisett"

Parents

Sign in to add mentor
Robert Harper grad student 1995 Carnegie Mellon
 (Compiling with Types)

Children

Sign in to add trainee
David Walker grad student 2001 Cornell
Dan Grossman grad student 2003 Cornell
James R. Cheney grad student 2004 Cornell
Kevin Hamlen grad student 2006 Cornell
Matthew Fluet grad student 2007 Cornell
Geoffrey B. Mainland grad student 2011 Harvard
Avraham E. Shinnar grad student 2011 Harvard
Ryan Wisnesky grad student 2014 Harvard
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Huang D, Morrisett G. (2016) An application of computable distributions to the semantics of probabilistic programming languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 337-363
Petcher A, Morrisett G. (2015) A Mechanized Proof of Security for Searchable Symmetric Encryption Proceedings of the Computer Security Foundations Workshop. 2015: 481-494
Petcher A, Morrisett G. (2015) The foundational cryptography framework Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9036: 53-72
Sun M, Tan G, Siefers J, et al. (2013) Bringing Java's wild native world under control Acm Transactions On Information and System Security. 16
Chiricescu S, Dehon A, Demange D, et al. (2013) SAFE: A clean-slate architecture for secure systems 2013 Ieee International Conference On Technologies For Homeland Security, Hst 2013. 570-576
Hriţcu C, Greenberg M, Karel B, et al. (2013) All your IFCException are belong to us Proceedings - Ieee Symposium On Security and Privacy. 3-17
Randles AP, Rand DG, Lee C, et al. (2013) Massively parallel model of extended memory use in evolutionary game dynamics Proceedings - Ieee 27th International Parallel and Distributed Processing Symposium, Ipdps 2013. 1217-1228
Huang D, Morrisett G. (2013) Formalizing the SAFECode type system Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8307: 211-226
Morrisett G, Tan G, Tassarotti J, et al. (2012) RockSalt: Better, faster, stronger SFI for the x86 Acm Sigplan Notices. 47: 395-404
Dhawan U, Kwon A, Kadric E, et al. (2012) Hardware support for safety interlocks and introspection Proceedings - 2012 Ieee 6th International Conference On Self-Adaptive and Self-Organizing Systems Workshops, Sasow 2012. 1-8
See more...