This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
  1. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graphs for C Programs with Function Pointers", Automated Software Engineering special issue on Source Code Analysis and Manipulation, Volume 11, Number 1, Pages 7-26, January, 2004.

    Digital Library

    Note: © Copyright 2004 Kluwer Academic Publishers.

  2. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Workshop on Source Code Analysis and Manipulation (SCAM 2002), October, 2002.

    Local

    Digital Library

    Note: © Copyright 2002 IEEE Computer Society .

  3. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Department of Computer Science, Rutgers University, Number DCS-TR-442, May, 2001.

    Local

  4. Atanas Rountev and Barbara G. Ryder, "Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries", Proceedings of the International Conference on Compiler Construction (CC 2001), April, 2001.

    Local

    Note: © Copyright 2001 Springer-Verlag. Earlier version available as DCS-TR-423.

  5. Digital Library

    Note: © Copyright 2001 ACM.

  6. Atanas Rountev and Barbara G. Ryder, "Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-423, October, 2000.

    Local

  7. Atanas Rountev and Satish Chandra, "Off-line Variable Substitution for Scaling Points-to Analysis", Proceedings of the Conference on Programming Language Design and Implementation (PLDI 2000), June, 2000.

    Local

    Digital Library

    Note: © Copyright 2000 ACM.

  8. Atanas Rountev and Barbara G. Ryder, "Practical Points-to Analysis for Programs Built with Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-410, February, 2000.

    Local

  9. Atanas Rountev, Barbara G. Ryder, and William Landi, "Data-Flow Analysis of Program Fragments", Proceedings of the 7th Symposium on the Foundations of Software Engineering (FSE'99), LNCS 1687, September, 1999.

    Local

    Digital Library

    Note: © Copyright 1999 Springer-Verlag. Earlier version available as DCS-TR-383.

  10. Jyh-shiarn Yur, "Incremental Analysis for Flow- and Context-Sensitive Data-Flow Problems", Rutgers University, Ph.D. Thesis, July, 1999.

    Local

    Note: Available as DCS-TR-393.

  11. Atanas Rountev, Barbara G. Ryder, and William Landi, "Data-Flow Analysis of Program Fragments", Department of Computer Science, Rutgers University, Number DCS-TR-383, March, 1999.

    Local

    Note: Earlier version of the FSE'99 paper.

  12. Xiang-Xiang Sean Zhang, "Practical Pointer Aliasing Analyses for C", Rutgers University, Ph.D. Thesis, August, 1998.

    Local

    Note: Available as DCS-TR-367.

  13. ACM DL Author-ize serviceExperiments with combined analysis for pointer aliasing
    Sean Zhang, Barbara G. Ryder, William A. Landi
    PASTE '98 Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 1998

    Note: Also available as DCS-TR-350.

  14. B. G. Ryder, W. Landi, P. Stocks, S. Zhang, and R. Altucher, "A Schema for Interprocedural Side Effect Analysis with Pointer Aliasing", Department of Computer Science, Rutgers University, Number DCS-TR-336, May, 1998.

    Local

    Note: Revised for journal August 1999.

  15. ACM DL Author-ize serviceComparing flow and context sensitivity on the modification-side-effects problem
    Philip A. Stocks, Barbara G. Ryder, William A. Landi, Sean Zhang
    ISSTA '98 Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, 1998

    Note: Also available as DCS-TR-335.

  16. Sean Zhang, Barbara G. Ryder, and William Landi, "Program Decomposition for Pointer Aliasing: A Step towards Practical Analyses", Proceedings of the 4th Symposium on the Foundations of Software Engineering (FSE'96), October, 1996.

    Local

    Note: © Copyright 1996 ACM. Longer version available as LCSR-TR-259.

  17. Sean Zhang, Barbara G. Ryder, and William Landi, "Program Decomposition for Pointer-induced Aliasing Analysis", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-259, March, 1996.

    Local

    Note: Longer version of the FSE'96 paper.

  18. A. Shah and B. G. Ryder, "Function Pointers in C -- An Empirical Study", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-244, May, 1995.

    Local

  19. S. Zhang and B. G. Ryder, "Complexity of Single Level Function Pointer Aliasing Analysis", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-233, October, 1994.

    Local

  20. H. Pande, W. Landi, and B. G. Ryder, "Interprocedural Def-Use Associations for C Systems with Single Level Pointers", IEEE Transactions on Software Engineering, Volume 20, Number 5, Pages 385-403, May, 1994.

    Note: Earlier version available as LCSR-TR-193.

  22. ACM DL Author-ize serviceInterprocedural modification side effect analysis with pointer aliasing
    William Landi, Barbara G. Ryder, Sean Zhang
    PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, 1993

  23. ACM DL Author-ize serviceInterprocedural modification side effect analysis with pointer aliasing
    William Landi, Barbara G. Ryder, Sean Zhang
    PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, 1993

    Note: This report supersedes LCSR-TR-195 and is an expansion of the ACM SIGPLAN PLDI'93 paper.

  24. ACM DL Author-ize serviceA safe approximate algorithm for interprocedural aliasing
    William Landi, Barbara G. Ryder
    PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, 1992

  25. William A. Landi, "Interprocedural Aliasing in the Presence of Pointers", Rutgers University, Ph.D. Thesis, January, 1992.

    Local

    Note: Also available as LCSR-TR-174.

  26. H. Pande, B. G. Ryder, and W. Landi, "Interprocedural Def-Use Associations for C Programs", Proceedings of the ACM SIGSOFT Conference on Testing, Analysis and Verification, Pages 139-153, October, 1991.

  27. ACM DL Author-ize serviceA safe approximate algorithm for interprocedural pointer aliasing
    William Landi, Barbara G. Ryder
    ACM SIGPLAN Notices - 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999: A Selection, 2004

    Note: a fuller version of PLDI'92 paper.

  28. H. Pande, B. G. Ryder, and W. Landi, "Interprocedural Def-Use Associations in C Programs", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-162, April, 1991.

  29. ACM DL Author-ize servicePointer-induced aliasing: a problem classification
    William Landi, Barbara G. Ryder
    POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1991