An operational definition of intermediate code for implementing a portable Ada compiler. - Bill Appelbe; Gary Dismukes (AdaTEC Conference on Ada, 1982)

Implementing Tagged Types and Type Extensions for Ada 9X. - Gary Dismukes; Mike A. Rome (TRI-Ada, 1992)

The GNAT implementation of controlled types. - Cyrille Comar; Gary Dismukes; Franco Gasperoni (TRI-Ada, 1995)

Targeting GNAT to the Java Virtual Machine. - Cyrille Comar; Gary Dismukes; Franco Gasperoni (TRI-Ada, 1997)

The Implementation of Ada 2005 Interface Types in the GNAT Compiler. - Javier Miranda; Edmond Schonberg; Gary Dismukes (Ada-Europe, 2005)