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