Search the dblp DataBase
Barbara G. Ryder :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Hemant D. Pande , Barbara G. Ryder Static Type Determination for C++. [Citation Graph (0, 0)][DBLP ] C++ Conference, 1994, pp:85-98 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Emmi Schatz , Barbara G. Ryder Directed Tracing to Detect Race Conditions. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1992, pp:247-250 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Ana Milanova , Barbara G. Ryder Annotated Inclusion Constraints for Precise Flow Analysis. [Citation Graph (0, 0)][DBLP ] ICSM, 2005, pp:187-196 [Conf ] Ana Milanova , Atanas Rountev , Barbara G. Ryder Constructing Precise Object Relation Diagrams. [Citation Graph (0, 0)][DBLP ] ICSM, 2002, pp:586-595 [Conf ] 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 ] 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 ] 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 ] 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 ] Matthew Arnold , Michael Hind , Barbara G. Ryder An Empirical Study of Selective Optimization. [Citation Graph (0, 0)][DBLP ] LCPC, 2000, pp:49-67 [Conf ] 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 ] 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 ] Matthew Arnold , Michael Hind , Barbara G. Ryder Online feedback-directed optimization of Java. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2002, pp:111-129 [Conf ] 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 ] 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 ] 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 ] Barbara G. Ryder , Frank Tip Change impact analysis for object-oriented programs. [Citation Graph (0, 0)][DBLP ] PASTE, 2001, pp:46-53 [Conf ] 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 ] 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 ] William Landi , Barbara G. Ryder A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. [Citation Graph (0, 0)][DBLP ] PLDI, 1992, pp:235-248 [Conf ] 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 ] 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 ] 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 ] Ramkrishna Chatterjee , Barbara G. Ryder , William Landi Relevant Context Inference. [Citation Graph (0, 0)][DBLP ] POPL, 1999, pp:133-146 [Conf ] William Landi , Barbara G. Ryder Pointer-Induced Aliasing: A Problem Classification. [Citation Graph (0, 0)][DBLP ] POPL, 1991, pp:93-103 [Conf ] 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 ] Barbara G. Ryder Incremental Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] POPL, 1983, pp:167-176 [Conf ] Stephen P. Masticola , Barbara G. Ryder Non-concurrency Analysis. [Citation Graph (0, 0)][DBLP ] PPOPP, 1993, pp:129-138 [Conf ] Hemant D. Pande , Barbara G. Ryder Data-Flow-Based Virtual Function Resolution. [Citation Graph (0, 0)][DBLP ] SAS, 1996, pp:238-254 [Conf ] Barbara G. Ryder Practical Compile-Time Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 1997, pp:406-412 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Barbara G. Ryder The Future of Program Analysis. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:174- [Journal ] 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 ] 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 ] 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 ] 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 ] Barbara G. Ryder MASPLAS '98 - Conference Report. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1998, v:33, n:6, pp:16- [Journal ] 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 ] Barbara G. Ryder The PFORT Verifier. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1974, v:4, n:4, pp:359-377 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Weilei Zhang , Barbara G. Ryder Discovering accurate interclass test dependences. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:55-62 [Conf ] JUnitMX - A change-aware unit testing tool. [Citation Graph (, )][DBLP ] Modular string-sensitive permission analysis with demand-driven precision. [Citation Graph (, )][DBLP ] Safe-commit analysis to facilitate team software development. [Citation Graph (, )][DBLP ] Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. [Citation Graph (, )][DBLP ] A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. [Citation Graph (, )][DBLP ] Navigating error recovery code in Java applications. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.012secs