Travelled to:
2 × USA
Collaborated with:
L.J.Hendren A.Nicolau
Talks about:
data (3) structur (2) pointer (2) abstract (1) program (1) general (1) analysi (1) recurs (1) improv (1) depend (1)
Person: Joseph Hummel
DBLP: Hummel:Joseph
Contributed to:
Wrote 2 papers:
- PLDI-1994-HummelHN #data flow #data type #dependence #pointer
- A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.
- PLDI-1992-HendrenHN #abstraction #analysis #data type #imperative #pointer #recursion #source code
- Abstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs (LJH, JH, AN), pp. 249–260.