David C. Sehr

According to our database, David C. Sehr authored at least 9 papers between 1988 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

The compiler as a validation and evaluation tool.

Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2001

On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs.

Rakesh Ghiya, Daniel M. Lavery, David C. Sehr

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

An Advanced Optimizer for the IA-64 Architecture.

Rakesh Krishnaiyer, Dattatraya Kulkarni, Daniel M. Lavery, Wei Li, Chu-Cheow Lim, John Ng, David C. Sehr

IEEE Micro, 2000

1998

Guest Editor's Introduction.

David C. Sehr

Int. J. Parallel Program., 1998

1993

Loop Transformations for Prolog Programs.

David C. Sehr, Laxmikant V. Kalé, David A. Padua

Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992

Estimating the Ingerent Parallelism in Prolog Programs.

David C. Sehr, Laxmikant V. Kalé

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Fortran-Style Transformations for Functional Programs.

David C. Sehr, Laxmikant V. Kalé, David A. Padua

Proceedings of the International Conference on Parallel Processing, 1991

1988

OR parallel execution of Prolog programs with side effects.

Laxmikant V. Kalé, David A. Padua, David C. Sehr

J. Supercomput., 1988

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

Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988