Követés
Greg Sullivan
Greg Sullivan
Dover Microsystems
E-mail megerősítve itt: sulliwood.org - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
5132009
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
902003
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
832003
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
292012
Dynamic partial evaluation
GT Sullivan
Programs as Data Objects, 238-256, 2001
282001
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
262011
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
252017
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
242013
Advanced Programming Language Features for Executable Design Patterns" Better Patterns Through Reflection
GT Sullivan
182002
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
DOVER: A Metadata-Extended RISC-V
A DeHon, E Boling, R Nikhil, D Rad, J Schwarz, N Sharma, J Stoy, ...
RisC-V Workshop, 2016
102016
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
Safe security proxy
HB REUBENSTEIN, G Sullivan, D Wittenberg
US Patent App. 15/260,726, 2016
62016
Advanced Programming Language Features for Executable Design Patterns. Lab Memo
GT Sullivan
MIT Artificial Intelligence Laboratory, number AIM-2002-005, 2002
62002
A little goes a long way: A simple tool to support denotational compiler-correctness proofs
M Wand, GT Sullivan
preparation, 1994
31994
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
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20