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. 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.

    URL: http://portal.acm.org/citation.cfm?id=960235

    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.

    URL: http://portal.acm.org/citation.cfm?id=827253.827734

    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.

    URL: docs/dcs-tr-442.ps

  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.

    URL: docs/cc01.ps

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

  5. Barbara G. Ryder, William Landi, Philip A. Stocks, Sean Zhang, and Rita Altucher, "", ACM Transactions on Programming Languages and Systems, Volume 23, Pages 105-186, March, 2001.

    URL: http://portal.acm.org/citation.cfm?id=381532

    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.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-423.ps.Z

  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.

    URL: http://portal.acm.org/citation.cfm?id=349310

    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.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-410.ps.Z

  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.

    URL: http://portal.acm.org/citation.cfm?id=318945

    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.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-393.ps.Z

    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.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-383.ps.Z

    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.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-367.ps.Z

    Note: Available as DCS-TR-367.

  13. Sean Zhang, Barbara G. Ryder, and William Landi, "Experiments with Combined Analysis for Pointer Aliasing", Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), June, 1998.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-350.ps.Z

    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.

    URL: ftp://athos.rutgers.edu/pub/ryder/revision.ps

    Note: Revised for journal August 1999.

  15. P. Stocks, B. G. Ryder, W. Landi, and S. Zhang, "Comparing Flow and Context Sensitivity on the Modification-side-effects Problem", Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'98), Pages 21-31, March, 1998.

    URL: ftp://athos.rutgers.edu/pub/technical-reports/dcs-tr-335.ps.Z

    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.

    URL: docs/fse96.ps

    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.

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

    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.

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

  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.

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

  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.

  21. T. J. Marlowe, W. Landi, B. G. Ryder, J. Choi, M. Burke, and P. Carini, "Pointer-induced Aliasing: A Clarification", ACM SIGPLAN Notices, Volume 28, Number 9, Pages 67-70, September, 1993.

  22. W. Landi, B. G. Ryder, and S. Zhang, "Interprocedural Modification Side Effect Analysis With Pointer Aliasing", Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, Pages 56-67, June, 1993.

    See also: LCSR-TR-201, LCSR-TR-195.

  23. W. Landi, B. G. Ryder, and S. Zhang, "Interprocedural Modification Side Effect Analysis With Pointer Aliasing", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-201, March, 1993.

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

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

  24. W. Landi and B. G. Ryder, "A Safe Approximation Algorithm for Interprocedural Pointer Aliasing", Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, Pages 235-248, June, 1992.

    See also: LCSR-TR-168.

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

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

    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. , "", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-168, September, 1991.

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

    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.

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

  29. W. Landi and B. G. Ryder, "Pointer-induced Aliasing: A Problem Classification", Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Pages 93-103, January, 1991.