| 2003 | AMIA | Secure De-identification and Re-identification. | William Landi, R. Bharat Rao |
| 1999 | ICSE | An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi |
| 1999 | POPL | Relevant Context Inference. | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1998 | ESOP | Complexity of Concrete Type-Inference in the Presence of Exceptions. | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1998 | ISSTA | Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
| 1997 | ICSE | Incremental Analysis of Side Effects for C Software System. | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks |
| 1995 | POPL | An Extended Form of Must Alias Analysis for Dynamic Allocation. | Rita Z. Altucher, William Landi |
| 1993 | PLDI | Interprocedural Side Effect Analysis With Pointer Aliasing. | William Landi, Barbara G. Ryder, Sean Zhang |
| 1992 | PLDI | A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. | William Landi, Barbara G. Ryder |
| 1992 | PLDI | A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) | William Landi, Barbara G. Ryder |
| 1991 | ISSTA | Interprocedural Def-Use Associations in C Programs. | Hemant D. Pande, William Landi |
| 1991 | POPL | Pointer-Induced Aliasing: A Problem Classification. | William Landi, Barbara G. Ryder |