Profiling an Incremental Data Flow Analysis Algorithm. - Barbara G. Ryder; William Landi; Hemant D. Pande (IEEE Trans. Software Eng., 1990)

Interprocedural Def-Use Associations in C Programs. - Hemant D. Pande; William Landi (Symposium on Testing, Analysis, and Verification, 1991)

Pointer-Induced Aliasing: A Problem Classification. - William Landi; Barbara G. Ryder (POPL, 1991)

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. - William Landi; Barbara G. Ryder (PLDI, 1992)

A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) - William Landi; Barbara G. Ryder (Best of PLDI, 1992)

Undecidability of Static Analysis. - William Landi (LOPLAS, 1992)

Interprocedural Side Effect Analysis With Pointer Aliasing. - William Landi; Barbara G. Ryder; Sean Zhang (PLDI, 1993)

Pointer-Induced Aliasing: A Clarification. - Thomas J. Marlowe; Jong-Deok Choi; William Landi; Michael G. Burke; Barbara G. Ryder; Paul R. Carini (ACM SIGPLAN Notices, 1993)

Interprocedural Def-Use Associations for C Systems with Single Level Pointers. - Hemant D. Pande; William Landi; Barbara G. Ryder (IEEE Trans. Software Eng., 1994)

An Extended Form of Must Alias Analysis for Dynamic Allocation. - Rita Z. Altucher; William Landi (POPL, 1995)

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. - Sean Zhang; Barbara G. Ryder; William Landi (SIGSOFT FSE, 1996)

Incremental Analysis of Side Effects for C Software System. - Jyh-Shiarn Yur; Barbara G. Ryder; William Landi; Phil Stocks (ICSE, 1997)

Complexity of Concrete Type-Inference in the Presence of Exceptions. - Ramkrishna Chatterjee; Barbara G. Ryder; William Landi (ESOP, 1998)

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. - Phil Stocks; Barbara G. Ryder; William Landi; Sean Zhang (ISSTA, 1998)

Experiments with Combined Analysis for Pointer Aliasing. - Sean Zhang; Barbara G. Ryder; William Landi (PASTE, 1998)

Data-Flow Analysis of Program Fragments. - Atanas Rountev; Barbara G. Ryder; William Landi (ESEC / SIGSOFT FSE, 1999)

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. - Jyh-Shiarn Yur; Barbara G. Ryder; William Landi (ICSE, 1999)

Relevant Context Inference. - Ramkrishna Chatterjee; Barbara G. Ryder; William Landi (POPL, 1999)

A schema for interprocedural modification side-effect analysis with pointer aliasing. - Barbara G. Ryder; William Landi; Phil Stocks; Sean Zhang; Rita Z. Altucher (ACM Trans. Program. Lang. Syst., 2001)

Complexity of Points-To Analysis of Java in the Presence of Exceptions. - Ramkrishna Chatterjee; Barbara G. Ryder; William Landi (IEEE Trans. Software Eng., 2001)

Secure De-identification and Re-identification. - William Landi; R. Bharat Rao (AMIA, 2003)