William Landi

According to our database, William Landi authored at least 21 papers between 1990 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Secure De-identification and Re-identification.

William Landi, R. Bharat Rao

Proceedings of the AMIA 2003, 2003

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

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

1999

Relevant Context Inference.

Ramkrishna Chatterjee, Barbara G. Ryder, William Landi

Proceedings of the POPL '99, 1999

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.

Jyh-Shiarn Yur, Barbara G. Ryder, William Landi

Proceedings of the 1999 International Conference on Software Engineering, 1999

Data-Flow Analysis of Program Fragments.

Atanas Rountev, Barbara G. Ryder, William Landi

Proceedings of the Software Engineering, 1999

1998

Experiments with Combined Analysis for Pointer Aliasing.

Sean Zhang, Barbara G. Ryder, William Landi

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.

Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Complexity of Concrete Type-Inference in the Presence of Exceptions.

Ramkrishna Chatterjee, Barbara G. Ryder, William Landi

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

Incremental Analysis of Side Effects for C Software System.

Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks

Proceedings of the Pulling Together, 1997

1996

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.

Sean Zhang, Barbara G. Ryder, William Landi

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

1995

An Extended Form of Must Alias Analysis for Dynamic Allocation.

Rita Z. Altucher, William Landi

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

Interprocedural Def-Use Associations for C Systems with Single Level Pointers.

Hemant D. Pande, William Landi, Barbara G. Ryder

IEEE Trans. Software Eng., 1994

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 Side Effect Analysis With Pointer Aliasing.

William Landi, Barbara G. Ryder, Sean Zhang

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992

Undecidability of Static Analysis.

William Landi

LOPLAS, 1992

A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)

William Landi, Barbara G. Ryder

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1992

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.

William Landi, Barbara G. Ryder

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991

Pointer-Induced Aliasing: A Problem Classification.

William Landi, Barbara G. Ryder

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Interprocedural Def-Use Associations in C Programs.

Hemant D. Pande, William Landi

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

Profiling an Incremental Data Flow Analysis Algorithm.

Barbara G. Ryder, William Landi, Hemant D. Pande

IEEE Trans. Software Eng., 1990