Biblio

Export 9 results:
Sort by:
Filters: Author is Landi, William A.  [Clear All Filters]
2001
Ryder, B. G., W. A. Landi, P. Stocks, S. Zhang, and R. Altucher, "A Schema for Interprocedural Modification Side Effects Analysis with Pointer Aliasing", ACM Transactions on Programming Languages and Systems, vol. 23, no. 1, pp. 105-186, March , 2001.
Chatterjee, R., B. G. Ryder, and W. A. Landi, "Complexity of Points-to Analysis of Java in the Presence of Exceptions", IEEE Transactions on Software Engineering, vol. 27, no. 6, pp. 481-512, June , 2001.
1999
Rountev, A., B. G. Ryder, and W. A. Landi, "Data-flow Analysis for Program Fragments", Proceedings of SIGSOFT’99: The Seventh Symposium on the Foundations of Software Engineering (FSE’99), pp. 235-253, Septermber, 1999.
Yur, J. -shiarn, B. G. Ryder, and W. A. Landi, "An Incremental Flow- and Contextsensitive Pointer Aliasing Analysis", Proceedings of the 21st International Conference on Software Engineering, pp. 442-451, May, 1999.
Chatterjee, R., B. G. Ryder, and W. A. Landi, "Relevant Context Inference", Proceedings of the 26th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pp. 133-146, January, 1999.
1998
Stocks, P. A., B. G. Ryder, W. A. Landi, and S. Zhang, "A Comparison of Flowand Context- Sensitivity with respect to the Modification Side Effects Problem", Proceedings of the International Symposium on Software Testing and Analysis, pp. 21-31, March, 1998.
Zhang, S., B. G. Ryder, and W. A. Landi, "Experiments with Combined Analysis for Pointer Aliasing”,", Proceedings of ACM SIGPLAN Workshop on Program Analysis and Software Tools for Engineering, pp. 11-18, June, 1998.
1997
Yur, J. -shiarn, B. G. Ryder, W. A. Landi, and P. Stocks, "Incremental Analysis of Side Effects for C Software Systems", Proceedings of the 19th International Conference of on Software Engineering, pp. 422-432, May, 1997.