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. Analysis of Object-Oriented Languages

    Weilei Zhang and Barbara G. Ryder, "Automatic construction of accurate application call graph with library call abstraction for java", Journal of Software Maintenance and Evolution: Research and Practice, Volume 19, Number 4, Pages 231-252, August, 2007.

    URL: http://www3.interscience.wiley.com/cgi-bin/abstract/114297201/ABSTRACT

    Note: © Copyright 2007 John Wiley & Sons .

  2. Software Tools and Optimizations for Object-Oriented Languages

    Xiaoxia Ren and Barbara G. Ryder, "Heuristic Ranking of Java Program Edits for Fault Localization", Proceedings of the 2007 ACM SIGSOFT international symposium on Software testing and analysis(ISSTA 2007), July, 2007.

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

    Note: © Copyright 2007 ACM.

  3. Analysis of Object-Oriented Languages

    Bruno Dufour and Barbara G. Ryder and Gary Sevitsky, "Blended Analysis for Performance Understanding of Framework-based Applications", Proceedings of the 2007 ACM SIGSOFT international symposium on Software testing and analysis(ISSTA 2007), July, 2007.

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

    Note: © Copyright 2007 ACM.

  4. Analysis of Object-Oriented Languages

    Weilei Zhang and Barbara G. Ryder, "Discovering accurate interclass test dependences", Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007), Pages 55-62, June, 2007.

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

    Note: © Copyright 2007 ACM .

  5. Analysis of Object-Oriented Languages

    Chen Fu and Barbara G. Ryder, "Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications", icse, May, 2007.

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

    Note: © Copyright 2007 IEEE Computer Society .

  6. Software Tools and Optimizations for Object-Oriented Languages

    Maximilian Stoerzer and Barbara G. Ryder and Xiaoxia Ren and Frank Tip, "Finding Failure-Inducing Changes in Java Programs using Change Classification", Proceedings of the 14th SIGSOFT Conference on the Foundations of Software Engineering, November, 2006.

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

    Note: © Copyright 2006 ACM..

  7. Software Tools and Optimizations for Object-Oriented Languages

    Xiaoxia Ren and Ophelia C. Chesley and Barbara G. Ryder, "Identifying Failure Causes in Java Programs: an Application of Change Impact Analysis", IEEE Transactions on Software Engineering, Volume 32, Pages 718-732, September, 2006.

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

    Note: © Copyright 2006 IEEE.

  8. Analysis of Object-Oriented Languages

    Weilei Zhang and Barbara G. Ryder, "Constructing Accurate Application Call Graphs for Java to Model Library Callbacks", Proceedings of the 6th International Workshop on Source Code Analysis and Manipulation, September, 2006.

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

    Note: © Copyright 2006 IEEE Computer Society .

  9. Analysis of Object-Oriented Languages

    Chen Fu and Barbara G. Ryder, "Exception-chain Analysis: Revealing Exception Handling Architecture in Java Server Applications", Number DCS-TR-599, March, 2006.

    URL: docs/ecchain.pdf

  10. Analysis of Object-Oriented Languages

    Weilei Zhang and Barbara G. Ryder, "A Semantics-Based Definition for Interclass Test Dependence", Number DCS-TR-597, January, 2006.

    URL: docs/dcs-tr-597.pdf

  11. Software Tools and Optimizations for Object-Oriented Languages

    Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder, "Crisp: A Debugging Tool for Java Programs", Proceedings of the 21st International Conference on Software Maintenance(ICSM 2005), September, 2005.

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

    Note: © Copyright 2005 IEEE Computer Society .

  12. Software Tools and Optimizations for Object-Oriented Languages

    Maximilian Stoerzer and Barbara G. Ryder and Xiaoxia Ren and Frank Tip, "Finding Failure-Inducing Changes using Change Classification", Number DCS-TR-582, September, 2005.

    URL: docs/dcs-tr-582.pdf

  13. Analysis of Object-Oriented Languages

    Ana Milanova and Barbara G. Ryder, "Annotated Inclusion Constraints for Precise Flow Analysis", Proceedings of the 21st International Conference on Software Maintenance(ICSM 2005), September, 2005.

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

    Note: © Copyright 2005 IEEE Computer Society .

  14. Analysis of Object-Oriented Languages

    Chen Fu and Barbara G. Ryder, "Testing and Understanding Error Recovery Code in Java Applications", Number DCS-TR-579, July, 2005.

    URL: ftp://ftp.cs.rutgers.edu/pub/technical-reports/dcs-tr-579.ps.Z

    Note: ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions.

  15. Analysis of Object-Oriented Languages

    Weilei Zhang and Barbara G. Ryder, "A Practical Algorithm for Interclass Testing Dependence", Number DCS-TR-574, April, 2005.

    URL: ftp://ftp.cs.rutgers.edu/pub/technical-reports/dcs-tr-574.ps.Z

  16. Analysis of Object-Oriented Languages

    Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott, "Robustness Testing of Java Server Applications", IEEE Transactions on Software Engineering, Volume 31, Number 4, Pages 292-312, April, 2005.

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

    Note: Extended version of ISSTA 2004 paper solicited for journal publication..

  17. Analysis of Object-Oriented Languages

    Ana Milanova, Atanas Rountev, Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to Analysis of Java", ACM Transactions on Software Engineering Methodology, Volume 14, Number 1, Pages 1-41, January, 2005.

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

    Note: © Copyright 2004 ACM. Extended version of ISSTA 2002 paper solicited for journal publication..

  18. Software Tools and Optimizations for Object-Oriented Languages

    Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley, "Chianti: A Tool for Change Impact Analysis of Java Programs", Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications(OOPSLA 2004), Pages 432-448, October, 2004.

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

    Note: © Copyright 2004 ACM. Also available as DCS-TR-551..

  19. Analysis of Object-Oriented Languages

    Chen Fu, Barbara Ryder, Ana Milanova, David Wonnacott, "Testing of Java Web Services for Robustness", Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis(ISSTA 2004), Pages 23-33, July, 2004.

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

    Note: © Copyright 2004 ACM. Solicited for submission to special issue of IEEE Transactions on Software Engineering.

  20. Analysis of Object-Oriented Languages

    Atanas Rountev, Ana Milanova and Barbara G. Ryder, "Fragment Class Analysis for Testing Polymorphism in Java Software", IEEE Transactions on Software Engineering, Volume 30, Number 6, Pages 372-387, June, 2004.

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

    Note: © Copyright 2004 IEEE, Extended version of ICSE 2003 paper solicited for special issue journal publication..

  21. Analysis of C

    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.

  22. Software Tools and Optimizations for Object-Oriented Languages

    Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley and Julian Dolby, "Chianti: A Prototype Change Impact Analysis Tool for Java", Department of Computer Science, Rutgers University, Number DCS-TR-533, September, 2003.

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

    Note: Also available as IBM RC-22983.

  23. Analysis of Object-Oriented Languages

    Ana Milanova, "Precise and Practical Flow Analysis of Object-Oriented Software", Rutgers University, Ph.D. Thesis, August, 2003.

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

    Note: Also available as DCS-TR-539.

  24. Analysis of Object-Oriented Languages

    Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, and David G. Wonnacott, "Compiler Directed Program-fault Coverage for Highly Available Java Internet Services", 2003 International Conference on Dependable Systems and Networks (DSN 2003), Pages 595-604, June, 2003.

    URL: docs/dsn03.pdf

    Note: © Copyright 2003 IEEE.

  25. Analysis of Object-Oriented Languages

    Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Pages 210-220, May, 2003.

    URL: docs/icse03.pdf

    Note: © Copyright 2003 IEEE.

  26. Analysis of Object-Oriented Languages

    B. G. Ryder, "Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages", Proceedings of the International Conference on Compiler Construction, Pages 126-137, April, 2003.

    URL: docs/cc03.pdf

    Note: © Copyright 2003 Springer-Verlag.

  27. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Michael Hind, and Barbara G. Ryder, "Online Feedback-Directed Optimization of Java", Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002), Pages 111-129, November, 2002.

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

    Note: © Copyright 2002 ACM.

  28. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, "Online Instrumentation and Feedback Directed Optimization of Java", Rutgers University, Ph.D. Thesis, October, 2002.

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

    Note: Also available as DCS-TR-469.

  29. Analysis of C

    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 .

  30. Analysis of Object-Oriented Languages

    Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of International Conference on Software Maintenance (ICSM 2002), October, 2002.

    URL: docs/icsm02.ps

  31. Analysis of Object-Oriented Languages

    Atanas Rountev, "Dataflow Analysis of Software Fragments", Rutgers University, Ph.D. Thesis, August, 2002.

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

    Note: Also available as DCS-TR-501.

  32. Analysis of Object-Oriented Languages

    Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java", Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002), July, 2002.

    URL: docs/issta02.ps

    Note: © Copyright 2001 ACM.

  33. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold and Barbara G. Ryder, "Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading", Proceedings of the European Conference on Object-Oriented Programming (ECOOP 2002), June, 2002.

    URL: docs/ecoop02.ps

    Note: © Copyright 2002 Springer-Verlag.

  34. Analysis of Object-Oriented Languages

    Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Department of Computer Science, Rutgers University, Number DCS-TR-482, March, 2002.

    URL: docs/dcs-tr-482.ps

  35. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, "Online Instrumentation and Feedback-Directed Optimization of Java", Department of Computer Science, Rutgers University, Number DCS-TR-469, November, 2001.

    URL: docs/dcs-tr-469.ps

  36. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold and Barbara G. Ryder, "Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading", Department of Computer Science, Rutgers University, Number DCS-TR-470, November, 2001.

    URL: docs/dcs-tr-470.ps

  37. Analysis of Object-Oriented Languages

    Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Using Annotated Constraints", Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), October, 2001.

    URL: docs/oopsla01.pdf

    Note: © Copyright 2001 ACM.

  38. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold and Barbara G. Ryder, "A Framework for Reducing the Cost of Instrumented Code", Proceedings of the Conference on Programming Language Design and Implementation (PLDI 2001), Pages 168-179, June, 2001.

    URL: docs/pldi01.ps

    Note: © Copyright 2001 ACM. Earlier version available as DCS-TR-424.

  39. Software Tools and Optimizations for Object-Oriented Languages

    Barbara G. Ryder and Frank Tip, "Change Impact Analysis for Object-Oriented Programs", Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001), Pages 46-53, June, 2001.

    URL: docs/paste01.pdf

    Note: © Copyright 2001 ACM. Also available as IBM T.J.Watson Reseach Center Technical Report RC21997.

  40. Analysis of Object-Oriented Languages

    Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Complexity of Points-to Analysis of Java in the Presence of Exceptions", IEEE Transactions on Software Engineering, Volume 27, Number 6, Pages 481-512, June, 2001.

    URL: docs/tse01.ps

    Note: The URL points to a preliminary version.

  41. Analysis of C

    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

  42. Analysis of C

    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.

  43. Analysis of Object-Oriented Languages

    Ramkrishna Chatterjee and Barbara G. Ryder, "Data-flow-based Testing of Object-Oriented Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-433, April, 2001.

    URL: docs/dcs-tr-433.ps

    Note: Earlier version available as DCS-TR-382.

  44. Analysis of C

    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.

  45. Software Tools and Optimizations for Object-Oriented Languages

    Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Class Analysis for Testing of Polymorphism in Java Software", Department of Computer Science, Rutgers University, Number DCS-TR-432, February, 2001.

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

  46. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Michael Hsiao, Ulrich Kremer, and Barbara G. Ryder, "Exploring the Interaction between Java's Implicitly Thrown Exceptions and Instruction Scheduling", International Journal of Parallel Programming, special issue, Volume 29, Pages 111-137, 2001.

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

    Note: © Copyright 2001 Kluwer Academic Publishers.

  47. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold and Barbara G. Ryder, "A Framework for Reducing the Cost of Instrumented Code", Department of Computer Science, Rutgers University, Number DCS-TR-424, November, 2000.

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

  48. Analysis of Object-Oriented Languages

    Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Based on Annotated Constraints", Department of Computer Science, Rutgers University, Number DCS-TR-428, November, 2000.

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

    Note: Supersedes DCS-TR-417.

  49. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter Sweeney, "Adaptive Optimization in the Jalapeno JVM", Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2000), October, 2000.

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

    Note: © Copyright 2000 ACM.

  50. Analysis of C

    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

  51. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Michael Hind, and Barbara G. Ryder, "An Empirical Study of Selective Optimization", Proceedings of the International Workshop on Languages and Compilers for Parallel Computing (LCPC 2000), August, 2000.

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

    Note: © Copyright 2000 Springer-Verlag.

  52. Analysis of Object-Oriented Languages

    Atanas Rountev, Ana Milanova, and Barbara G. Ryder, " Points-to Analysis for Java Using Annotated Inclusion Constraints", Department of Computer Science, Rutgers University, Number DCS-TR-417, July, 2000.

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

  53. Analysis of C

    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.

  54. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Michael Hind, and Barbara G. Ryder, "An Empirical Study of Selective Optimization", Department of Computer Science, Rutgers University, Number DCS-TR-411, March, 2000.

    URL: ftp://ftp.cs.rutgers.edu/pub/technical-reports/dcs-tr-411.ps.Z

  55. Analysis of Object-Oriented Languages

    Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, and Nirav Shah, "A Static Study of Java Exceptions", Proceedings of the 9th International Conference on Compiler Construction (CC 2000), March, 2000.

    URL: docs/cc00.ps

    Note: © Copyright 2000 Springer-Verlag. Earlier version available as DCS-TR-403.

  56. Analysis of C

    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

  57. Performance Estimation

    Chung-Hsing Hsu and Ulrich Kremer, "A Stable and Efficient Loop Tiling Algorithm", Department of Computer Science, Rutgers University, Number DCS-TR-407, December, 1999.

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

  58. Performance Estimation

    Chung-Hsing Hsu and Ulrich Kremer, "Tile Selection Algorithms and Their Performance Models", Department of Computer Science, Rutgers University, Number DCS-TR-401, October, 1999.

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

  59. Analysis of Object-Oriented Languages

    Ramkrishna Chatterjee, "Modular Data-flow Analysis of Statically Typed Object-Oriented Programming Languages", Rutgers University, Ph.D. Thesis, October, 1999.

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

    Note: Available as DCS-TR-406.

  60. Analysis of Object-Oriented Languages

    Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, and Nirav Shah, "A Static Study of Java Exceptions using JESP", Department of Computer Science, Rutgers University, Number DCS-TR-403, October, 1999.

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

  61. Analysis of C

    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.

  62. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Michael Hsiao, Ulrich Kremer, and Barbara G. Ryder, "Instruction Scheduling in the Presence of Java's Runtime Exceptions", Proceedings of the 12th Workshop on Languages and Compilers for Parallel Computing (LCPC'99), August, 1999.

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

    Note: © Copyright 2000 Springer-Verlag. Earlier version available as DCS-TR-403.

  63. Analysis of C

    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.

  64. Software Tools and Optimizations for Object-Oriented Languages

    Matthew Arnold, Michael Hsiao, Ulrich Kremer, and Barbara G. Ryder, "Instruction Scheduling in the Presence of Java's Runtime Exceptions", Department of Computer Science, Rutgers University, Number DCS-TR-384, June, 1999.

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

    Note: Earlier version of the LCPC'99 paper.

  65. Incremental Data Flow Analysis

    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.

  66. Analysis of C

    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.

  67. Analysis of Object-Oriented Languages

    Ramkrishna Chatterjee and Barbara G. Ryder, "Data-flow-based Testing of Object-Oriented Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-382, March, 1999.

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

  68. Analysis of Object-Oriented Languages

    Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Relevant Context Inference", Proceedings of the 26th ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL'99), January, 1999.

    URL: docs/popl99.ps

    Note: © Copyright 1999 ACM. Longer version available as DCS-TR-360.

  69. Analysis of Object-Oriented Languages

    R. Chatterjee, B. G. Ryder, and W. Landi, "Relevant Context Inference", Department of Computer Science, Rutgers University, Number DCS-TR-360, January, 1999.

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

    Note: Longer version of the POPL'99 paper - more on exceptions, libraries, and testing.

  70. Performance Estimation

    Chung-Hsing Hsu and Ulrich Kremer, "IPERF: A Framework for Automatic Construction of Performance Prediction Models", First Workshop on Profile and Feedback-Directed Compilation, October, 1998.

    URL: docs/PFDC98.ps

  71. Analysis of C

    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.

  72. Performance Estimation

    Chung-Hsing Hsu and Ulrich Kremer, "A Framework for Qualitative Performance Prediction", Department of Computer Science, Rutgers University, Number DCS-TR-363, July, 1998.

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

  73. Analysis of C

    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.

  74. Analysis of C

    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.

  75. Analysis of Object-Oriented Languages

    Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Complexity of Concrete Type-Inference in the Presence of Exceptions", Proceedings of the European Symposium on Programming (ESOP'98), LNCS 1381, April, 1998.

    URL: docs/esop98.ps

    Note: © Copyright 1998 Springer-Verlag. Longer version available as DCS-TR-341.

  76. Analysis of C

    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.

  77. Analysis of Object-Oriented Languages

    R. Chatterjee and B. G Ryder, "Modular Concrete Type-Inference for Statically Typed Object-Oriented Programming Languages", Department of Computer Science, Rutgers University, Number DCS-TR-349, November, 1997.

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

  78. Analysis of Object-Oriented Languages

    R. Chatterjee, B. G. Ryder, and W. Landi, "Complexity of Concrete Type-Inference in the Presence of Exceptions", Department of Computer Science, Rutgers University, Number DCS-TR-341, September, 1997.

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

    Note: Longer version of the ESOP'98 paper.

  79. Analysis of Object-Oriented Languages

    R. Chatterjee and B. G. Ryder, "Scalable, Flow-Sensitive Type-Inference for Statically Typed Object-Oriented Programming Languages", Department of Computer Science, Rutgers University, Number DCS-TR-326, July, 1997.

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

  80. Incremental Data Flow Analysis

    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.

  81. Foundations of Data Flow Analysis

    Barbara G. Ryder, "A Position Paper on Compile-time Program Analysis", ACM Computing Surveys, Volume 28A, Number 4, December, 1996.

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

    Note: Also appeared in the January 1997 issue of ACM SIGPLAN Notices.

  82. Analysis of C

    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.

  83. Analysis of Object-Oriented Languages

    Hemant Pande and Barbara G. Ryder, "Data-flow-based Virtual Function Resolution", Static Analysis: Third International Symposium (SAS'96), LNCS 1145, Pages 238-254, September, 1996.

    URL: docs/sas96.ps

    Note: © Copyright 1996 Springer-Verlag.

  84. Parallel Data Flow Analysis

    Javier Elices, "Refining the Parallel Hybrid Algorithm for Data Flow Analysis", Rutgers University, M. S. Thesis, May, 1996.

    Note: Available as LCSR-TR-261.

  85. Analysis of Object-Oriented Languages

    Hemant D. Pande, "Compile Time Analysis of C and C++ Systems", Rutgers University, Ph.D. Thesis, May, 1996.

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

    Note: Available as LCSR-TR-260.

  86. Analysis of C

    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.

  87. Parallel Data Flow Analysis

    Javier Elices, "The FM and PL Libraries Documentation", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-257, January, 1996.

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

    Note: This is a three part document. The URL here points to the first part of the document. The URL's to the other parts are similar, but end with 'part2of3.ps' and 'part3of3.ps'.

  88. Parallel Data Flow Analysis

    Yong-fong Lee, Barbara G. Ryder, and Marc E. Fiuczynski, "Region Analysis: A Parallel Elimination Method for Data Flow Analysis", IEEE Transactions on Software Engineering, Volume SE-21, Number 11, Pages 913-926, November, 1995.

    URL: http://citeseer.ist.psu.edu/18168.html

  89. Analysis of Object-Oriented Languages

    Hemant Pande and Barbara G. Ryder, "Static Type Determination and Aliasing for C++", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-250-A, October, 1995.

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

  90. Foundations of Data Flow Analysis

    Stephen P. Masticola, Thomas J. Marlowe, and Barbara G. Ryder, "Lattice Frameworks for Multi-Source and Bidirectional Data Flow Analysis Problems", ACM TOPLAS, Volume 17, Number 5, Pages 777-803, September, 1995.

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

    Note: Revised version of LCSR-TR-241.

  91. Incremental Data Flow Analysis

    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

  92. Foundations of Data Flow Analysis

    T. J. Marlowe, B. G. Ryder, and M. Burke, "Defining Flow Sensitivity for Data Flow Problems", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-249, July, 1995.

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

  93. Analysis of C

    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

  94. Analysis of Object-Oriented Languages

    H. Pande and B. G. Ryder, "Static Type Determination and Aliasing for C++", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-236, December, 1994.

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

  95. Analysis of C

    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

  96. Parallel Data Flow Analysis

    Vincent Sgro and Barbara G. Ryder, "Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs", Proceedings of the Seventh Annual Workshop on Languages and Compilers for Parallel Computing, LNCS 892, Pages 217-233, August, 1994.

    See also: HPCD-TR-11.

  97. Parallel Data Flow Analysis

    Yong-fong Lee, Barbara G. Ryder, and Marc. E. Fiuczynski, "Region Analysis: A Parallel Elimination Method for Data Flow Analysis", Proceedings of the IEEE Conference on Computer Languages, Pages 31-42, May, 1994.

  98. Analysis of C

    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.

  99. Analysis of Object-Oriented Languages

    H. Pande and B. G. Ryder, "Static Type Determination for C++", Proceedings of the Sixth USENIX C++ Technical Conference, Pages 85-97, April, 1994.

  100. Parallel Data Flow Analysis

    Yong-fong Lee and Barbara G. Ryder, "Effectively Exploiting Parallelism in Data Flow Analysis", The Journal of Supercomputing, Pages 233-262, 1994.

    See also: LCSR-TR-192.

  101. Analysis of C

    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.

  102. Analysis of C

    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.

  103. Analysis of Explicitly Parallel Programs

    Stephen Masticola, "Static Detection of Deadlocks in Polynomial Time", Rutgers University, Ph.D. Thesis, May, 1993.

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

    Note: Also available as LCSR-TR-208.

  104. Analysis of Explicitly Parallel Programs

    S. Masticola and B. G. Ryder, "Non-concurrency Analysis", Proceedings of Conference on Principles and Practices of Parallel Programming, Pages 129-138, May, 1993.

    Note: Published as ACM SIGPLAN Notices, May 1993.

  105. Analysis of C

    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.

  106. Parallel Data Flow Analysis

    Yong-fong Lee and Barbara G. Ryder, "Parallel Hybrid Data Flow Algorithms: A Case Study", Conference Record of 5th Workshop on Languages and Compilers for Parallel Computing, Yale University, LNCS 757, Pages 296-310, August, 1992.

  107. Analysis of Explicitly Parallel Programs

    E. Schatz and B. G. Ryder, "Directed Tracing to Detect Race Conditions", Proceedings of the International Conference on Parallel Processing, August, 1992.

    Note: Longer version available as LCSR-TR-176.

  108. Parallel Data Flow Analysis

    Yong-fong Lee and Barbara G. Ryder, "A Comprehensive Approach to Parallel Data Flow Analysis", Proceedings of the ACM International Conference on Supercomputing, Pages 236-247, July, 1992.

  109. Analysis of C

    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.

  110. Parallel Data Flow Analysis

    Yong-fong Lee, "Performing Data Flow Analysis in Parallel", Rutgers University, Ph.D. Thesis, May, 1992.

    Note: Also available as LCSR-TR-215.

  111. Analysis of Explicitly Parallel Programs

    E. Schatz and B. G. Ryder, "Directed Tracing to Detect Race Conditions", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-176, January, 1992.

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

    Note: This is a fuller version of the ICPP92 paper.

  112. Analysis of C

    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.

  113. Parallel Data Flow Analysis

    Yong-fong Lee, Thomas J. Marlowe, and Barbara G. Ryder, "Experiences with a Parallel Algorithm for Data Flow Analysis", The Journal of Supercomputing, Volume 5, Number 2, Pages 163-188, October, 1991.

  114. Analysis of C

    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.

  115. Analysis of C

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

  116. Analysis of Explicitly Parallel Programs

    S. Masticola and B. G. Ryder, "A Model of Ada Programs for Static Deadlock Detection", Proceedings of 1991 ACM/ONR Workshop on Parallel and, Pages 91-102, May, 1991.

    Note: Published as ACM SIGPLAN Notices, vol 26, no 12, December 1991.

  117. Analysis of C

    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

  118. Incremental Data Flow Analysis

    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.

  119. Analysis of C

    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.

  120. Parallel Data Flow Analysis

    Yong-fong Lee, Thomas J. Marlowe, and Barbara G. Ryder, "Performing Data Flow Analysis in Parallel", Proceedings of ACM Supercomputing90, Pages 942-951, November, 1990.

    See also: CAIP-TR-108.

  121. Analysis of Explicitly Parallel Programs

    E. Schatz and B. G. Ryder, "Directed Tracing to Detect Race Conditions", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-155, November, 1990.

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

  122. Analysis of Explicitly Parallel Programs

    S. Masticola and B. G. Ryder, "Static Infinite Wait Anomaly Detection in Polynomial Time", Proceedings of the International Conference on Parallel Processing, Pages II78-II87, August, 1990.

    Note: Longer version available as LCSR-TR-141.

  123. Incremental Data Flow Analysis

    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.

  124. Incremental Data Flow Analysis

    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.

  125. Incremental Data Flow Analysis

    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.

  126. Foundations of Data Flow Analysis

    T. J. Marlowe and B. G. Ryder, "Properties of Data Flow Frameworks: a Unified Model", Acta Informatica, Volume 28, Pages 121-163, 1990.

    URL: http://www.prolangs.rutgers.edu/refs/docs/DataflowFrameworks-Acta90.pdf

  127. Incremental Data Flow Analysis

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

  128. Incremental Data Flow Analysis

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

    Note: Also available as DCS-TR-255.

  129. Incremental Data Flow Analysis

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

    Note: Also available as LCSR-TR-111.

  130. Foundations of Data Flow Analysis

    Barbara G. Ryder and Stephen J. Pendergrast, "Experiments in Optimizing FP", IEEE Transactions on Software Engineering, Volume 14, Number 4, Pages 444-454, April, 1988.

  131. Incremental Data Flow Analysis

    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.

  132. Incremental Data Flow Analysis

    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.

  133. Incremental Data Flow Analysis

    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.

  134. Incremental Data Flow Analysis

    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.

  135. Incremental Data Flow Analysis

    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.

  136. Foundations of Data Flow Analysis

    B. G. Ryder and M. C. Paull, "Elimination Algorithms for Data Flow Analysis", ACM Computing Surveys, Volume 18, Number 3, Pages 277-316, September, 1986.

    See also: DCS-TR-140.

  137. Incremental Data Flow Analysis

    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.

  138. Foundations of Data Flow Analysis

    A. M. Berman, M. C. Paull, and B. G. Ryder, "Proving Relative Lower Bounds for Incremental Algorithms", Acta Informatica, Volume 27, Pages 665-583, July, 199.

    See also: DCS-TR-154 4/85.