Denotational Semantics Using an Operationally-Based Term Model. - Mitchell Wand; Gregory T. Sullivan (POPL, 1997)

Dynamic Partial Evaluation. - Gregory T. Sullivan (PADO, 2001)

Aspect-oriented programming using reflection and metaobject protocols. - Gregory T. Sullivan (Commun. ACM, 2001)

Dynamic native optimization of interpreters. - Gregory T. Sullivan; Derek Bruening; Iris Baron; Timothy Garnett; Saman P. Amarasinghe (IVME, 2003)

Model-Based Programming of Fault-Aware Systems. - Brian C. Williams; Michel D. Ingham; Seung Chung; Paul Elliott; Michael W. Hofbaur; Gregory T. Sullivan (AI Mag., 2004)

Automatically patching errors in deployed software. - Jeff H. Perkins; Sunghun Kim 001; Samuel Larsen; Saman P. Amarasinghe; Jonathan Bachrach; Michael Carbin; Carlos Pacheco; Frank Sherwood; Stelios Sidiroglou; Gregory T. Sullivan; Weng-Fai Wong; Yoav Zibin; et al. (SOSP, 2009)