The PFORT Verifier. - Barbara G. Ryder (Softw. Pract. Exp., 1974)

Constructing the Call Graph of a Program. - Barbara G. Ryder (IEEE Trans. Software Eng., 1979)

Incremental Data Flow Analysis. - Barbara G. Ryder (POPL, 1983)

A "hands-on" approach to computer literacy. - Barbara G. Ryder (SIGCSE, 1984)

An incremental algorithm for software analysis. - Martin D. Carroll; Barbara G. Ryder (SDE, 1986)

Elimination Algorithms for Data Flow Analysis. - Barbara G. Ryder; Marvin C. Paull (ACM Comput. Surv., 1986)

Incremental Data Flow Analysis via Dominator and Attribute Updates. - Martin D. Carroll; Barbara G. Ryder (POPL, 1988)

Conditions for incremental iteration: Examples and counterexamples. - Barbara G. Ryder; Thomas J. Marlowe; Marvin C. Paull (Sci. Comput. Program., 1988)

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

Experiments in Optimizing FP. - Barbara G. Ryder (IEEE Trans. Software Eng., 1988)

ISMM: the incremental software maintenance manager. - Barbara G. Ryder (ICSM, 1989)

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

An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. - Thomas J. Marlowe; Barbara G. Ryder (POPL, 1990)

Performing data flow analysis in parallel. - Yong-Fong Lee; Thomas J. Marlowe; Barbara G. Ryder (SC, 1990)

Proving Relative Lower Bounds for Incremental Algorithms. - A. Michael Berman; Marvin C. Paull; Barbara G. Ryder (Acta Informatica, 1990)

Properties of Data Flow Frameworks. - Thomas J. Marlowe; Barbara G. Ryder (Acta Informatica, 1990)

A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. - Michael G. Burke; Barbara G. Ryder (IEEE Trans. Software Eng., 1990)

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

A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. - Stephen P. Masticola; Barbara G. Ryder (Workshop on Parallel and Distributed Debugging, 1991)

Pointer-Induced Aliasing: A Problem Classification. - William Landi; Barbara G. Ryder (POPL, 1991)

Experiences with a parallel algorithm for data flow analysis. - Yong-Fong Lee; Barbara G. Ryder; Thomas J. Marlowe (J. Supercomput., 1991)

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

A comprehensive approach to parallel data flow analysis. - Yong-Fong Lee; Barbara G. Ryder (ICS, 1992)

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

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. - William Landi; Barbara G. Ryder (PLDI, 1992)

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

Interprocedural Side Effect Analysis With Pointer Aliasing. - William Landi; Barbara G. Ryder; Sean Zhang (PLDI, 1993)

Non-concurrency Analysis. - Stephen P. Masticola; Barbara G. Ryder (PPoPP, 1993)

Pointer-Induced Aliasing: A Clarification. - Thomas J. Marlowe; Jong-Deok Choi; William Landi; Michael G. Burke; Barbara G. Ryder; Paul R. Carini (ACM SIGPLAN Notices, 1993)

Static Type Determination for C++. - Hemant D. Pande; Barbara G. Ryder (C++ Conference, 1994)

Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. - Vincent Sgro; Barbara G. Ryder (LCPC, 1994)

Effectively exploiting parallelism in data flow analysis. - Yong-Fong Lee; Barbara G. Ryder (J. Supercomput., 1994)

Interprocedural Def-Use Associations for C Systems with Single Level Pointers. - Hemant D. Pande; William Landi; Barbara G. Ryder (IEEE Trans. Software Eng., 1994)

Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. - Stephen P. Masticola; Thomas J. Marlowe; Barbara G. Ryder (ACM Trans. Program. Lang. Syst., 1995)

Region Analysis: A Parallel Elimination Method for Data Flow Analysis. - Yong-Fong Lee; Barbara G. Ryder; Marc E. Fiuczynski (IEEE Trans. Software Eng., 1995)

Data-Flow-Based Virtual Function Resolution. - Hemant D. Pande; Barbara G. Ryder (SAS, 1996)

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

The Future of Program Analysis. - Barbara G. Ryder (ACM Comput. Surv., 1996)

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

Practical Compile-Time Analysis. - Barbara G. Ryder (SAS, 1997)

A Position Paper on Compile-time Program Analysis. - Barbara G. Ryder (ACM SIGPLAN Notices, 1997)

Complexity of Concrete Type-Inference in the Presence of Exceptions. - Ramkrishna Chatterjee; Barbara G. Ryder; William Landi (ESOP, 1998)

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

Experiments with Combined Analysis for Pointer Aliasing. - Sean Zhang; Barbara G. Ryder; William Landi (PASTE, 1998)

MASPLAS '98 - Conference Report. - Barbara G. Ryder (ACM SIGPLAN Notices, 1998)

Data-Flow Analysis of Program Fragments. - Atanas Rountev; Barbara G. Ryder; William Landi (ESEC / SIGSOFT FSE, 1999)

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. - Jyh-Shiarn Yur; Barbara G. Ryder; William Landi (ICSE, 1999)

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

Relevant Context Inference. - Ramkrishna Chatterjee; Barbara G. Ryder; William Landi (POPL, 1999)

ACM fellow profile. - Barbara G. Ryder (ACM SIGSOFT Softw. Eng. Notes, 1999)

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

An Empirical Study of Selective Optimization. - Matthew Arnold; Michael Hind; Barbara G. Ryder (LCPC, 2000)

PLDI '99: Programming Language Design and Implementation (Report). - Barbara G. Ryder (ACM SIGPLAN Notices, 2000)

Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. - Atanas Rountev; Barbara G. Ryder (CC, 2001)

Points-To Analysis for Java using Annotated Constraints. - Atanas Rountev; Ana L. Milanova; Barbara G. Ryder (OOPSLA, 2001)

Change impact analysis for object-oriented programs. - Barbara G. Ryder; Frank Tip (PASTE, 2001)

A Framework for Reducing the Cost of Instrumented Code. - Matthew Arnold; Barbara G. Ryder (PLDI, 2001)

Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling. - Matthew Arnold; Michael S. Hsiao; Ulrich Kremer; Barbara G. Ryder (Int. J. Parallel Program., 2001)

A schema for interprocedural modification side-effect analysis with pointer aliasing. - Barbara G. Ryder; William Landi; Phil Stocks; Sean Zhang; Rita Z. Altucher (ACM Trans. Program. Lang. Syst., 2001)

Complexity of Points-To Analysis of Java in the Presence of Exceptions. - Ramkrishna Chatterjee; Barbara G. Ryder; William Landi (IEEE Trans. Software Eng., 2001)

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

Constructing Precise Object Relation Diagrams. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (ICSM, 2002)

Parameterized object sensitivity for points-to and side-effect analyses for Java. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (ISSTA, 2002)

Online feedback-directed optimization of Java. - Matthew Arnold; Michael Hind; Barbara G. Ryder (OOPSLA, 2002)

Precise Call Graph Construction in the Presence of Function Pointers. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (SCAM, 2002)

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. - Barbara G. Ryder (CC, 2003)

Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. - Chen Fu; Richard P. Martin; Kiran Nagaraja; Thu D. Nguyen; Barbara G. Ryder; David Wonnacott (DSN, 2003)

Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design. - Barbara G. Ryder; Mary Lou Soffa (ACM SIGSOFT Softw. Eng. Notes, 2003)

Testing of java web services for robustness. - Chen Fu; Barbara G. Ryder; Ana L. Milanova; David Wonnacott (ISSTA, 2004)

Chianti: a tool for change impact analysis of java programs. - Xiaoxia Ren; Fenil Shah; Frank Tip; Barbara G. Ryder; Ophelia C. Chesley (OOPSLA, 2004)

Precise Call Graphs for C Programs with Function Pointers. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (Autom. Softw. Eng., 2004)

Fragment Class Analysis for Testing of Polymorphism in Java Software. - Atanas Rountev; Ana L. Milanova; Barbara G. Ryder (IEEE Trans. Software Eng., 2004)

Navigating error recovery code in Java applications. - Chen Fu; Barbara G. Ryder (eTX, 2005)

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

Crisp: A Debugging Tool for Java Programs. - Ophelia C. Chesley; Xiaoxia Ren; Barbara G. Ryder (ICSM, 2005)

Annotated Inclusion Constraints for Precise Flow Analysis. - Ana L. Milanova; Barbara G. Ryder (ICSM, 2005)

Parameterized object sensitivity for points-to analysis for Java. - Ana L. Milanova; Atanas Rountev; Barbara G. Ryder (ACM Trans. Softw. Eng. Methodol., 2005)

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

Robustness Testing of Java Server Applications. - Chen Fu; Ana L. Milanova; Barbara G. Ryder; David Wonnacott (IEEE Trans. Software Eng., 2005)

Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. - Weilei Zhang; Barbara G. Ryder (SCAM, 2006)

Finding failure-inducing changes in java programs using change classification. - Maximilian Störzer; Barbara G. Ryder; Xiaoxia Ren; Frank Tip (SIGSOFT FSE, 2006)

Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis. - Xiaoxia Ren; Ophelia C. Chesley; Barbara G. Ryder (IEEE Trans. Software Eng., 2006)

Crisp-A Fault Localization Tool for Java Programs. - Ophelia C. Chesley; Xiaoxia Ren; Barbara G. Ryder; Frank Tip (ICSE, 2007)

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

Blended analysis for performance understanding of framework-based applications. - Bruno Dufour; Barbara G. Ryder; Gary Sevitsky (ISSTA, 2007)

Heuristic ranking of java program edits for fault localization. - Xiaoxia Ren; Barbara G. Ryder (ISSTA, 2007)

Discovering accurate interclass test dependences. - Weilei Zhang; Barbara G. Ryder (PASTE, 2007)

Automatic construction of accurate application call graph with library call abstraction for Java. - Weilei Zhang; Barbara G. Ryder (J. Softw. Maintenance Res. Pract., 2007)

A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. - Bruno Dufour; Barbara G. Ryder; Gary Sevitsky (SIGSOFT FSE, 2008)

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

JUnitMX - A change-aware unit testing tool. - Jan Wloka; Barbara G. Ryder; Frank Tip (ICSE, 2009)

Safe-commit analysis to facilitate team software development. - Jan Wloka; Barbara G. Ryder; Frank Tip; Xiaoxia Ren (ICSE, 2009)

Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. - Susan Horwitz; Susan H. Rodger; Maureen Biggers; David W. Binkley; C. Kolin Frantz; Dawn Gundermann; Susanne E. Hambrusch; Steven Huss-Lederman; Ethan V. Munson; Barbara G. Ryder; Monica Sweat (SIGCSE, 2009)

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

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

Tool Support for Change-Centric Test Development. - Jan Wloka; Einar Hoest; Barbara G. Ryder (IEEE Softw., 2010)

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

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

Language design and analyzability: a retrospective. - Barbara G. Ryder; Ben Wiedermann (Softw. Pract. Exp., 2012)

Practical blended taint analysis for JavaScript. - Shiyi Wei; Barbara G. Ryder (ISSTA, 2013)

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. - Shiyi Wei; Barbara G. Ryder (ECOOP, 2014)

Taming the dynamic behavior of JavaScript. - Shiyi Wei; Barbara G. Ryder (SPLASH (Companion Volume), 2014)

Probabilistic Program Modeling for High-Precision Anomaly Classification. - Kui Xu 002; Danfeng (Daphne) Yao; Barbara G. Ryder; Ke Tian (CSF, 2015)

Adaptive Context-sensitive Analysis for JavaScript. - Shiyi Wei; Barbara G. Ryder (ECOOP, 2015)

A Formal Framework for Program Anomaly Detection. - Xiaokui Shu; Danfeng (Daphne) Yao; Barbara G. Ryder (RAID, 2015)

Profiling user-trigger dependence for Android malware detection. - Karim O. Elish; Xiaokui Shu; Danfeng (Daphne) Yao; Barbara G. Ryder; Xuxian Jiang (Comput. Secur., 2015)

A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity. - Kui Xu 002; Ke Tian; Danfeng Yao; Barbara G. Ryder (DSN, 2016)

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. - Shiyi Wei; Omer Tripp; Barbara G. Ryder; Julian Dolby (SIGSOFT FSE, 2016)

Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware. - Ke Tian; Danfeng Yao; Barbara G. Ryder; Gang Tan (IEEE Symposium on Security and Privacy Workshops, 2016)

Empirical study of the dynamic behavior of JavaScript objects. - Shiyi Wei; Franceska Xhakaj; Barbara G. Ryder (Softw. Pract. Exp., 2016)

ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation. - Ke Tian; Gang Tan; Danfeng Daphne Yao; Barbara G. Ryder (FEAST@CCS, 2017)

Prioritized Analysis of Inter-App Communication Risks. - Fang Liu; Haipeng Cai; Gang Wang 011; Danfeng (Daphne) Yao; Karim O. Elish; Barbara G. Ryder (CODASPY, 2017)

Understanding Android Application Programming and Security: A Dynamic Study. - Haipeng Cai; Barbara G. Ryder (ICSME, 2017)

DroidFax: A Toolkit for Systematic Characterization of Android Applications. - Haipeng Cai; Barbara G. Ryder (ICSME, 2017)

Artifacts for Dynamic Analysis of Android Apps. - Haipeng Cai; Barbara G. Ryder (ICSME, 2017)

CCLearner: A Deep Learning-Based Clone Detection Approach. - Liuqing Li; He Feng; Wenjie Zhuang; Na Meng 001; Barbara G. Ryder (ICSME, 2017)

MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks. - Fang Liu; Haipeng Cai; Gang Wang 011; Danfeng Yao; Karim O. Elish; Barbara G. Ryder (IEEE Symposium on Security and Privacy Workshops, 2017)

DroidCat: Effective Android Malware Detection and Categorization via App-Level Profiling. - Haipeng Cai; Na Meng 001; Barbara G. Ryder; Danfeng Yao (IEEE Trans. Inf. Forensics Secur., 2019)

Prioritizing data flows and sinks for app security transformation. - Ke Tian; Gang Tan; Barbara G. Ryder; Danfeng (Daphne) Yao (Comput. Secur., 2020)

Detection of Repackaged Android Malware with Code-Heterogeneity Features. - Ke Tian; Danfeng Yao; Barbara G. Ryder; Gang Tan; Guojun Peng (IEEE Trans. Dependable Secur. Comput., 2020)

Identifying Mobile Inter-App Communication Risks. - Karim O. Elish; Haipeng Cai; Daniel Barton; Danfeng Yao; Barbara G. Ryder (IEEE Trans. Mob. Comput., 2020)

CCLearner: Clone Detection via Deep Learning. - Liuqing Li; He Feng; Na Meng 001; Barbara G. Ryder (Code Clone Analysis, 2021)

A Longitudinal Study of Application Structure and Behaviors in Android. - Haipeng Cai; Barbara G. Ryder (IEEE Trans. Software Eng., 2021)