Greg Sullivan
Greg Sullivan
Dover Microsystems
Verified email at - Homepage
Cited by
Cited by
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
Aspect-oriented programming using reflection and metaobject protocols
GT Sullivan
Communications of the ACM 44 (10), 95-97, 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
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
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
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
Dynamic partial evaluation
GT Sullivan
Programs as Data Objects, 238-256, 2001
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
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
Advanced Programming Language Features for Executable Design Patterns" Better Patterns Through Reflection
GT Sullivan
Denotational semantics using an operationally-based term model
M Wand, GT Sullivan
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 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
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
Advanced Programming Language Features for Executable Design Patterns. Lab Memo
GT Sullivan
MIT Artificial Intelligence Laboratory, number AIM-2002-005, 2002
Safe security proxy
HB REUBENSTEIN, G Sullivan, D Wittenberg
US Patent App. 15/260,726, 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
A little goes a long way: A simple tool to support denotational compiler-correctness proofs
M Wand, GT Sullivan
preparation, 1994
Advanced Programming Language Technology for Reflective, Dynamic, Adaptive Software
GT Sullivan, JR Bachrach
Operationally-Based Models of Higher-Order Imperative Programming Languages
GT Sullivan
Northeastern University, 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
The system can't perform the operation now. Try again later.
Articles 1–20