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 | 1180 | 1999 |
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 | 1114 | 2002 |
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 | 537 | 2002 |
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 | 479 | 1996 |
Compiling polymorphism using intensional type analysis R Harper, G Morrisett Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 425 | 1995 |
Attacking malicious code: A report to the infosec research council G McGraw, G Morrisett IEEE software 17 (5), 33-41, 2000 | 393 | 2000 |
Alias types F Smith, D Walker, G Morrisett European Symposium on Programming, 366-381, 2000 | 338 | 2000 |
The regiment macroprogramming system R Newton, G Morrisett, M Welsh Proceedings of the 6th international conference on Information processing in …, 2007 | 328 | 2007 |
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 | 318 | 1999 |
Computability classes for enforcement mechanisms KW Hamlen, G Morrisett, FB Schneider ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (1), 175-205, 2006 | 313 | 2006 |
Evaluating SFI for a CISC Architecture. S McCamant, G Morrisett USENIX Security Symposium 10, 209-224, 2006 | 311 | 2006 |
Typed closure conversion Y Minamide, G Morrisett, R Harper Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on principles of …, 1996 | 289 | 1996 |
Alias types for recursive data structures D Walker, G Morrisett International Workshop on Types in Compilation, 177-206, 2000 | 262 | 2000 |
A language-based approach to security FB Schneider, G Morrisett, R Harper Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001 | 260 | 2001 |
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 | 205 | 2008 |
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 | 200 | 2012 |
Polymorphism and separation in hoare type theory A Nanevski, G Morrisett, L Birkedal Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006 | 184 | 2006 |
Stack-based typed assembly language G Morrisett, K Crary, N Glew, D Walker International Workshop on Types in Compilation, 28-52, 1998 | 175 | 1998 |
Hoare type theory, polymorphism and separation1 A Nanevski, G Morrisett, L Birkedal Journal of Functional Programming 18 (5-6), 865-911, 2008 | 174 | 2008 |
Abstract models of memory management G Morrisett, M Felleisen, R Harper Proceedings of the seventh international conference on Functional …, 1995 | 170 | 1995 |