Biblio

Export 99 results:
Sort by:
Filters: Author is Ryder, Barbara G.  [Clear All Filters]
1991
Lee, Y. -fong, T. J. Marlowe, and B. G. Ryder, "Experiences with a Parallel Algorithm for Data Flow Analysis", The Journal of Supercomputing, vol. 5, no. 2, pp. 163-188, October, 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.
Masticola, S., and B. G. Ryder, "A Model of Ada Programs for Static Deadlock Detection in Polynomial Time", Proceedings of 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 91-102, May, 1991.
Marlowe, T. J., and B. G. Ryder, "Hybrid Incremental Alias Algorithms", Proceedings of Twenty-Fourth Hawaii International Conference on System Sciences, pp. 428-437, January, 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
Lee, Y. -fong, T. J. Marlowe, and B. G. Ryder, "Performing Data Flow Analysis in Parallel", Proceedings of ACM Supercomputing90, pp. 942-951, November, 1990.
Burke, M., and B. G. Ryder, "A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms", IEEE Transactions on Software Engineering, pp. 723-728, July, 1990.
Marlowe, T. J., and B. G. Ryder, "An Efficient Hybrid Algorithm for Incremental Data Flow Analysis", Proceedings of the Seventeenth Symposium on Principles of Programming Languages, pp. 184-196, January, 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.
Masticola, S., and B. G. Ryder, "Static Infinite Wait Anomaly Detection in Polynomial Time", Proceedings of International Conference on Parallel Processing, August, 1990.
1989
Ryder, B. G., "ISMM: The Incremental Software Maintenance Manager", Proceedings of IEEE Computer Society Conference on Software Maintenance, Miami FL, pp. 142- 165, October, 1989.
1988
Ryder, B. G., and M. C. Paull, "Incremental Data Flow Analysis Algorithms", ACM Transactions on Programming Languages and Systems, vol. 10, no. 1, pp. 1-50, January, 1988.
Carroll, M., and B. G. Ryder, "Incremental Data Flow Analysis Via Dominator and Attribute Updates", Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, CA., pp. 274-284, January , 1988.
Ryder, B. G., and S. J. Pendergrast, "Experiments in Optimizing FP", IEEE Transactions on Software Engineering, vol. 14, no. 4, pp. 444-454, April, 1988.
1987
Ryder, B. G., "An Application of Static Program Analysis to Software Maintenance", Proceedings of Twentieth Hawaii International Conference on System Sciences, pp. 82-91, January, 1987.
1986
Ryder, B. G., and M. C. Paull, "Elimination Algorithms for Data Flow Analysis", ACM Computing Surveys, vol. 18, no. 3, pp. 277-316, September, 1986.
Ryder, B. G., and S. J. Pendergrast, "FPOPT: A Globally Optimizing Compiler for FP", Proceedings of IEEE Computer Society International Conference on Computer Languages, Miami Beach, Florida, pp. 34-40, October, 1986.
Ryder, B. G., and M. D. Carroll, "An Incremental Algorithm for Software Analysis", Proceedings of ACM SIGPLAN/SIGSOFT Symposium on Practical Software Development Environments, Palo Alto, California, P. Henderson ed., pp. 171-179, December, 1986.
1983
Ryder, B. G., "Incremental Data Flow Analysis”,", Conference Record of the Tenth Annual ACM Symposium on the Principles of Programming Languages, Austin, Texas, January, 1983.
1979
Ryder, B. G., "Constructing the Call Graph of a Program", IEEE Transactions on Software Engineering, vol. SE-3, no. 3, pp. 216-225, May, 1979.
1973
Ryder, B. G., "The PFORT Verifier", Software Practice and Experience, vol. 4, pp. 359-377, October-December, 1973.