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