Rakesh Ghiya
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Logic, programming, and type systems, Security and Verification in Computing, Multimodal Machine Learning Applications
Most-Cited Works
- → Context-sensitive interprocedural points-to analysis in the presence of function pointers(1994)568 cited
- → Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C(1996)283 cited
- → Putting pointer analysis to work(1998)130 cited
- → On the importance of points-to analysis and other memory disambiguation methods for C programs(2001)90 cited
- → Connection Analysis: A Practical Interprocedural Heap Analysis for C(1996)67 cited
- → Detecting parallelism in C programs with recursive data structures(1998)43 cited
- → Heap analysis and optimizations for threaded programs(1997)20 cited
- Is it a Tree, a DAG, or a Cyclic Graph?(1996)