William Landi

21 papers A* 7A 2Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2003 Misc conf
Secure De-identification and Re-identification.
AMIA
William Landi, R. Bharat Rao
2001 J jnl
A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst.
Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher
2001 J jnl
Complexity of Points-To Analysis of Java in the Presence of Exceptions.
IEEE Trans. Software Eng.
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
1999 A* conf
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.
ICSE
Jyh-Shiarn Yur, Barbara G. Ryder, William Landi
1999 — conf
Data-Flow Analysis of Program Fragments.
ESEC / SIGSOFT FSE
Atanas Rountev, Barbara G. Ryder, William Landi
1999 A* conf
Relevant Context Inference.
POPL
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
1998 A conf
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
ISSTA
Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
1998 A conf
Complexity of Concrete Type-Inference in the Presence of Exceptions.
ESOP
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
1998 — conf
Experiments with Combined Analysis for Pointer Aliasing.
PASTE
Sean Zhang, Barbara G. Ryder, William Landi
1997 A* conf
Incremental Analysis of Side Effects for C Software System.
ICSE
Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks
1996 — conf
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
SIGSOFT FSE
Sean Zhang, Barbara G. Ryder, William Landi
1995 A* conf
An Extended Form of Must Alias Analysis for Dynamic Allocation.
POPL
Rita Z. Altucher, William Landi
1994 J jnl
Interprocedural Def-Use Associations for C Systems with Single Level Pointers.
IEEE Trans. Software Eng.
Hemant D. Pande, William Landi, Barbara G. Ryder
1993 A* conf
Interprocedural Side Effect Analysis With Pointer Aliasing.
PLDI
William Landi, Barbara G. Ryder, Sean Zhang
1993 J jnl
Pointer-Induced Aliasing: A Clarification.
ACM SIGPLAN Notices
Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini
1992 A* conf
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.
PLDI
William Landi, Barbara G. Ryder
1992 — conf
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
Best of PLDI
William Landi, Barbara G. Ryder
1992 J jnl
Undecidability of Static Analysis.
LOPLAS
William Landi
1991 — conf
Interprocedural Def-Use Associations in C Programs.
Symposium on Testing, Analysis, and Verification
Hemant D. Pande, William Landi
1991 A* conf
Pointer-Induced Aliasing: A Problem Classification.
POPL
William Landi, Barbara G. Ryder
1990 J jnl
Profiling an Incremental Data Flow Analysis Algorithm.
IEEE Trans. Software Eng.
Barbara G. Ryder, William Landi, Hemant D. Pande