| 2001 |
|---|
| 20 | 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) |
| 19 | EE | Ramkrishna Chatterjee,
Barbara G. Ryder,
William Landi:
Complexity of Points-To Analysis of Java in the Presence of Exceptions.
IEEE Trans. Software Eng. 27(6): 481-512 (2001) |
| 1999 |
|---|
| 18 | EE | Atanas Rountev,
Barbara G. Ryder,
William Landi:
Data-Flow Analysis of Program Fragments.
ESEC / SIGSOFT FSE 1999: 235-252 |
| 17 | EE | Jyh-Shiarn Yur,
Barbara G. Ryder,
William Landi:
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.
ICSE 1999: 442-451 |
| 16 | EE | Ramkrishna Chatterjee,
Barbara G. Ryder,
William Landi:
Relevant Context Inference.
POPL 1999: 133-146 |
| 1998 |
|---|
| 15 | EE | Ramkrishna Chatterjee,
Barbara G. Ryder,
William Landi:
Complexity of Concrete Type-Inference in the Presence of Exceptions.
ESOP 1998: 57-74 |
| 14 | 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 |
| 13 | EE | Sean Zhang,
Barbara G. Ryder,
William Landi:
Experiments with Combined Analysis for Pointer Aliasing.
PASTE 1998: 11-18 |
| 1997 |
|---|
| 12 | EE | Jyh-Shiarn Yur,
Barbara G. Ryder,
William Landi,
Phil Stocks:
Incremental Analysis of Side Effects for C Software System.
ICSE 1997: 422-432 |
| 1996 |
|---|
| 11 | EE | Sean Zhang,
Barbara G. Ryder,
William Landi:
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
SIGSOFT FSE 1996: 81-92 |
| 1995 |
|---|
| 10 | | Rita Altucher,
William Landi:
An Extended Form of Must Alias Analysis for Dynamic Allocation.
POPL 1995: 74-84 |
| 1994 |
|---|
| 9 | EE | Hemant D. Pande,
William Landi,
Barbara G. Ryder:
Interprocedural Def-Use Associations for C Systems with Single Level Pointers.
IEEE Trans. Software Eng. 20(5): 385-403 (1994) |
| 1993 |
|---|
| 8 | | William Landi,
Barbara G. Ryder,
Sean Zhang:
Interprocedural Side Effect Analysis With Pointer Aliasing.
PLDI 1993: 56-67 |
| 7 | | Thomas J. Marlowe,
Jong-Deok Choi,
William Landi,
Michael G. Burke,
Barbara G. Ryder,
Paul R. Carini:
Pointer-Induced Aliasing: A Clarification.
SIGPLAN Notices 28(9): 67-70 (1993) |
| 1992 |
|---|
| 6 | EE | William Landi,
Barbara G. Ryder:
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
Best of PLDI 1992: 473-489 |
| 5 | | William Landi,
Barbara G. Ryder:
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.
PLDI 1992: 235-248 |
| 4 | | William Landi:
Undecidability of Static Analysis.
LOPLAS 1(4): 323-337 (1992) |
| 1991 |
|---|
| 3 | | William Landi,
Barbara G. Ryder:
Pointer-Induced Aliasing: A Problem Classification.
POPL 1991: 93-103 |
| 2 | EE | Hemant D. Pande,
William Landi:
Interprocedural Def-Use Associations in C Programs.
Symposium on Testing, Analysis, and Verification 1991: 139-153 |
| 1990 |
|---|
| 1 | EE | Barbara G. Ryder,
William Landi,
Hemant D. Pande:
Profiling an Incremental Data Flow Analysis Algorithm.
IEEE Trans. Software Eng. 16(2): 129-140 (1990) |
