Παρακολούθηση
Greg Morrisett
Greg Morrisett
Dean and Professor, Cornell University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cornell.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
11731999
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
11022002
Region-based memory management in Cyclone
D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
5312002
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
4771996
Compiling polymorphism using intensional type analysis
R Harper, G Morrisett
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
4251995
Attacking malicious code: A report to the infosec research council
G McGraw, G Morrisett
IEEE software 17 (5), 33-41, 2000
3872000
Alias types
F Smith, D Walker, G Morrisett
European Symposium on Programming, 366-381, 2000
3382000
The regiment macroprogramming system
R Newton, G Morrisett, M Welsh
Proceedings of the 6th international conference on Information processing in …, 2007
3262007
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
3151999
Computability classes for enforcement mechanisms
KW Hamlen, G Morrisett, FB Schneider
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (1), 175-205, 2006
3132006
Evaluating SFI for a CISC Architecture.
S McCamant, G Morrisett
USENIX Security Symposium 10, 209-224, 2006
3082006
Typed closure conversion
Y Minamide, G Morrisett, R Harper
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on principles of …, 1996
2871996
Alias types for recursive data structures
D Walker, G Morrisett
International Workshop on Types in Compilation, 177-206, 2000
2622000
A language-based approach to security
FB Schneider, G Morrisett, R Harper
Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001
2582001
Ynot: dependent types for imperative programs
A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
2022008
RockSalt: better, faster, stronger SFI for the x86
G Morrisett, G Tan, J Tassarotti, JB Tristan, E Gan
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1982012
Polymorphism and separation in hoare type theory
A Nanevski, G Morrisett, L Birkedal
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
1842006
Stack-based typed assembly language
G Morrisett, K Crary, N Glew, D Walker
International Workshop on Types in Compilation, 28-52, 1998
1741998
Hoare type theory, polymorphism and separation1
A Nanevski, G Morrisett, L Birkedal
Journal of Functional Programming 18 (5-6), 865-911, 2008
1732008
Abstract models of memory management
G Morrisett, M Felleisen, R Harper
Proceedings of the seventh international conference on Functional …, 1995
1681995
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20