Greg Sullivan's publications

Automated Verification of Model-based Programs Under Uncertainty
Tazeen Mahtab, Gregory T. Sullivan, Brian Williams, ISDA 2004, August 2004.
Dynamic Native Optimization for Interpreters
Gregory T. Sullivan, Derek Bruening, Iris Baron, Timothy Garnett, Saman Amarasinghe, ACM Workshop on Interpreters, Virtual Machines and Emulators (IVME'03), San Diego CA, June 2003
The GOF Design Patterns in a Dynamic OO Language
Gregory T. Sullivan, AI Memo 2002-005, March 2002
Slides for a lecture covering this material are available in PDF, or in Powerpoint.
Aspect-Oriented Programming using Reflection (short article)
Gregory T. Sullivan, Communications of the ACM, October 2001
Dynamic Partial Evaluation
Gregory T. Sullivan, Proceedings of Programs as Data Objects 2001, Aarhus, Denmark, May 2001
Denotational Semantics Using an Operationally-Based Term Model
Mitchell Wand, Gregory T. Sullivan, Proceedinds of the 23rd ACM Symposium on Programming Languages, Paris, France, January 1997
Operationally-Based Models of Higher-Order Imperative Programming Languages
Gregory T. Sullivan, Ph.D. Thesis, College of Computer Science, Northeastern University, Boston, MA August 1997

Greg Sullivan
Last modified: Mon May 4 21:07:16 EDT 2009