Greg Morrisett
Greg Morrisett
Dean and Professor, Cornell University
Verified email at cornell.edu - Homepage
TitleCited byYear
From System F to typed assembly language
G Morrisett, D Walker, K Crary, N Glew
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999
10531999
Cyclone: A Safe Dialect of C.
T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang
USENIX Annual Technical Conference, General Track, 275-288, 2002
8692002
Region-based memory management in Cyclone
D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
ACM Sigplan Notices 37 (5), 282-293, 2002
4442002
TIL: A type-directed optimizing compiler for ML
D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee
ACM Sigplan Notices 31 (5), 181-192, 1996
4361996
Compiling polymorphism using intensional type analysis
R Harper, G Morrisett
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
4001995
Alias types
F Smith, D Walker, G Morrisett
European Symposium on Programming, 366-381, 2000
2982000
Attacking malicious code: A report to the Infosec Research Council
G McGraw, G Morrisett
IEEE software 17 (5), 33-41, 2000
2812000
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
2007 6th International Symposium on Information Processing in Sensor …, 2007
2802007
Typed memory management in a calculus of capabilities
K Crary, D Walker, G Morrisett
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
2751999
Computability classes for enforcement mechanisms
KW Hamlen, G Morrisett, FB Schneider
Cornell University, 2003
2532003
Typed closure conversion
Y Minamide, G Morrisett, R Harper
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996
2511996
Alias types for recursive data structures
D Walker, G Morrisett
International Workshop on Types in Compilation, 177-206, 2000
2402000
Evaluating SFI for a CISC Architecture.
S McCamant, G Morrisett
USENIX Security Symposium, 2006
2392006
A language-based approach to security
FB Schneider, G Morrisett, R Harper
Informatics, 86-101, 2001
2362001
Ynot: dependent types for imperative programs
A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
ACM Sigplan Notices 43 (9), 229-240, 2008
1592008
Stack-based typed assembly language
G Morrisett, K Crary, N Glew, D Walker
International Workshop on Types in Compilation, 28-52, 1998
1591998
Abstract Models of Memory Management.
G Morrisett, M Felleisen, R Harper
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 1995
1531995
Polymorphism and separation in hoare type theory
A Nanevski, G Morrisett, L Birkedal
ACM SIGPLAN Notices 41 (9), 62-73, 2006
1502006
Intensional polymorphism in type-erasure semantics
K Crary, S Weirich, G Morrisett
ACM SIGPLAN Notices 34 (1), 301-312, 1998
1471998
Compiling with types
G Morrisett
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1995
1441995
The system can't perform the operation now. Try again later.
Articles 1–20