BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
4 × USA
Collaborated with:
L.J.Hendren D.M.Lavery D.C.Sehr Y.Zhu M.Emami
Talks about:
analysi (4) pointer (3) program (2) point (2) interprocedur (1) disambigu (1) structur (1) parallel (1) function (1) presenc (1)

Person: Rakesh Ghiya

DBLP DBLP: Ghiya:Rakesh

Contributed to:

PLDI 20012001
CC 19981998
POPL 19981998
POPL 19961996
PLDI 19941994

Wrote 5 papers:

PLDI-2001-GhiyaLS #ambiguity #analysis #c #memory management #on the #points-to #source code
On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs (RG, DML, DCS), pp. 47–58.
CC-1998-GhiyaHZ #c #detection #parallel #recursion #source code
Detecting Parallelism in C Programs with Recursive Darta Structures (RG, LJH, YZ), pp. 159–173.
POPL-1998-GhiyaH #analysis #pointer
Putting Pointer Analysis to Work (RG, LJH), pp. 121–133.
POPL-1996-GhiyaH #analysis #c #graph #pointer
Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.
PLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.