Travelled to:
1 × Canada
3 × USA
Collaborated with:
B.G.Ryder W.Landi P.Stocks
Talks about:
pointer (3) alias (3) analysi (2) effect (2) side (2) interprocedur (1) decomposit (1) program (1) problem (1) practic (1)
Person: Sean Zhang
DBLP: Zhang:Sean
Contributed to:
Wrote 4 papers:
- ISSTA-1998-StocksRLZ #context-sensitive grammar #problem
- Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem (PS, BGR, WL, SZ), pp. 21–31.
- PASTE-1998-ZhangRL #alias #analysis #pointer
- Experiments with Combined Analysis for Pointer Aliasing (SZ, BGR, WL), pp. 11–18.
- FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards
- Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.
- PLDI-1993-LandiRZ #alias #analysis #interprocedural #pointer
- Interprocedural Side Effect Analysis With Pointer Aliasing (WL, BGR, SZ), pp. 56–67.