This page is maintained for archival purposes only. For current information please visit http://prolangs.cs.vt.edu/.


This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
  1. Jyh-shiarn Yur, Barbara G. Ryder, and William Landi, "An Incremental Flow- and Context-sensitive Pointer Aliasing Analysis", Proceedings of the 21st International Conference on Software Engineering (ICSE'99), May, 1999.

    URL: docs/icse99.ps

    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.

    URL: docs/icse97.ps

    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.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-254.ps.Z

  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. T. J. Marlowe and B. G. Ryder, "An Efficient Hybrid Algorithm for Incremental Data Flow Analysis", Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, Pages 184-196, January, 1990.

    See also: LCSR-TR-125.

  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. Martin Carroll and Barbara G. Ryder, "Incremental Data Flow Analysis via Dominator and Attribute Updates", Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, Pages 274-284, January, 1988.

  12. B. G. Ryder and M. C. Paull, "Incremental Data Flow Analysis Algorithms", ACM Transactions on Programming Languages and Systems, Volume 10, Number 1, Pages 1-50, January, 1988.

    Note: was DCS-TR-131.

  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. Martin Carroll and Barbara G. Ryder, "An Incremental Algorithm for Software Analysis", Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pages 171-179, December, 1986.

  16. Barbara G. Ryder, "Incremental Data Flow Analysis", Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Pages 167-176, January, 1983.