Rakesh Ghiya

A practical context-sensitive interprocedurai anasysls framework for c compilers

Laurie Hendren, Maryam Emami, Rakesh Ghiya, 1993 .

Practical Techniques For Interprocedural Heap Analysis

Rakesh Ghiya, 1996 .

Detecting Parallelism in C Programs with Recursive Darta Structures

Laurie J. Hendren, Yingchun Zhu, Rakesh Ghiya, 1998, CC.

Context-sensitive interprocedural points-to analysis in the presence of function pointers

Laurie J. Hendren, Maryam Emami, Rakesh Ghiya, 1994, PLDI '94.

Connection Analysis: A Practical Interprocedural Heap Analysis for C

Laurie J. Hendren, Rakesh Ghiya, 2016, International Journal of Parallel Programming.

Heap analysis and optimizations for threaded programs

Guang R. Gao, Laurie J. Hendren, Xinan Tang, 1997, Proceedings 1997 International Conference on Parallel Architectures and Compilation Techniques.

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

Laurie J. Hendren, Rakesh Ghiya, L. Hendren, 1996, POPL '96.

On the importance of points-to analysis and other memory disambiguation methods for C programs

David C. Sehr, Daniel M. Lavery, Rakesh Ghiya, 2001, PLDI '01.

Putting pointer analysis to work

Laurie J. Hendren, Rakesh Ghiya, L. Hendren, 1998, POPL '98.

Connection Analysis: A Practical Interprocedural Heap Analysis for C

Laurie J. Hendren, Rakesh Ghiya, L. Hendren, 1996, International Journal of Parallel Programming.