Greg Sullivan
Greg Sullivan
Dover Microsystems
Verified email at sulliwood.org - Homepage
Title
Cited by
Cited by
Year
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
4682009
Aspect-oriented programming using reflection and metaobject protocols
GT Sullivan
Communications of the ACM 44 (10), 95-97, 2001
1272001
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
822003
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
812003
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
282011
Dynamic partial evaluation
GT Sullivan
Programs as Data Objects, 238-256, 2001
272001
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
262012
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
232013
Advanced Programming Language Features for Executable Design Patterns" Better Patterns Through Reflection
GT Sullivan
162002
Denotational semantics using an operationally-based term model
M Wand, GT Sullivan
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
161997
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
152017
DOVER: A Metadata-Extended RISC-V
A DeHon, E Boling, R Nikhil, D Rad, J Schwarz, N Sharma, J Stoy, ...
RisC-V Workshop, 2016
92016
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
Advanced Programming Language Features for Executable Design Patterns. Lab Memo
GT Sullivan
MIT Artificial Intelligence Laboratory, number AIM-2002-005, 2002
62002
Safe security proxy
HB REUBENSTEIN, G Sullivan, D Wittenberg
US Patent App. 15/260,726, 2016
32016
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
22009
A little goes a long way: A simple tool to support denotational compiler-correctness proofs
M Wand, GT Sullivan
preparation, 1994
21994
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
11997
Incremental lambda lifting: An exercise in almost-denotational semantics
GT Sullivan, M Wand
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional …, 1996
11996
The system can't perform the operation now. Try again later.
Articles 1–20