Get started
Author

William A. Landi

Observed names: Landi, William, W. Landi, W.A. Landi, William G. Landi, William Landi
OpenAlex ID: A5113493795
Undecidability of static analysis
1992 · William Landi · ACM Letters on Programming Languages and Systems · 408
PDF
A safe approximate algorithm for interprocedural aliasing
1992 · William Landi, Barbara G. Ryder · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 345
PDF
A safe approximate algorithm for interprocedural pointer aliasing
2004 · William Landi, Barbara G. Ryder · ACM SIGPLAN Notices · 281
Pointer-induced aliasing: a problem taxonomy
1991 · William Landi, Barbara G. Ryder · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 212
Relevant context inference
1999 · Ramkrishna Chatterjee, Barbara G. Ryder, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 203
PDF
Interprocedural modification side effect analysis with pointer aliasing
1993 · William Landi, Barbara G. Ryder, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 156
PDF
Interprocedural def-use associations for C systems with single level pointers
1994 · H.D. Pande, W.A. Landi, et al. · IEEE Transactions on Software Engineering · 138
A safe approximate algorithm for interprocedural aliasing
1992 · William Landi, Barbara G. Ryder · ACM SIGPLAN Notices · 122
A schema for interprocedural modification side-effect analysis with pointer aliasing
2001 · Barbara G. Ryder, William A. Landi, et al. · ACM Transactions on Programming Languages and Systems · 96
Program decomposition for pointer aliasing
1996 · Sean Zhang, Barbara G. Ryder, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 90
Interprocedural aliasing in the presence of pointers
1995 · Landi, William · 69
Data-flow analysis of program fragments
1999 · Atanas Rountev, Barbara G. Ryder, et al. · ACM SIGSOFT Software Engineering Notes · 59
PDF
An incremental flow- and context-sensitive pointer aliasing analysis
1999 · Jyh-shiarn Yur, Barbara G. Ryder, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 57
PDF
Pointer-induced aliasing
1993 · Thomas J. Marlowe, William G. Landi, et al. · ACM SIGPLAN Notices · 47
Comparing flow and context sensitivity on the modification-side-effects problem
1998 · Philip A. Stocks, Barbara G. Ryder, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 40
PDF
Interprocedural Def-Use associations in C programs
1991 · Hemant D. Pande, William Landi · 38
PDF
Complexity of points-to analysis of Java in the presence of exceptions
2001 · R. Chatterjee, B.G. Ryder, et al. · IEEE Transactions on Software Engineering · 32
An extended form of must alias analysis for dynamic allocation
1995 · Rita Z. Altucher, William Landi · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 32
PDF
Interprocedural modification side effect analysis with pointer aliasing
1993 · William Landi, Barbara G. Ryder, et al. · ACM SIGPLAN Notices · 32
Experiments with combined analysis for pointer aliasing
1998 · Sean Zhang, Barbara G. Ryder, et al. · ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE) · 28
Complexity of concrete type-inference in the presence of exceptions
1998 · Ramkrishna Chatterjee, Barbara G. Ryder, et al. · Lecture notes in computer science · 28
PDF
Data-Flow Analysis of Program Fragments
1999 · Atanas Rountev, Barbara G. Ryder, et al. · Lecture notes in computer science · 25
Profiling an incremental data flow analysis algorithm
1990 · B.G. Ryder, W. Landi, et al. · IEEE Transactions on Software Engineering · 19
Incremental analysis of side effects for C software system
1997 · Jyh-Shiarn Yur, Barbara G. Ryder, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 17
Program decomposition for pointer aliasing
1996 · Sean Zhang, Barbara G. Ryder, et al. · ACM SIGSOFT Software Engineering Notes · 8
Works count: 38
Citation count: 2,598
H-index: 22
I10-index: 24
Year
Topic
Type