Prolog at the University of Illinois. - Markian M. Gooley; Laxmikant V. Kalé; David A. Padua; Balkrishna Ramkumar; U. S. Reddy; David C. Sehr; Wei Wennie Shu; Benjamin W. Wah (COMPCON, 1988)

OR parallel execution of Prolog programs with side effects. - Laxmikant V. Kalé; David A. Padua; David C. Sehr (J. Supercomput., 1988)

Fortran-Style Transformations for Functional Programs. - David C. Sehr; Laxmikant V. Kalé; David A. Padua (ICPP (2), 1991)

Estimating the Ingerent Parallelism in Prolog Programs. - David C. Sehr; Laxmikant V. Kalé (FGCS, 1992)

Loop Transformations for Prolog Programs. - David C. Sehr; Laxmikant V. Kalé; David A. Padua (LCPC, 1993)

Guest Editor's Introduction. - David C. Sehr (Int. J. Parallel Program., 1998)

An Advanced Optimizer for the IA-64 Architecture. - Rakesh Krishnaiyer; Dattatraya Kulkarni; Daniel M. Lavery; Wei Li 015; Chu-Cheow Lim; John Ng; David C. Sehr (IEEE Micro, 2000)

On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs. - Rakesh Ghiya; Daniel M. Lavery; David C. Sehr (PLDI, 2001)

The compiler as a validation and evaluation tool. - Gerolf Hoflehner; Daniel M. Lavery; David C. Sehr (COCV@ETAPS, 2003)