Rakesh Ghiya

According to our database1, Rakesh Ghiya authored at least 9 papers between 1994 and 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
The FACTS Leaderboard: A Comprehensive Benchmark for Large Language Model Factuality.
CoRR, December, 2025

Gemini Embedding: Generalizable Embeddings from Gemini.
CoRR, March, 2025

2001
On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

1998
Putting Pointer Analysis to Work.
Proceedings of the POPL '98, 1998

Detecting Parallelism in C Programs with Recursive Darta Structures.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1997
Heap Analysis and Optimizations for Threaded Programs.
Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), 1997

1996
Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995
Connection Analysis: A Practical Interprocedural Heap Analysis for C.
Proceedings of the Languages and Compilers for Parallel Computing, 1995

1994
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994


  Loading...