Biblio

Export 4 results:
Sort by:
Filters: Author is Zhang, Sean  [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.
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.
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.
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.