This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
  1. 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.

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

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

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

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

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

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

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

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

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

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

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

    Note: © Copyright 2007 ACM .

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

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

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

    Local

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

    Local

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

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

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

    Local

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

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

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

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

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

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

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

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

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

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

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

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

    Note: Also available as DCS-TR-501.

  30. Note: © Copyright 2001 ACM.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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