Practical aspects of symbolic integration over Q(x). - David M. Gillies; Bruce W. Char (EUROCAL, 1987)

Global Predicate Analysis and Its Application to Register Allocation. - David M. Gillies; Roy Dz-Ching Ju; Richard Johnson; Michael S. Schlansker (MICRO, 1996)

Translating Out of Static Single Assignment Form. - Vugranam C. Sreedhar; Roy Dz-Ching Ju; David M. Gillies; Vatsa Santhanam (SAS, 1999)