Skip to main content
PRL Project



next up previous
Next: Stephen A. Vavasis Up: Biographical Sketches Previous: Robert L. Constable

Keshav K. Pingali

KESHAV K. PINGALI


Department of Computer Science,
Upson Hall,
Cornell University,
Ithaca, New York 14853-7501
(607) 255-7203

BRIEF BIOGRAPHY:

Keshav Pingali received a Bachelor of Technology from the Indian Institute of Technology, Kanpur, and the S.M., E.E. and Sc.D. degrees from the Massachusetts Institute of Technology. In 1986, he became an assistant professor in the computer science department at Cornell University. In April 1993, he was promoted to associate professor with tenure.

AWARDS and HONORS:

    ##1##1
  • NSF Presidential Young Investigator's Award 1989-94.

  • IBM Faculty Development Award 1986-87.

  • President's Gold Medal, I.I.T. Kanpur, 1978.

  • Lalit Narain Das Memorial Gold Medal, I.I.T. Kanpur, 1978.

  • National Science Talent Search Scholar, 1973.

  • Listed in American Men and Women of Science.

FIVE RELEVANT PUBLICATIONS:

  1. Solving Alignment with Elementary Linear Algebra. Proceedings of the 7th Annual Workshop on Languages and Compilers for Parallel Computers (LCPC), Ithaca, NY, August 1994, to be published by Springer-Verlag in LNCS series, (with David Bau, Induprakas Kodukula, Vladimir Kotlyar, and Paul Stodghill).

  2. The Program Structure Tree: Computing Control Regions in Linear Time. ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI), June 1994, pages 171-185, (with Richard Johnson and David Pearson).

  3. Access Normalization: Loop restructuring for NUMA Compilers. ACM Transactions on Computer Systems (TOCS), Volume 11, Number 4, pages 353-375, November 1993, (with Wei Li). An earlier version appeared in ASPLOS V where it won the best paper prize.

  4. A Singular Approach to Loop Transformations Based on Non-singular Matrices. International Journal on Parallel Processing (IJPP), Volume 22, Number 2, April 1994, pages 183-205, (with Wei Li). This was an invited paper for a special issue on restructuring compilers.

  5. Dependence-based Program Analysis. ACM SIGPLAN '93 Conference on Programming Language Design and Implementation (PLDI), pages 78-89, June 1993, (with Richard Johnson).

FIVE OTHER PUBLICATIONS:

  1. Compiling for Distributed Memory Machines. IEEE Transactions on Parallel and Distributed Systems, Volume 5, Number 3, March 1994, pages 281-298, (with A. Rogers).

  2. Register Renaming and Dynamic Speculation: an Alternative Approach. Proceedings of the 26th International Symposium on Microarchitecture (MICRO 26), Austin, TX, pages 202-213, December 1993, (with Mayan Moudgill and Stamatis Vassiliadis).

  3. From Control Flow to Dataflow. Journal of Parallel and Distributed Computing (JPDC), Volume 12, pages 118-129, 1991, (with M. Beck and R. Johnson).

  4. `Accumulators --- New Logic Variables Abstractions for Functional Languages' Theoretical Computer Science, Vol. 81, pages 201-221, 1991,(with K. Ekanadham).

  5. Abstract Semantics for a Higher-Order Functional Language with Logic Variables. Proceedings of the 19th Annual ACM Symposium on Principles of Programming Languages (POPL 19), January 1992, (with R. Jagadeesan).

List of Collaborators

Pingali is presently writing a paper with Professor Gianfranco Bilardi of the University of Padova, Italy.

Advisors and Advisees

Pingali's doctoral advisor was Professor Arvind at MIT. He has graduated five doctoral students: Anne Rogers(Princeton), Micah Beck(Knoxville,TN), Wei Li(Rochester), Mayan Moudgill(IBM) and Richard Johnson(HP).



next up previous
Next: Stephen A. Vavasis Up: Biographical Sketches Previous: Robert L. Constable



nuprl project
Tue Nov 21 08:50:14 EST 1995