This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
  1. ACM DL Author-ize serviceAn incremental flow- and context-sensitive pointer aliasing analysis
    Jyh-shiarn Yur, Barbara G. Ryder, William A. Landi
    ICSE '99 Proceedings of the 21st international conference on Software engineering, 1999

    Note: © Copyright 1999 ACM.

  2. Jyh-shiarn Yur, Barbara G. Ryder, William Landi, and Phil Stocks, "Incremental Analysis of Side Effects for C Software Systems", Proceedings of the 19th International Conference on Software Engineering (ICSE'97), May, 1997.

    Local

    Note: © Copyright 1997 ACM.

  3. Jyh-shiarn Yur and Barbara G. Ryder, "Incremental Analysis of MOD Problem for C", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-254, August, 1995.

    Local

  4. T. J. Marlowe and B. G. Ryder, "Hybrid Incremental Alias Algorithms", Proceedings of the Twentyfourth Hawaii International Conference on System Sciences, Volume II, Software, January, 1991.

  5. M. Burke and B. G. Ryder, "A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms", IEEE Transactions on Software Engineering, Volume 16, Number 7, July, 1990.

    See also: LCSR-TR-096.

  6. B. G. Ryder, W. Landi, and H. Pande, "Profiling an Incremental Data Flow Analysis Algorithm", IEEE Transactions on Software Engineering, Volume 16, Number 2, Pages 129-140, February, 1990.

    See also: CAIP-TR-098.

  7. ACM DL Author-ize serviceAn efficient hybrid algorithm for incremental data flow analysis
    Thomas J. Marlowe, Barbara G. Ryder
    POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989

  8. B. G. Ryder, "ISMM: Incremental Software Maintenance Manager", Proceedings of the IEEE Computer Society Conference on Software Maintenance, Pages 142-164, October, 1989.

  9. Thomas J. Marlowe, "Data Flow Analysis and Incremental Iteration", Rutgers University, Ph.D. Thesis, August, 1989.

    Note: Also available as DCS-TR-255.

  10. Martin D. Carroll, "Dataflow Update via Attribute and Dominator Update", Rutgers University, Ph.D. Thesis, May, 1988.

    Note: Also available as LCSR-TR-111.

  11. ACM DL Author-ize serviceIncremental data flow analysis via dominator and attribute update
    M. D. Carroll, B. G. Ryder
    POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1988
  12. ACM DL Author-ize serviceIncremental data-flow analysis algorithms
    Barbara G. Ryder, Marvin C. Paull
    ACM Transactions on Programming Languages and Systems (TOPLAS), 1988

  13. B. G. Ryder, T.J. Marlowe, and M. C. Paull, "Conditions for Incremental Iteration: Examples and Counterexamples", Science of Computer Programming, Volume 11, Pages 1-15, 1988.

    Note: Also available as LCSR-TR-89.

  14. B. G. Ryder, "An Application of Static Program Analysis to Software Maintenance", Proceedings of the Twentieth Hawaii International Conference on System Sciences, Volume II, Software, Pages 82-91, January, 1987.

  15. ACM DL Author-ize serviceAn incremental algorithm for software analysis
    Martin Carroll, Barbara G Ryder
    SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, 1987
  16. ACM DL Author-ize serviceIncremental data flow analysis
    Barbara G. Ryder
    POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1983