Publications

J-S. Yur, B.G. Ryder, W. Landi, P. Stocks. Incremental Analysis of Side Effects for C Software Systems. In Proceedings of the Nineteenth International Conference on Software Engineering. May 1997. To appear in ICSE'97. A postscript version is available.

S. Zhang, B. G. Ryder, W. Landi. Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses. SIGSOFT'96: The Fourth Symposium on the Foundations of Software Engineering (FSE4). October 1996.
A postscript version is available.
Tech Report (not identical) version ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-260.ps.Z

R. Altucher and W. Landi, An Extended Form of Must Alias Analysis For Dynamic Allocation. In Conference Record of the Twentysecond Annual ACM Symposium on Principles of Programming Languages, pages 74-84, January 1995.

H. Pande, W. Landi, and B. Ryder, Interprocedural Def-Use Associations for C Systems with Single Level Pointers. IEEE Transactions on Software Engineering, 20(5):385-403, May 1994.
Tech Report (not identical) version ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-193.ps.Z

W. Landi and B. G. Ryder and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56-67, June 1993.
Tech Report (not identical) version ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-201.ps.Z

W. Landi, Undecidability of Static Analysis. acm Letters on Programming Languages and Systems, 1(4):323-337, December 1992.
A postscript version is available.

W. Landi and B. G. Ryder. A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248, June 1992.
Tech Report (not identical) version ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-168.ps.Z

H.D. Pande, B.G. Ryder, and W. Landi. Interprocedural Def-Use Associations in C Programs. In Proceedings of the Fifth Testing, Analysis, and Verification Symposium, pages 139-153, October 1991.

W. Landi and B. G. Ryder. Pointer-induced aliasing: A problem classification. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 83-103, January 1991.

B.G. Ryder, W. Landi, and H. Pande, Profiling an Incremental Data Flow Analysis Algorithm. IEEE Transactions on Software Engineering, 16(2):129--140, February 1990.

Thesis

W. Landi. Interprocedural Aliasing in the Presence of Pointers. Ph.D Thesis, Rutgers University, January 1992.
ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-174.ps.Z