| 2001 |
|---|
| 5 | EE | Barbara G. Ryder,
William Landi,
Phil Stocks,
Sean Zhang,
Rita Altucher:
A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst. 23(2): 105-186 (2001) |
| 1998 |
|---|
| 4 | EE | Phil Stocks,
Barbara G. Ryder,
William Landi,
Sean Zhang:
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
ISSTA 1998: 21-31 |
| 3 | EE | Sean Zhang,
Barbara G. Ryder,
William Landi:
Experiments with Combined Analysis for Pointer Aliasing.
PASTE 1998: 11-18 |
| 1996 |
|---|
| 2 | EE | Sean Zhang,
Barbara G. Ryder,
William Landi:
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
SIGSOFT FSE 1996: 81-92 |
| 1993 |
|---|
| 1 | | William Landi,
Barbara G. Ryder,
Sean Zhang:
Interprocedural Side Effect Analysis With Pointer Aliasing.
PLDI 1993: 56-67 |
