Greg Sullivan
Greg Sullivan
Dover Microsystems
Bestätigte E-Mail-Adresse bei sulliwood.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4232009
Aspect-oriented programming using reflection and metaobject protocols
GT Sullivan
Communications of the ACM 44 (10), 95-97, 2001
1252001
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
752003
Dynamic partial evaluation
GT Sullivan
Programs as Data Objects, 238-256, 2001
272001
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
252011
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
222013
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
222012
Denotational semantics using an operationally-based term model
M Wand, GT Sullivan
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
171997
Advanced Programming Language Features for Executable Design Patterns" Better Patterns Through Reflection
GT Sullivan
142002
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
DOVER: A Metadata-Extended RISC-V
A DeHon, E Boling, R Nikhil, D Rad, J Schwarz, N Sharma, J Stoy, ...
RisC-V Workshop, 2016
82016
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
62017
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
22016
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
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
Advanced Programming Language Technology for Reflective, Dynamic, Adaptive Software
GT Sullivan, JR Bachrach
1
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20