This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
  1. Security

    Fang Liu, Haipeng Cai, gang Wang, Danfeng Yao, and Babara G. Ryder, "MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communications Risks", Proceedings of the 2017 Mobile Security Technologies Workshop (MoST), july, 2017.

    Note: © Copyright 2016 IEEE Computer Society.

  2. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceRevamping JavaScript static analysis via localization and remediation of root causes of imprecision
    Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
    FSE 2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

    Note: © Copyright 2016 ACM.

  3. Security

    Xu, Kui, Tian, Ke, Yao, Danfeng and Ryder, Barbara G., "A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity", Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), May, 2016.

    Local

    Note: © Copyright 2016 IEEE Computer Society.

  4. Security

    Tien, Ke, Yao, Danfeng, Ryder, Barbara G., and Tan, Gang, "Analysis of Internal Code Heterogeneity for High-Precision Classification of Repackaged Malware", Proceedings of the Mobile Security Technologies Workshop (MoST), May, 2016.

    Local

    Note: © Copyright 2016 IEEE Computer Society.

  5. Security

    Xiaokui Shu, Danfeng Yao, and Barbara Ryder, "A Formal Framework for Program Anomaly Detection", Proceedings of the 18th International Symposium on Research in Attacks, Intrusions and Defenses (RAID), November, 2015.

    Local

    Digital Library

    Note: © Copyright 2015 Springer.

  6. Security

    Kui Xu and Danfeng Yao and Barbara G. Ryder and Ke Tian, "Probabilistic Program Modeling for High Precision Anomaly Classification", Proceedings of the Computer Security Foundations Symposium, July, 2015.

    Local

    Digital Library

    Note: © Copyright 2015 IEEE Computer Society.

  7. Analysis of Object-Oriented Languages

    Shiyi Wei and Barbara G. Ryder, "Adaptive Context-sensitive Analysis for JavaScript", Proceedings of the European Conference on Object-oriented Programming (ECOOP), July, 2015.

    Local

    Digital Library

    Note: © Copyright 2015 Dagstuhl.

  8. Security

    Karim O. Elish and Danfeng Yao and Barbara G. Ryder, "Static Characterization of Pairwise Android Inter-component Communications for Collusion Detection", Proceedings of the Mobile Security Technologies (MoST), May, 2015.

    Note: © Copyright 2015 IEEE Computer Society.

  9. Analysis of Object-Oriented Languages

    Shiyi Wei, Franceska Xhakaj, and Barbara G. Ryder, "Empirical Study of the Dynamic Behavior of JavaScript Objects", Software: Practice and Experience, May, 2015.

    Local

    Digital Library

    Note: © Copyright 2015 Wiley.

  10. Security

    Karim O. Elish and Danfeng Yao and Barbara G. Ryder, "Profiling User-trigger Dependence for Android Malware Detection", Computers and Society, February, 2015.

    Local

    Digital Library

    Note: © Copyright 2015 Elsevier.

  11. Analysis of Object-Oriented Languages

    Shiyi Wei and Barbara G. Ryder, "State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects", Proceedings of the European Conference on Object-oriented Programming (ECOOP), July, 2014.

    Local

    Digital Library

    Note: © Copyright 2014 Springer.

  12. Analysis of Object-Oriented Languages

    ACM DL Author-ize servicePractical blended taint analysis for JavaScript
    Shiyi Wei, Barbara G. Ryder
    ISSTA 2013 Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013

    Digital Library

    Note: © Copyright 2013 ACM.

  13. Security

    Karim O. Elish and Danfeng Yao and Barbara G. Ryder, "User-centric Dependence Analysis for Identifying Malicious Mobile Apps", Mobile Security Technologies workshop, October, 2012.

    Local

    Note: © Copyright 2012 IEEE.

  14. Analysis of Object-Oriented Languages

    Shiyi Wei and Barbara G. Ryder, "A Practical Blended Analysis for Dynamic Features in JavaScript", Number Department of Computer Science, Virginia Tech, TR-12-18, September, 2012.

    Local

  15. Foundations of Data Flow Analysis

    Barbara G. Ryder and Benjamin Weidermann, "Languages Design and Analyzability: A Retrospective", Software Practice and Experience, Volume 42, Pages 3-18, October, 2011.

    Digital Library

    Note: © Copyright 2011 John Wiley & Sons available online at wileyonlinelibrary.com.

  16. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceHI-C: diagnosing object churn in framework-based applications
    Marc Fisher, II, Luke Marrs, Barbara G. Ryder
    FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, 2010

    Note: © Copyright 2010 ACM.

  17. Analysis of Object-Oriented Languages

    Marc Fisher II and Bruno Dufour and Shrutarshi Basu and Barbara G. Ryder, "Exploring the Impact of Context Sensitivity on Blended Analysis", Proceedings of the International Conference on Software Maintenance, September, 2010.

    Local

    Note: © Copyright 2010 IEEE Computer Society .

  18. Software Tools and Optimizations for Object-Oriented Languages

    Jan Wloka and Einar W. Høst and Barbara G. Ryder, "Tool Support for Change-centric Test Development", IEEE Software, Volume 27, Number 3, May/June, 2010.

    Local

    Digital Library

    Note: © Copyright 2010 IEEE Computer Society .

  19. Software Tools and Optimizations for Object-Oriented Languages

    Ali H. Ibrahim and William R. Cook and Marc Fisher II and Eli Tilevich, "Remote batch invocation for web services: Document-oriented web services with object-oriented interfaces", Proceedings of the European Conference on Web Services, Pages {190-199}, November, 2009.

    Local

    Digital Library

  20. Software Tools and Optimizations for Object-Oriented Languages

    Jan Wloka and Barbara G. Ryder and Frank Tip, "JUnitMX -- A Change-aware Unit Testing Tool", International Conference on Software Engineering, May, 2009.

    Local

    Digital Library

    Note: © Copyright 2009 IEEE Computer Society .

  21. Software Tools and Optimizations for Object-Oriented Languages

    Jan Wloka and Barbara G. Ryder and Frank Tip and Xiaoxia Ren, "Safe-Commit Analysis to Facilitate Team Software Development", International Conference on Software Engineering, May, 2009.

    Local

    Digital Library

    Note: © Copyright 2009 IEEE Computer Society .

  22. Analysis of Object-Oriented Languages

    Emmanuel Geay and Marco Pistoia and Takaaki Tateishi and Barbara G. Ryder and Julian Dolby, "Modular String-Sensitive Permission Analysis with Demand-Driven Precision", International Conference on Software Engineering, May, 2009.

    Local

    Note: © Copyright 2009 IEEE Computer Society .

  23. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceA scalable technique for characterizing the usage of temporaries in framework-intensive Java applications
    Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
    SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008

    Digital Library

    Note: © Copyright 2008 ACM.

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

    Digital Library

    Note: © Copyright 2007 John Wiley & Sons .

  25. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceHeuristic ranking of java program edits for fault localization
    Xiaoxia Ren, Barbara G. Ryder
    ISSTA '07 Proceedings of the 2007 international symposium on Software testing and analysis, 2007

    Digital Library

    Note: © Copyright 2007 ACM.

  26. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceBlended analysis for performance understanding of framework-based applications
    Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
    ISSTA '07 Proceedings of the 2007 international symposium on Software testing and analysis, 2007

    Digital Library

    Note: © Copyright 2007 ACM.

  27. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceDiscovering accurate interclass test dependences
    Weilei Zhang, Barbara G. Ryder
    PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2007

    Digital Library

    Note: © Copyright 2007 ACM .

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

    Digital Library

    Note: © Copyright 2007 IEEE Computer Society .

  29. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceFinding failure-inducing changes in java programs using change classification
    Maximilian Stoerzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip
    SIGSOFT '06/FSE-14 Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, 2006

    Digital Library

    Note: © Copyright 2006 ACM..

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

    Digital Library

    Note: © Copyright 2006 IEEE.

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

    Local

    Digital Library

    Note: © Copyright 2006 IEEE Computer Society .

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

    Local

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

    Local

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

    Digital Library

    Note: © Copyright 2005 IEEE Computer Society .

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

    Local

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

    Digital Library

    Note: © Copyright 2005 IEEE Computer Society .

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

    Local

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

  38. Analysis of Object-Oriented Languages

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

    Local

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

    Digital Library

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

  40. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceParameterized object sensitivity for points-to analysis for Java
    Ana Milanova, Atanas Rountev, Barbara G. Ryder
    ACM Transactions on Software Engineering and Methodology (TOSEM), 2005

    Digital Library

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

  41. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceChianti: a tool for change impact analysis of java programs
    Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley
    OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2004

    Digital Library

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

  42. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceTesting of java web services for robustness
    Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott
    ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, 2004

    Digital Library

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

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

    Digital Library

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

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

    Digital Library

    Note: © Copyright 2004 Kluwer Academic Publishers.

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

    Local

    Note: Also available as IBM RC-22983.

  46. Analysis of Object-Oriented Languages

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

    Local

    Note: Also available as DCS-TR-539.

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

    Local

    Note: © Copyright 2003 IEEE.

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

    Local

    Digital Library

    Note: © Copyright 2003 IEEE.

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

    Local

    Note: © Copyright 2003 Springer-Verlag.

  50. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceOnline feedback-directed optimization of Java
    Matthew Arnold, Michael Hind, Barbara G. Ryder
    OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2002

    Digital Library

    Note: © Copyright 2002 ACM.

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

    Local

    Note: Also available as DCS-TR-469.

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

    Local

    Digital Library

    Note: © Copyright 2002 IEEE Computer Society .

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

    Local

  54. Analysis of Object-Oriented Languages

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

    Note: Also available as DCS-TR-501.

  55. Analysis of Object-Oriented Languages

    Note: © Copyright 2001 ACM.

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

    Local

    Note: © Copyright 2002 Springer-Verlag.

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

    Local

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

    Local

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

    Local

  60. Analysis of Object-Oriented Languages

    ACM DL Author-ize servicePoints-to analysis for Java using annotated constraints
    Atanas Rountev, Ana Milanova, Barbara G. Ryder
    OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2001

    Note: © Copyright 2001 ACM.

  61. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceA framework for reducing the cost of instrumented code
    Matthew Arnold, Barbara G. Ryder
    PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, 2001

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

  62. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceChange impact analysis for object-oriented programs
    Barbara G. Ryder, Frank Tip
    PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2001

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

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

    Local

    Note: The URL points to a preliminary version.

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

    Local

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

    Local

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

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

    Local

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

  67. Analysis of C

    Digital Library

    Note: © Copyright 2001 ACM.

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

    Local

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

    Digital Library

    Note: © Copyright 2001 Kluwer Academic Publishers.

  70. Software Tools and Optimizations for Object-Oriented Languages

    ACM DL Author-ize serviceA framework for reducing the cost of instrumented code
    Matthew Arnold, Barbara G. Ryder
    PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, 2001

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

    Local

    Note: Supersedes DCS-TR-417.

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

    Local

    Digital Library

    Note: © Copyright 2000 ACM.

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

    Local

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

    Local

    Note: © Copyright 2000 Springer-Verlag.

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

    Local

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

    Local

    Digital Library

    Note: © Copyright 2000 ACM.

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

    Local

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

    Local

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

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

    Local

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

    Local

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

    Local

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

    Local

    Note: Available as DCS-TR-406.

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

    Local

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

    Local

    Digital Library

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

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

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

  86. Analysis of C

    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.

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

    Local

    Note: Earlier version of the LCPC'99 paper.

  88. Incremental Data Flow Analysis

    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.

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

    Local

    Note: Earlier version of the FSE'99 paper.

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

    Local

  91. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceRelevant context inference
    Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
    POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1999

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

  92. Analysis of Object-Oriented Languages

    ACM DL Author-ize serviceRelevant context inference
    Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
    POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1999

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

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

    Local

  94. Analysis of C

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

    Local

    Note: Available as DCS-TR-367.

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

    Local

  96. Analysis of C

    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.

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

    Local

    Note: Revised for journal August 1999.

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

    Local

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

  99. Analysis of C

    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.

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

    Local

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

    Local

    Note: Longer version of the ESOP'98 paper.

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

    Local

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

    Local

    Note: © Copyright 1997 ACM.

  104. Foundations of Data Flow Analysis

    Digital Library

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

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

    Local

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

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

    Local

    Note: © Copyright 1996 Springer-Verlag.

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

  108. Analysis of Object-Oriented Languages

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

    Local

    Note: Available as LCSR-TR-260.

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

    Local

    Note: Longer version of the FSE'96 paper.

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

    Local

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

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

    Local

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

    Local

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

    Local

    Note: Revised version of LCSR-TR-241.

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

    Local

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

    Local

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

    Local

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

    Local

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

    Local

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

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

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

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

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

  124. Analysis of C

  125. Analysis of C

    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

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

  126. Analysis of Explicitly Parallel Programs

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

    Local

    Note: Also available as LCSR-TR-208.

  127. Analysis of Explicitly Parallel Programs

    ACM DL Author-ize serviceNon-concurrency analysis
    Stephen P. Masticola, Barbara G. Ryder
    PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, 1993

    Note: Published as ACM SIGPLAN Notices, May 1993.

  128. Analysis of C

    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.

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

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

  131. Parallel Data Flow Analysis

    ACM DL Author-ize serviceA comprehensive approach to parallel data flow analysis
    Yong-Fong Lee, Barbara G. Ryder
    ICS '92 Proceedings of the 6th international conference on Supercomputing, 1992

  132. Analysis of C

    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

    See also: LCSR-TR-168.

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

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

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

  135. Analysis of C

    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.

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

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

  138. Analysis of C

    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.

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

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

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

  142. Analysis of C

    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

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

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

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

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

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

  148. Incremental Data Flow Analysis

    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

    See also: LCSR-TR-125.

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

    Local

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

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

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

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

    Digital Library

  154. Incremental Data Flow Analysis

    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

  155. Incremental Data Flow Analysis

    ACM DL Author-ize serviceIncremental data-flow analysis algorithms
    Barbara G. Ryder, Marvin C. Paull
    ACM Transactions on Programming Languages and Systems (TOPLAS), 1988

    Note: was DCS-TR-131.

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

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

  158. Incremental Data Flow Analysis

    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

  159. Foundations of Data Flow Analysis

    See also: DCS-TR-140.

  160. Incremental Data Flow Analysis

    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

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