Barbara G. Ryder

Barbara G. Ryder, Ben Wiedermann: Language design and analyzability: a retrospective. Softw., Pract. Exper. 42(1): 3-18 (2012)

Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky: An evaluation of change-based coverage criteria. PASTE 2011: 21-28

Jan Wloka, Einar Hoest, Barbara G. Ryder: Tool Support for Change-Centric Test Development. IEEE Software 27(3): 66-71 (2010)

Barbara G. Ryder, Andreas Zeller: Introduction: The Best Papers of ISSTA. IEEE Trans. Software Eng. 36(4): 451-452 (2010)

Marc Fisher II, Bruno Dufour, Shrutarshi Basu, Barbara G. Ryder: Exploring the impact of context sensitivity on blended analysis. ICSM 2010: 1-10

Marc Fisher II, Luke Marrs, Barbara G. Ryder: HI-C: diagnosing object churn in framework-based applications. SIGSOFT FSE 2010: 379-380

Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby: Modular string-sensitive permission analysis with demand-driven precision. ICSE 2009: 177-187

Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren: Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517

Jan Wloka, Barbara G. Ryder, Frank Tip: JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570

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

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

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. ACM 2008, isbn 978-1-60558-050-0

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)

Chen Fu, Barbara G. Ryder: Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. ICSE 2007: 230-239

Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779

Bruno Dufour, Barbara G. Ryder, Gary Sevitsky: Blended analysis for performance understanding of framework-based applications. ISSTA 2007: 118-128

Xiaoxia Ren, Barbara G. Ryder: Heuristic ranking of java program edits for fault localization. ISSTA 2007: 239-249

Weilei Zhang, Barbara G. Ryder: Discovering accurate interclass test dependences. PASTE 2007: 55-62

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

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)

Weilei Zhang, Barbara G. Ryder: Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. SCAM 2006: 63-74

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

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)

Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett: The impact of software engineering research on modern programming languages. ACM Trans. Softw. Eng. Methodol. 14(4): 431-477 (2005)

Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott: Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005)

Chen Fu, Barbara G. Ryder: Navigating error recovery code in Java applications. ETX 2005: 40-44

Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665

Ana Milanova, Barbara G. Ryder: Annotated Inclusion Constraints for Precise Flow Analysis. ICSM 2005: 187-196

Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder: Crisp: A Debugging Tool for Java Programs. ICSM 2005: 401-410

Ana Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11(1): 7-26 (2004)

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)

Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott: Testing of java web services for robustness. ISSTA 2004: 23-34

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

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)

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)

Barbara G. Ryder: Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. CC 2003: 126-137

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

Atanas Rountev, Ana Milanova, Barbara G. Ryder: Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE 2003: 210-220

Matthew Arnold, Barbara G. Ryder: Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. ECOOP 2002: 498-524

Ana Milanova, Atanas Rountev, Barbara G. Ryder: Constructing Precise Object Relation Diagrams. ICSM 2002: 586-595

Ana Milanova, Atanas Rountev, Barbara G. Ryder: Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA 2002: 1-11

Matthew Arnold, Michael Hind, Barbara G. Ryder: Online feedback-directed optimization of Java. OOPSLA 2002: 111-129

Ana Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graph Construction in the Presence of Function Pointers. SCAM 2002: 155-162

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)

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)

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)

Atanas Rountev, Barbara G. Ryder: Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. CC 2001: 20-36

Atanas Rountev, Ana Milanova, Barbara G. Ryder: Points-To Analysis for Java using Annotated Constraints. OOPSLA 2001: 43-55

Barbara G. Ryder, Frank Tip: Change impact analysis for object-oriented programs. PASTE 2001: 46-53

Matthew Arnold, Barbara G. Ryder: A Framework for Reducing the Cost of Instrumented Code. PLDI 2001: 168-179

Barbara G. Ryder: PLDI '99: Programming Language Design and Implementation (Report). SIGPLAN Notices 35(2): 9 (2000)

Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah: A Static Study of Java Exceptions Using JESP. CC 2000: 67-81

Matthew Arnold, Michael Hind, Barbara G. Ryder: An Empirical Study of Selective Optimization. LCPC 2000: 49-67

Atanas Rountev, Barbara G. Ryder, William Landi: Data-Flow Analysis of Program Fragments. ESEC / SIGSOFT FSE 1999: 235-252

Jyh-Shiarn Yur, Barbara G. Ryder, William Landi: An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. ICSE 1999: 442-451

Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder: Instruction Scheduling in the Presence of Java's Runtime Exceptions. LCPC 1999: 18-34

Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Relevant Context Inference. POPL 1999: 133-146

Barbara G. Ryder, Benjamin G. Zorn (Eds.): Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999. ACM 1999, isbn 1-58113-094-5

Barbara G. Ryder: MASPLAS '98 - Conference Report. SIGPLAN Notices 33(6): 16 (1998)

Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Concrete Type-Inference in the Presence of Exceptions. ESOP 1998: 57-74

Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang: Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA 1998: 21-31

Sean Zhang, Barbara G. Ryder, William Landi: Experiments with Combined Analysis for Pointer Aliasing. PASTE 1998: 11-18

Barbara G. Ryder: A Position Paper on Compile-time Program Analysis. SIGPLAN Notices 32(1): 110-114 (1997)

Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks: Incremental Analysis of Side Effects for C Software System. ICSE 1997: 422-432

Barbara G. Ryder: Practical Compile-Time Analysis. SAS 1997: 406-412

Barbara G. Ryder: The Future of Program Analysis. ACM Comput. Surv. 28(4es): 174 (1996)

Hemant D. Pande, Barbara G. Ryder: Data-Flow-Based Virtual Function Resolution. SAS 1996: 238-254

Sean Zhang, Barbara G. Ryder, William Landi: Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. SIGSOFT FSE 1996: 81-92

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)

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)

Yong-Fong Lee, Barbara G. Ryder: Effectively exploiting parallelism in data flow analysis. The Journal of Supercomputing 8(3): 233-262 (1994)

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)

Hemant D. Pande, Barbara G. Ryder: Static Type Determination for C++. C++ Conference 1994: 85-98

Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski: Region Analysis: A Parallel Elimination Method for Data Flow Analysis. ICCL 1994: 31-42

Vincent Sgro, Barbara G. Ryder: Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. LCPC 1994: 217-233

Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa (Eds.): Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994. ACM 1994, isbn 0-89791-662-X

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)

William Landi, Barbara G. Ryder, Sean Zhang: Interprocedural Side Effect Analysis With Pointer Aliasing. PLDI 1993: 56-67

Stephen P. Masticola, Barbara G. Ryder: Non-concurrency Analysis. PPOPP 1993: 129-138

Emmi Schatz, Barbara G. Ryder: Directed Tracing to Detect Race Conditions. ICPP (2) 1992: 247-250

Yong-Fong Lee, Barbara G. Ryder: A comprehensive approach to parallel data flow analysis. ICS 1992: 236-247

Yong-Fong Lee, Barbara G. Ryder: Parallel Hybrid Data Flow Algorithms: A Case Study. LCPC 1992: 296-310

William Landi, Barbara G. Ryder: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. PLDI 1992: 235-248

William Landi, Barbara G. Ryder: A safe approximate algorithm for interprocedural pointer aliasing (with retrospective). Best of PLDI 1992: 473-489

Yong-Fong Lee, Barbara G. Ryder, Thomas J. Marlowe: Experiences with a parallel algorithm for data flow analysis. The Journal of Supercomputing 5(2-3): 163-188 (1991)

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

William Landi, Barbara G. Ryder: Pointer-Induced Aliasing: A Problem Classification. POPL 1991: 93-103

Thomas J. Marlowe, Barbara G. Ryder: Properties of Data Flow Frameworks. Acta Inf. 28(2): 121-163 (1990)

Barbara G. Ryder, William Landi, Hemant D. Pande: Profiling an Incremental Data Flow Analysis Algorithm. IEEE Trans. Software Eng. 16(2): 129-140 (1990)

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)

Stephen P. Masticola, Barbara G. Ryder: Static Infinite Wait Anomaly Detection in Polynomial Time. ICPP (2) 1990: 78-87

Thomas J. Marlowe, Barbara G. Ryder: An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. POPL 1990: 184-196

Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder: Performing data flow analysis in parallel. SC 1990: 942-951

A. Michael Berman, Marvin C. Paull, Barbara G. Ryder: Proving Relative Lower Bounds for Incremental Algorithms. Acta Inf. 27(7): 665-683 (1989)

Barbara G. Ryder, Marvin C. Paull: Incremental Data-Flow Analysis. ACM Trans. Program. Lang. Syst. 10(1): 1-50 (1988)

Barbara G. Ryder: Experiments in Optimizing FP. IEEE Trans. Software Eng. 14(4): 444-454 (1988)

Martin D. Carroll, Barbara G. Ryder: Incremental Data Flow Analysis via Dominator and Attribute Updates. POPL 1988: 274-284

Barbara G. Ryder, Marvin C. Paull: Elimination Algorithms for Data Flow Analysis. ACM Comput. Surv. 18(3): 277-316 (1986)

Martin D. Carroll, Barbara G. Ryder: An incremental algorithm for software analysis. SDE 1986: 171-179

Barbara G. Ryder: Incremental Data Flow Analysis. POPL 1983: 167-176

Barbara G. Ryder: Constructing the Call Graph of a Program. IEEE Trans. Software Eng. 5(3): 216-226 (1979)

Barbara G. Ryder: The PFORT Verifier. Softw., Pract. Exper. 4(4): 359-377 (1974)