Greg Morrisett's AcademicInfluence.com Rankings Greg Morrisett's Degrees Similar Degrees You Can Earn Why Is Greg Morrisett Influential? (Suggest an Edit or Addition)
According to Wikipedia , John Gregory Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech. He previously was Dean of the Faculty of Computing and Information Science at Cornell University. Morrisett was the Allen B. Cutting Professor of Computer Science in the Harvard School of Engineering and Applied Sciences prior to his position at Cornell.
(See a Problem?) Greg Morrisett's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
2000 2010 2020 0 25 50 75 100 125 150 175 200 225 250 275 300 Published Works TALx86: A Realistic Typed Assembly Language∗ (1999) (232)Intensional polymorphism in type-erasure semantics (1998) Compiling with Types (1995) (131)TIL: a type-directed optimizing compiler for ML (1996) CertiCoq : A verified compiler for Coq (2016) (84)Semantics of memory management for polymorphic languages (1999) (48)The TIL/ML Compiler: Performance and Safety through Types (1996) (43)From System F to Typed Assembly Language (Extended Version) (1997) (42)Cyclone : A Type-Safe Dialect of C ∗ (2004) (38)Flask : A Language for Data-driven Sensor Network Programs (2006) (34)Efficient, Verifiable Binary Sandboxing for a CISC Architecture (2005) (27)Security Policy Enforcement by Automated Program-rewriting (2006) (25)WaveScript: A Case-Study in Applying a Distributed Stream-Processing Language (2008) (22)Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2003) Dependent type theory of stateful higher-order functions (2005) (19)TIL: A Type-Directed Optimizing Compiler (1996) (19)Safe and Flexible Memory Management in Cyclone (2003) (19)SAFE: A clean-slate architecture for secure systems (2013) Alias Types for Recursive Data Structures (Extended Version) (2000) (16)Programming with Types (2002) (14)A Linearly Typed Assembly Language (2003) (12)Formal Type Soundness for Cyclone''s Region System (2001) (11)Scalable Certification of Native Code: Experience from Compiling to TALx86 (2000) (10)Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006) Alias Types for Re ursive Data Stru tures ? (2000) (7)Compiling with Non-Parametric Polymorphism (Preliminary Report) (1994) (7)Language-Based Security for Malicious Mobile Code (2007) Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep (1997) (6)Typed Closure Conversion for Recursively-deened Functions (extended Abstract) (1998) (6)Safe and effective contracts (2011) (5)Functional query languages with categorical types (2014) (4)Compiling for Runtime Code Generation (Extended Version) (2000) (4)Cyclone User''s Manual, Version 0.1.3 (2001) (4)Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (2013) Type-theoretic Semantics for Transactional Concurrency (2007) (3)Compiling with Non-Parametric Polymorphism. (1994) A Core Calculus for Equational Proofs of Cryptographic Protocols (2023) Compiling for Runtime Code Generation (2000) (2)Proceedings of the 6th international symposium on Memory management (2007) (2)Exceptionally Available Dynamic IFC (2012) (1)Evolving Academia/Industry Relations in Computing Research. (2019) (1)Towards Compiler-Independent Certifying Compilation (1999) (1)Bidirectional Grammars for Machine-Code Decoding and Encoding (2017) Thesis Proposal: Data Representations and Polymorphic Languages (1993) (0)A Portable Multiprocessor InterfaceforStandard ML of New JerseyJ (1992) (0)Next Generation Systems Languages (2006) Edinburgh Research Explorer A complement to blame (2015) (0)Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007 (2007) Compiling with Non-Parametric Polymorphism ( Preliminary Report ) rYTI ( L (0)Certified Web Services in Ynot The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters (2009) (0)DRAFT LLVM M . D . : A Denotational Translation Validator (2010) (0)Evaluating Value-Graph Translation Validation for (2022) (0)Draft Exceptionally Available Dynamic IFC (2012) (0)LIPIcs, Volume 32, SNAPL'15, Complete Volume (2015) (0)Stack-based Typed Assembly Language The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters (1999) (0)Functional Programming 1 Monadic Regions ∗ (2005) (0)Types, Logics and Semantics for State, 03.02. - 08.02.2008 (2008) (0)Trust in Security-Policy Enforcement Mechanisms (2005) Under Consideration for Publication in J. Functional Programming Monadic Regions * Capsule Review (2005) (0)Ef fi cient , Veri fi able Binary Sandboxing for a CISC Architecture (2005) (0)Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005) Heterogeneous metaprogramming (2011) (0)Toward a verified relational database management system this access benefits you. (2009) (0)Mobile Agents and Systems Principles (1999) More Papers This paper list is powered by the following services:
Other Resources About Greg Morrisett What Schools Are Affiliated With Greg Morrisett? Greg Morrisett is affiliated with the following schools:
