The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Barbara G. Ryder: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Barbara G. Ryder, Marvin C. Paull
    Elimination Algorithms for Data Flow Analysis. [Citation Graph (1, 0)][DBLP]
    ACM Comput. Surv., 1986, v:18, n:3, pp:277-316 [Journal]
  2. Hemant D. Pande, Barbara G. Ryder
    Static Type Determination for C++. [Citation Graph (0, 0)][DBLP]
    C++ Conference, 1994, pp:85-98 [Conf]
  3. Atanas Rountev, Barbara G. Ryder
    Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. [Citation Graph (0, 0)][DBLP]
    CC, 2001, pp:20-36 [Conf]
  4. Barbara G. Ryder
    Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:126-137 [Conf]
  5. Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah
    A Static Study of Java Exceptions Using JESP. [Citation Graph (0, 0)][DBLP]
    CC, 2000, pp:67-81 [Conf]
  6. Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott
    Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:595-604 [Conf]
  7. Matthew Arnold, Barbara G. Ryder
    Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:498-524 [Conf]
  8. Atanas Rountev, Barbara G. Ryder, William Landi
    Data-Flow Analysis of Program Fragments. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:235-252 [Conf]
  9. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
    Complexity of Concrete Type-Inference in the Presence of Exceptions. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:57-74 [Conf]
  10. Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski
    Region Analysis: A Parallel Elimination Method for Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:31-42 [Conf]
  11. Stephen P. Masticola, Barbara G. Ryder
    Static Infinite Wait Anomaly Detection in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1990, pp:78-87 [Conf]
  12. Emmi Schatz, Barbara G. Ryder
    Directed Tracing to Detect Race Conditions. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1992, pp:247-250 [Conf]
  13. Yong-Fong Lee, Barbara G. Ryder
    A comprehensive approach to parallel data flow analysis. [Citation Graph (0, 0)][DBLP]
    ICS, 1992, pp:236-247 [Conf]
  14. Chen Fu, Barbara G. Ryder
    Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:230-239 [Conf]
  15. Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip
    Chianti: a change impact analysis tool for java programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:664-665 [Conf]
  16. Atanas Rountev, Ana Milanova, Barbara G. Ryder
    Fragment Class Analysis for Testing of Polymorphism in Java Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:210-220 [Conf]
  17. Jyh-Shiarn Yur, Barbara G. Ryder, William Landi
    An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:442-451 [Conf]
  18. Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks
    Incremental Analysis of Side Effects for C Software System. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:422-432 [Conf]
  19. Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip
    Crisp--A Fault Localization Tool for Java Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:775-779 [Conf]
  20. Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder
    Crisp: A Debugging Tool for Java Programs. [Citation Graph (0, 0)][DBLP]
    ICSM, 2005, pp:401-410 [Conf]
  21. Ana Milanova, Barbara G. Ryder
    Annotated Inclusion Constraints for Precise Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ICSM, 2005, pp:187-196 [Conf]
  22. Ana Milanova, Atanas Rountev, Barbara G. Ryder
    Constructing Precise Object Relation Diagrams. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:586-595 [Conf]
  23. Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott
    Testing of java web services for robustness. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:23-34 [Conf]
  24. Ana Milanova, Atanas Rountev, Barbara G. Ryder
    Parameterized object sensitivity for points-to and side-effect analyses for Java. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:1-11 [Conf]
  25. Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
    Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:21-31 [Conf]
  26. Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder
    Instruction Scheduling in the Presence of Java's Runtime Exceptions. [Citation Graph (0, 0)][DBLP]
    LCPC, 1999, pp:18-34 [Conf]
  27. Matthew Arnold, Michael Hind, Barbara G. Ryder
    An Empirical Study of Selective Optimization. [Citation Graph (0, 0)][DBLP]
    LCPC, 2000, pp:49-67 [Conf]
  28. Yong-Fong Lee, Barbara G. Ryder
    Parallel Hybrid Data Flow Algorithms: A Case Study. [Citation Graph (0, 0)][DBLP]
    LCPC, 1992, pp:296-310 [Conf]
  29. Vincent Sgro, Barbara G. Ryder
    Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. [Citation Graph (0, 0)][DBLP]
    LCPC, 1994, pp:217-233 [Conf]
  30. Matthew Arnold, Michael Hind, Barbara G. Ryder
    Online feedback-directed optimization of Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:111-129 [Conf]
  31. Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley
    Chianti: a tool for change impact analysis of java programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2004, pp:432-448 [Conf]
  32. Atanas Rountev, Ana Milanova, Barbara G. Ryder
    Points-To Analysis for Java using Annotated Constraints. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:43-55 [Conf]
  33. Sean Zhang, Barbara G. Ryder, William Landi
    Experiments with Combined Analysis for Pointer Aliasing. [Citation Graph (0, 0)][DBLP]
    PASTE, 1998, pp:11-18 [Conf]
  34. Barbara G. Ryder, Frank Tip
    Change impact analysis for object-oriented programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:46-53 [Conf]
  35. Stephen P. Masticola, Barbara G. Ryder
    A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1991, pp:97-107 [Conf]
  36. Matthew Arnold, Barbara G. Ryder
    A Framework for Reducing the Cost of Instrumented Code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:168-179 [Conf]
  37. William Landi, Barbara G. Ryder
    A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:235-248 [Conf]
  38. William Landi, Barbara G. Ryder
    A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1992, pp:473-489 [Conf]
  39. William Landi, Barbara G. Ryder, Sean Zhang
    Interprocedural Side Effect Analysis With Pointer Aliasing. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:56-67 [Conf]
  40. Martin D. Carroll, Barbara G. Ryder
    Incremental Data Flow Analysis via Dominator and Attribute Updates. [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:274-284 [Conf]
  41. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
    Relevant Context Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:133-146 [Conf]
  42. William Landi, Barbara G. Ryder
    Pointer-Induced Aliasing: A Problem Classification. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:93-103 [Conf]
  43. Thomas J. Marlowe, Barbara G. Ryder
    An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:184-196 [Conf]
  44. Barbara G. Ryder
    Incremental Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:167-176 [Conf]
  45. Stephen P. Masticola, Barbara G. Ryder
    Non-concurrency Analysis. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1993, pp:129-138 [Conf]
  46. Hemant D. Pande, Barbara G. Ryder
    Data-Flow-Based Virtual Function Resolution. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:238-254 [Conf]
  47. Barbara G. Ryder
    Practical Compile-Time Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:406-412 [Conf]
  48. Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder
    Performing data flow analysis in parallel. [Citation Graph (0, 0)][DBLP]
    SC, 1990, pp:942-951 [Conf]
  49. Ana Milanova, Atanas Rountev, Barbara G. Ryder
    Precise Call Graph Construction in the Presence of Function Pointers. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:155-162 [Conf]
  50. Weilei Zhang, Barbara G. Ryder
    Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. [Citation Graph (0, 0)][DBLP]
    SCAM, 2006, pp:63-74 [Conf]
  51. Sean Zhang, Barbara G. Ryder, William Landi
    Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:81-92 [Conf]
  52. Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip
    Finding failure-inducing changes in java programs using change classification. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:57-68 [Conf]
  53. A. Michael Berman, Marvin C. Paull, Barbara G. Ryder
    Proving Relative Lower Bounds for Incremental Algorithms. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:7, pp:665-683 [Journal]
  54. Thomas J. Marlowe, Barbara G. Ryder
    Properties of Data Flow Frameworks. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1990, v:28, n:2, pp:121-163 [Journal]
  55. Ana Milanova, Atanas Rountev, Barbara G. Ryder
    Precise Call Graphs for C Programs with Function Pointers. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:1, pp:7-26 [Journal]
  56. Barbara G. Ryder
    The Future of Program Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:174- [Journal]
  57. Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder
    Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2001, v:29, n:2, pp:111-137 [Journal]
  58. Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini
    Pointer-Induced Aliasing: A Clarification. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1993, v:28, n:9, pp:67-70 [Journal]
  59. Barbara G. Ryder
    PLDI '99: Programming Language Design and Implementation (Report). [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:2, pp:9- [Journal]
  60. Barbara G. Ryder
    A Position Paper on Compile-time Program Analysis. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:110-114 [Journal]
  61. Barbara G. Ryder
    MASPLAS '98 - Conference Report. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:6, pp:16- [Journal]
  62. Barbara G. Ryder, Mary Lou Soffa
    Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2003, v:38, n:6, pp:16-22 [Journal]
  63. Barbara G. Ryder
    The PFORT Verifier. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1974, v:4, n:4, pp:359-377 [Journal]
  64. Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder
    Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:5, pp:777-803 [Journal]
  65. Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher
    A schema for interprocedural modification side-effect analysis with pointer aliasing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:2, pp:105-186 [Journal]
  66. Barbara G. Ryder, Marvin C. Paull
    Incremental Data-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:1, pp:1-50 [Journal]
  67. Ana Milanova, Atanas Rountev, Barbara G. Ryder
    Parameterized object sensitivity for points-to analysis for Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:1, pp:1-41 [Journal]
  68. Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett
    The impact of software engineering research on modern progamming languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:431-477 [Journal]
  69. Michael G. Burke, Barbara G. Ryder
    A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:7, pp:723-728 [Journal]
  70. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
    Complexity of Points-To Analysis of Java in the Presence of Exceptions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:6, pp:481-512 [Journal]
  71. Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott
    Robustness Testing of Java Server Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:4, pp:292-311 [Journal]
  72. Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski
    Region Analysis: A Parallel Elimination Method for Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:11, pp:913-926 [Journal]
  73. Hemant D. Pande, William Landi, Barbara G. Ryder
    Interprocedural Def-Use Associations for C Systems with Single Level Pointers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:5, pp:385-403 [Journal]
  74. Atanas Rountev, Ana Milanova, Barbara G. Ryder
    Fragment Class Analysis for Testing of Polymorphism in Java Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:6, pp:372-387 [Journal]
  75. Barbara G. Ryder
    Constructing the Call Graph of a Program. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:3, pp:216-226 [Journal]
  76. Barbara G. Ryder
    Experiments in Optimizing FP. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:4, pp:444-454 [Journal]
  77. Barbara G. Ryder, William Landi, Hemant D. Pande
    Profiling an Incremental Data Flow Analysis Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:2, pp:129-140 [Journal]
  78. Xiaoxia Ren, Ophelia Chesley, Barbara G. Ryder
    Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:9, pp:718-732 [Journal]
  79. Xiaoxia Ren, Barbara G. Ryder
    Heuristic ranking of java program edits for fault localization. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:239-249 [Conf]
  80. Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
    Blended analysis for performance understanding of framework-based applications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:118-128 [Conf]
  81. Weilei Zhang, Barbara G. Ryder
    Discovering accurate interclass test dependences. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:55-62 [Conf]

  82. JUnitMX - A change-aware unit testing tool. [Citation Graph (, )][DBLP]


  83. Modular string-sensitive permission analysis with demand-driven precision. [Citation Graph (, )][DBLP]


  84. Safe-commit analysis to facilitate team software development. [Citation Graph (, )][DBLP]


  85. Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. [Citation Graph (, )][DBLP]


  86. A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. [Citation Graph (, )][DBLP]


  87. Navigating error recovery code in Java applications. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002