| Automatically patching errors in deployed software JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 506 | 2009 |
| Aspect-oriented programming using reflection and metaobject protocols GT Sullivan Communications of the ACM 44 (10), 95-97, 2001 | 128 | 2001 |
| Model-based programming of fault-aware systems BC Williams, MD Ingham, S Chung, P Elliott, M Hofbaur, GT Sullivan AI Magazine 24 (4), 61, 2003 | 90 | 2003 |
| Dynamic native optimization of interpreters GT Sullivan, DL Bruening, I Baron, T Garnett, S Amarasinghe Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003 | 83 | 2003 |
| Hardware support for safety interlocks and introspection U Dhawan, A Kwon, E Kadric, C Hritcu, BC Pierce, JM Smith, A DeHon, ... Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2012 IEEE Sixth …, 2012 | 30 | 2012 |
| Dynamic partial evaluation GT Sullivan Programs as Data Objects, 238-256, 2001 | 28 | 2001 |
| Preliminary design of the SAFE platform A DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ... Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011 | 26 | 2011 |
| The Dover inherently secure processor GT Sullivan, A DeHon, S Milburn, E Boling, M Ciaffi, J Rosenberg, ... Technologies for Homeland Security (HST), 2017 IEEE International Symposium …, 2017 | 24 | 2017 |
| SAFE: A clean-slate architecture for secure systems S Chiricescu, A DeHon, D Demange, S Iyer, A Kliger, G Morrisett, ... Technologies for Homeland Security (HST), 2013 IEEE International Conference …, 2013 | 23 | 2013 |
| Advanced Programming Language Features for Executable Design Patterns" Better Patterns Through Reflection GT Sullivan | 18 | 2002 |
| Denotational semantics using an operationally-based term model M Wand, GT Sullivan Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 16 | 1997 |
| DOVER: A Metadata-Extended RISC-V A DeHon, E Boling, R Nikhil, D Rad, J Schwarz, N Sharma, J Stoy, ... RisC-V Workshop, 2016 | 9 | 2016 |
| Automatic correction of program logic JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ... US Patent 8,788,884, 2014 | 9 | 2014 |
| Advanced Programming Language Features for Executable Design Patterns. Lab Memo GT Sullivan MIT Artificial Intelligence Laboratory, number AIM-2002-005, 2002 | 6 | 2002 |
| Safe security proxy HB REUBENSTEIN, G Sullivan, D Wittenberg US Patent App. 15/260,726, 2016 | 5 | 2016 |
| Self-defending software: Automatically patching security vulnerabilities J Perkins, SH Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ... the 21st ACM Symposium on Operating Systems Principles (SOSP 2009), 2009 | 2 | 2009 |
| A little goes a long way: A simple tool to support denotational compiler-correctness proofs M Wand, GT Sullivan preparation, 1994 | 2 | 1994 |
| Advanced Programming Language Technology for Reflective, Dynamic, Adaptive Software GT Sullivan, JR Bachrach | 2 | |
| Operationally-Based Models of Higher-Order Imperative Programming Languages GT Sullivan Northeastern University, 1997 | 1 | 1997 |
| Incremental lambda lifting: An exercise in almost-denotational semantics GT Sullivan, M Wand Proceedings of the 1997 ACM SIGPLAN International Conference on Functional …, 1996 | 1 | 1996 |
