Travelled to:1 × France
1 × Portugal
2 × Canada
9 × USA
Collaborated with:B.G.Ryder S.Zhang R.Chatterjee J.Yur P.Stocks R.Altucher H.D.Pande A.Rountev
Talks about:pointer (7) alias (7) analysi (6) interprocedur (4) program (3) context (3) effect (3) side (3) flow (3) increment (2)
Person: William Landi
DBLP: Landi:William
Contributed to:
1999
1999
1999
1998
1998
19981997
19961995
19931992199219911991Wrote 14 papers:
- ESEC-FSE-1999-RountevRL #analysis #data flow
- Data-Flow Analysis of Program Fragments (AR, BGR, WL), pp. 235–252.
- ICSE-1999-YurRL #alias #analysis #incremental #pointer
- An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis (JSY, BGR, WL), pp. 442–451.
- POPL-1999-ChatterjeeRL
- Relevant Context Inference (RC, BGR, WL), pp. 133–146.
- ESOP-1998-ChatterjeeRL #complexity #exception
- Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.
- 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.
- ICSE-1997-YurRLS #analysis #c #incremental
- Incremental Analysis of Side Effects for C Software System (JSY, BGR, WL, PS), pp. 422–432.
- FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards
- Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.
- POPL-1995-AltucherL #alias #analysis
- An Extended Form of Must Alias Analysis for Dynamic Allocation (RA, WL), pp. 74–84.
- PLDI-1993-LandiRZ #alias #analysis #interprocedural #pointer
- Interprocedural Side Effect Analysis With Pointer Aliasing (WL, BGR, SZ), pp. 56–67.
- Best-of-PLDI-1992-LandiR92a #algorithm #alias #approximate #interprocedural #pointer
- A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) (WL, BGR), pp. 473–489.
- PLDI-1992-LandiR #algorithm #alias #approximate #interprocedural #pointer
- A Safe Approximate Algorithm for Interprocedural Pointer Aliasing (WL, BGR), pp. 235–248.
- POPL-1991-LandiR #alias #classification #pointer #problem
- Pointer-Induced Aliasing: A Problem Classification (WL, BGR), pp. 93–103.
- TAV-1991-PandeL #c #interprocedural #source code
- Interprocedural Def-Use Associations in C Programs (HDP, WL), pp. 139–153.