☰

Gregory Morrisett

Affiliations: 
Cornell University, Ithaca, NY, United States 
Area:
Computer Science
Google:
"Gregory Morrisett"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Jeannette M. Wing grad student 1995 Carnegie Mellon
 (Compiling with Types)

Children

Sign in to add trainee
Frederick M. Smith grad student 2002 Cornell
Stephanie Weirich grad student 2002 Cornell

Collaborators

Sign in to add collaborator
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. (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
Mainland G, Morrisett G. (2010) Nikola: Embedding compiled GPU functions in Haskell Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 67-77
Morrisett G. (2010) Integrating types and specifications for secure software development Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6258: 32-35
Chlipala A, Malecha G, Morrisett G, et al. (2009) Effective interactive proofs for higher-order imperative programs Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 79-90
Nanevski A, Govereau P, Morrisett G. (2009) Towards Type-theoretic semantics for transactional concurrency Proceedings of the 2009 Acm Sigplan Workshop On Types in Language Design and Implementation, Tldi'09. 79-90
Nanevski A, Morrisett G, Shinnar A, et al. (2008) Ynot: Dependent types for imperative programs Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 229-240
Nanevski A, Morrisett G, Birkedal L. (2008) Hoare type theory, polymorphism and separation Journal of Functional Programming. 18: 865-911
Petersen RL, Birkedal L, Nanevski A, et al. (2008) A realizability model for impredicative Hoare Type Theory Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4960: 337-352
Tan G, Morrisett G. (2007) ILEA: Inter-language analysis across java and c Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 39-56
Ahmed A, Fluet M, Morrisett G. (2007) L3: A linear language with locations Fundamenta Informaticae. 77: 397-449
See more...