| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Barbara G. Ryder, Ben Wiedermann |
Language design and analyzability: a retrospective.  |
Softw., Pract. Exper.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Andreas Zeller |
Introduction: The Best Papers of ISSTA. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Einar Hoest, Barbara G. Ryder |
Tool Support for Change-Centric Test Development. |
IEEE Software |
2010 |
DBLP DOI BibTeX RDF |
Unit testing, test-driven development, test coverage, change impact analysis |
| 1 | Marc Fisher II, Bruno Dufour, Shrutarshi Basu, Barbara G. Ryder |
Exploring the impact of context sensitivity on blended analysis. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Fisher II, Luke Marrs, Barbara G. Ryder |
HI-C: diagnosing object churn in framework-based applications. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Horwitz, Susan H. Rodger, Maureen Biggers, David Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat |
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
esp, introductory computer science course, peer-led team learning, pltl, inclusion, women in computer science, under-represented groups |
| 1 | Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby |
Modular string-sensitive permission analysis with demand-driven precision. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren |
Safe-commit analysis to facilitate team software development. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Barbara G. Ryder, Frank Tip |
JUnitMX - A change-aware unit testing tool. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Andreas Zeller (eds.) |
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008 |
ISSTA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
framework-intensive applications, Java, performance, program understanding, dataflow analysis, escape analysis |
| 1 | Weilei Zhang, Barbara G. Ryder |
Automatic construction of accurate application call graph with library call abstraction for Java. |
Journal of Software Maintenance |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
Blended analysis for performance understanding of framework-based applications. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
framework-intensive applications, program understandingperfor-mance, java, dataflow analysis, escape analysis |
| 1 | Xiaoxia Ren, Barbara G. Ryder |
Heuristic ranking of java program edits for fault localization. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
heuristic ranking, java, testing, debugging, fault localization, change impact analysis |
| 1 | Weilei Zhang, Barbara G. Ryder |
Discovering accurate interclass test dependences. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
class integration test, interclass test dependence |
| 1 | Barbara G. Ryder, Brent Hailpern (eds.) |
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007 |
HOPL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip |
Crisp--A Fault Localization Tool for Java Programs. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Fu, Barbara G. Ryder |
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxia Ren, Ophelia Chesley, Barbara G. Ryder |
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
semantic change impact analysis, edit change dependence, intermediate versions of programs, regression testing, Fault localization |
| 1 | Weilei Zhang, Barbara G. Ryder |
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip |
Finding failure-inducing changes in java programs using change classification. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
testing, debugging, version control, fault localization, change impact analysis |
| 1 | Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott |
Robustness Testing of Java Server Applications. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
def-use testing, test coverage metrics, Java, Reliability, exceptions |
| 1 | Ana Milanova, Atanas Rountev, Barbara G. Ryder |
Parameterized object sensitivity for points-to analysis for Java. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis |
| 1 | Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett |
The impact of software engineering research on modern progamming languages. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
Software Engineering, Programming Languages |
| 1 | Chen Fu, Barbara G. Ryder |
Navigating error recovery code in Java applications. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Milanova, Barbara G. Ryder |
Annotated Inclusion Constraints for Precise Flow Analysis. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder |
Crisp: A Debugging Tool for Java Programs. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip |
Chianti: a change impact analysis tool for java programs. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
analysis of object-oriented programs, regression test, unit test, change impact analysis |
| 1 | Atanas Rountev, Ana Milanova, Barbara G. Ryder |
Fragment Class Analysis for Testing of Polymorphism in Java Software. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Milanova, Atanas Rountev, Barbara G. Ryder |
Precise Call Graphs for C Programs with Function Pointers. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
function pointers, pointer analysis, call graph |
| 1 | Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott |
Testing of java web services for robustness. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
def-use testing, test coverage metrics, java, exceptions |
| 1 | Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley |
Chianti: a tool for change impact analysis of java programs. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
analysis of object-oriented programs, regression test, unit test, change impact analysis |
| 1 | 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. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ACM SIGSOFT Software Engineering Notes |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Atanas Rountev, Ana Milanova, Barbara G. Ryder |
Fragment Class Analysis for Testing of Polymorphism in Java Software. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Milanova, Atanas Rountev, Barbara G. Ryder |
Precise Call Graph Construction in the Presence of Function Pointers. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Milanova, Atanas Rountev, Barbara G. Ryder |
Parameterized object sensitivity for points-to and side-effect analyses for Java. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Milanova, Atanas Rountev, Barbara G. Ryder |
Constructing Precise Object Relation Diagrams. (PDF / PS) |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Arnold, Michael Hind, Barbara G. Ryder |
Online feedback-directed optimization of Java. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
virtual machines, online algorithms, dynamic optimization, adaptive optimization |
| 1 | Matthew Arnold, Barbara G. Ryder |
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Points-To Analysis of Java in the Presence of Exceptions. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Java, complexity, exceptions, Points-to analysis |
| 1 | Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder |
Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling. |
International Journal of Parallel Programming |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher |
A schema for interprocedural modification side-effect analysis with pointer aliasing. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Arnold, Barbara G. Ryder |
A Framework for Reducing the Cost of Instrumented Code. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Frank Tip |
Change impact analysis for object-oriented programs. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Atanas Rountev, Barbara G. Ryder |
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Atanas Rountev, Ana Milanova, Barbara G. Ryder |
Points-To Analysis for Java using Annotated Constraints. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
PLDI '99: Programming Language Design and Implementation (Report). |
SIGPLAN Notices |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah |
A Static Study of Java Exceptions Using JESP. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Arnold, Michael Hind, Barbara G. Ryder |
An Empirical Study of Selective Optimization. |
LCPC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Relevant Context Inference. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Atanas Rountev, Barbara G. Ryder, William Landi |
Data-Flow Analysis of Program Fragments. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder |
Instruction Scheduling in the Presence of Java's Runtime Exceptions. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi |
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. |
ICSE |
1999 |
DBLP BibTeX RDF |
interprocedural pointer aliasing, interprocedural side effect analysis, incremental analysis |
| 1 | Barbara G. Ryder |
MASPLAS '98 - Conference Report. |
SIGPLAN Notices |
1998 |
DBLP BibTeX RDF |
|
| 1 | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity |
| 1 | Sean Zhang, Barbara G. Ryder, William Landi |
Experiments with Combined Analysis for Pointer Aliasing. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
Complexity of Concrete Type-Inference in the Presence of Exceptions. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
A Position Paper on Compile-time Program Analysis. |
SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
Practical Compile-Time Analysis. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks |
Incremental Analysis of Side Effects for C Software System. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
C, dataflow analysis, incremental analysis |
| 1 | Barbara G. Ryder |
The Future of Program Analysis. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hemant D. Pande, Barbara G. Ryder |
Data-Flow-Based Virtual Function Resolution. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Zhang, Barbara G. Ryder, William Landi |
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
C |
| 1 | Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski |
Region Analysis: A Parallel Elimination Method for Data Flow Analysis. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis |
| 1 | Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder |
Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
lattice frameworks, data flow analysis |
| 1 | Hemant D. Pande, William Landi, Barbara G. Ryder |
Interprocedural Def-Use Associations for C Systems with Single Level Pointers. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection |
| 1 | Yong-Fong Lee, Barbara G. Ryder |
Effectively exploiting parallelism in data flow analysis. |
The Journal of Supercomputing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hemant D. Pande, Barbara G. Ryder |
Static Type Determination for C++. |
C++ Conference |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski |
Region Analysis: A Parallel Elimination Method for Data Flow Analysis. |
ICCL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Vincent Sgro, Barbara G. Ryder |
Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. |
LCPC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini |
Pointer-Induced Aliasing: A Clarification. |
SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | William Landi, Barbara G. Ryder, Sean Zhang |
Interprocedural Side Effect Analysis With Pointer Aliasing. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
C |
| 1 | Stephen P. Masticola, Barbara G. Ryder |
Non-concurrency Analysis. |
PPOPP |
1993 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | William Landi, Barbara G. Ryder |
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
C |
| 1 | William Landi, Barbara G. Ryder |
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) |
Best of PLDI |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmi Schatz, Barbara G. Ryder |
Directed Tracing to Detect Race Conditions. |
ICPP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yong-Fong Lee, Barbara G. Ryder |
A comprehensive approach to parallel data flow analysis. |
ICS |
1992 |
DBLP DOI BibTeX RDF |
parallel data flow analysis, parallel algorithms, data flow analysis |
| 1 | Yong-Fong Lee, Barbara G. Ryder |
Parallel Hybrid Data Flow Algorithms: A Case Study. |
LCPC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong-Fong Lee, Barbara G. Ryder, Thomas J. Marlowe |
Experiences with a parallel algorithm for data flow analysis. |
The Journal of Supercomputing |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen P. Masticola, Barbara G. Ryder |
A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. |
Workshop on Parallel and Distributed Debugging |
1991 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | William Landi, Barbara G. Ryder |
Pointer-Induced Aliasing: A Problem Classification. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
FORTRAN |
| 1 | Barbara G. Ryder, William Landi, Hemant D. Pande |
Profiling an Incremental Data Flow Analysis Algorithm. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
incremental data flow analysis algorithm, empirical profiling, parallel programming, program testing, evolving software systems |
| 1 | Michael G. Burke, Barbara G. Ryder |
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming |
| 1 | Thomas J. Marlowe, Barbara G. Ryder |
Properties of Data Flow Frameworks. |
Acta Inf. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder |
Performing data flow analysis in parallel. |
SC |
1990 |
DBLP BibTeX RDF |
|
| 1 | Thomas J. Marlowe, Barbara G. Ryder |
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen P. Masticola, Barbara G. Ryder |
Static Infinite Wait Anomaly Detection in Polynomial Time. |
ICPP |
1990 |
DBLP BibTeX RDF |
|
| 1 | A. Michael Berman, Marvin C. Paull, Barbara G. Ryder |
Proving Relative Lower Bounds for Incremental Algorithms. |
Acta Inf. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
Experiments in Optimizing FP. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
optimization, functional programming, Coupling, FP |
| 1 | Barbara G. Ryder, Marvin C. Paull |
Incremental Data-Flow Analysis. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin D. Carroll, Barbara G. Ryder |
Incremental Data Flow Analysis via Dominator and Attribute Updates. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Marvin C. Paull |
Elimination Algorithms for Data Flow Analysis. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
Incremental Data Flow Analysis. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
Constructing the Call Graph of a Program. |
IEEE Trans. Software Eng. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder |
The PFORT Verifier. |
Softw., Pract. Exper. |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")