Biblio

Export 7 results:
Sort by:
Filters: Author is Landi, William  [Clear All Filters]
1996
Zhang, S., B. G. Ryder, and W. Landi, "Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses", Proceedings of SIGSOFT’96: The Fourth Symposium on the Foundations of Software Engineering (FSE4), pp. 81-92, October, 1996.
1994
Pande, H., W. Landi, and B. G. Ryder, "Interprocedural Def-Use Associations for C Systems with Single Level Pointers", IEEE Transactions on Software Engineering, vol. 20, no. 5, pp. 385-403, May , 1994.
1993
Landi, W., B. G. Ryder, and S. Zhang, "Interprocedural Modification Side Effect AnalysisWith Pointer Aliasing", Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 56-67, June, 1993.
1992
Landi, W., and B. G. Ryder, "A Safe Approximate Algorithm for Interprocedural Pointer Aliasing", Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 235-248, June, 1992.
1991
Pande, H., B. G. Ryder, and W. Landi, "Interprocedural Def-Use Associations for C Programs", Proceedings of the ACM SIGSOFT Conference on Testing, Analysis and Validation, pp. 139-153, October, 1991.
Landi, W., and B. G. Ryder, "Pointer-induced Aliasing: A Problem Taxonomy", Proceedings of the Eighteenth Symposium on Principles of Programming Languages, pp. 93-103, January, 1991.
1990
Ryder, B. G., W. Landi, and H. Pande, "Profiling the Performance of an Incremental Data Flow Analysis Algorithm", IEEE Transactions on Software Engineering (special issue of on Experimental Computer Science), pp. 129-140, February, 1990.