William Landi

Publication Activity (10 Years)

Years Active: 1990-2003
Publications (10 Years): 0

Publications

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