Biblio

Export 99 results:
Sort by:
Filters: Author is Ryder, Barbara G.  [Clear All Filters]
2000
Arnold, M., M. Hind, and B. G. Ryder, "An Empirical Study of Selective Optimization", Proceedings of the Thirteenth Annual Workshop on Languages and Compilers For Parallel Computing, Yorktown Heights, August, 2000.
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.
Arnold, M., M. Hsiao, U. Kremer, and B. G. Ryder, "Instruction Scheduling in the Presence of Java’s Runtime Exceptions", Proceedings of the Twelvth Annual Workshop on Languages and Compilers For Parallel Computing, San Diego, August, 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.
1996
Pande, H. D., and B. G. Ryder, "Data-flow-based Virtual Function Resolution", Proceedings of the Third International Symposium on Static Analysis (SAS’96), Aachen, Germany, pp. 238-254, September, 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.
Ryder, B. G., "A Position Paper on Compile-time Program Analysis", ACM Computing Surveys, vol. 28A, no. 4, December, 1996.
1995
Masticola, S., T. J. Marlowe, and B. G. Ryder, "Lattice Frameworks for Multi- Source and Bidirectional Data Flow Analysis Problems", ACM Transactions on Programming Languages and Systems, vol. 17, no. 5, pp. 777-803, September, 1995.
Lee, Y. -fong, B. G. Ryder, and M. Fiuczynski, "Region Analysis: A Parallel Elimination Method for Data Flow Analysis", IEEE Transactions on Software Engineering, vol. SE-21, no. 11, pp. 913-926, November, 1995.
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.
Lee, Y. -fong, B. G. Ryder, and M. Fiuczynski, "Region Analysis: A Parallel Elimination Method for Data Flow Analysis", IEEE International Conference on Computer Languages, Toulouse, France, May, 1994.
Sgro, V., and B. G. Ryder, "Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs", Proceedings of the Seventh AnnualWorkshop on Languages and Compilers For Parallel Computing, pp. 15.1-15.15, August, 1994.
Pande, H., and B. G. Ryder, "Static Type Determination in C++", Proceedings of the Sixth USENIX C++ Technical Conference, Cambridge, MA, pp. 85-97, April , 1994.
Lee, Y. -fong, and B. G. Ryder, "Effectively Exploiting Parallelism in Data Flow Analysis", The Journal of Supercomputing, vol. 8, pp. 233-262, 1994.
1993
Masticola, S., and B. G. Ryder, "Non-concurrency Analysis", Proceedings of the ACM Conference on Principles and Practices of Parallel Programming, pp. 129-138, May, 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.
Lee, Y. -fong, and B. G. Ryder, "A Comprehensive Approach to Parallel Data Flow Analysis", Proceedings of the International Conference on Supercomputing, pp. 236-247, July, 1992.
Schatz, E., and B. G. Ryder, "Directed Tracing of Race Conditions", Proceedings of the International Conference on Parallel Processing, pp. II-247:II-250, August, 1992.
Lee, Y. -fong, and B. G. Ryder, "Parallel Hybrid Data Flow Algorithms: A Case Study", Lecture Notes in Computer Science as Proceedings of FifthWorkshop on Languages and Compilers for Parallel Computing, New Haven CN, pp. 296-310, August, 1992.