| 2017 | CCS | ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation. | Ke Tian, Gang Tan, Danfeng Daphne Yao, Barbara G. Ryder |
| 2017 | SP | MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks. | Fang Liu, Haipeng Cai, Gang Wang, Danfeng Yao, Karim O. Elish, Barbara G. Ryder |
| 2016 | DSN | A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity. | Kui Xu, Ke Tian, Danfeng Yao, Barbara G. Ryder |
| 2016 | SP | Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware. | Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan |
| 2015 | ECOOP | Adaptive Context-sensitive Analysis for JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2015 | RAID | A Formal Framework for Program Anomaly Detection. | Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder |
| 2014 | ECOOP | State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. | Shiyi Wei, Barbara G. Ryder |
| 2014 | OOPSLA | Taming the dynamic behavior of JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2013 | ISSTA | Practical blended taint analysis for JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2009 | ICSE | Modular string-sensitive permission analysis with demand-driven precision. | Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby |
| 2009 | ICSE | JUnitMX - A change-aware unit testing tool. | Jan Wloka, Barbara G. Ryder, Frank Tip |
| 2009 | ICSE | Safe-commit analysis to facilitate team software development. | Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren |
| 2009 | SIGCSE | 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 |
| 2007 | ICSE | Crisp-A Fault Localization Tool for Java Programs. | Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip |
| 2007 | ICSE | Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. | Chen Fu, Barbara G. Ryder |
| 2007 | ISSTA | Blended analysis for performance understanding of framework-based applications. | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
| 2007 | ISSTA | Heuristic ranking of java program edits for fault localization. | Xiaoxia Ren, Barbara G. Ryder |
| 2006 | SCAM | Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. | Weilei Zhang, Barbara G. Ryder |
| 2005 | ICSE | Chianti: a change impact analysis tool for java programs. | Xiaoxia Ren, Barbara G. Ryder, Maximilian Strzer, Frank Tip |
| 2004 | ISSTA | Testing of java web services for robustness. | Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott |
| 2004 | OOPSLA | Chianti: a tool for change impact analysis of java programs. | Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley |
| 2003 | CC | Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. | Barbara G. Ryder |
| 2003 | DSN | 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 |
| 2003 | ICSE | Fragment Class Analysis for Testing of Polymorphism in Java Software. | Atanas Rountev, Ana L. Milanova, Barbara G. Ryder |
| 2002 | ECOOP | Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. | Matthew Arnold, Barbara G. Ryder |
| 2002 | ISSTA | Parameterized object sensitivity for points-to and side-effect analyses for Java. | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
| 2002 | OOPSLA | Online feedback-directed optimization of Java. | Matthew Arnold, Michael Hind, Barbara G. Ryder |
| 2002 | SCAM | Precise Call Graph Construction in the Presence of Function Pointers. | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
| 2001 | CC | Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. | Atanas Rountev, Barbara G. Ryder |
| 2001 | OOPSLA | Points-To Analysis for Java using Annotated Constraints. | Atanas Rountev, Ana L. Milanova, Barbara G. Ryder |
| 2001 | PLDI | A Framework for Reducing the Cost of Instrumented Code. | Matthew Arnold, Barbara G. Ryder |
| 2000 | CC | A Static Study of Java Exceptions Using JESP. | Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah |
| 1999 | ICSE | An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi |
| 1999 | POPL | Relevant Context Inference. | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1998 | ESOP | Complexity of Concrete Type-Inference in the Presence of Exceptions. | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1998 | ISSTA | Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. | Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang |
| 1997 | ICSE | Incremental Analysis of Side Effects for C Software System. | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks |
| 1997 | SAS | Practical Compile-Time Analysis. | Barbara G. Ryder |
| 1996 | SAS | Data-Flow-Based Virtual Function Resolution. | Hemant D. Pande, Barbara G. Ryder |
| 1993 | PLDI | Interprocedural Side Effect Analysis With Pointer Aliasing. | William Landi, Barbara G. Ryder, Sean Zhang |
| 1993 | PPoPP | Non-concurrency Analysis. | Stephen P. Masticola, Barbara G. Ryder |
| 1992 | ICPP | Directed Tracing to Detect Race Conditions. | Emmi Schatz, Barbara G. Ryder |
| 1992 | ICS | A comprehensive approach to parallel data flow analysis. | Yong-Fong Lee, Barbara G. Ryder |
| 1992 | PLDI | A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. | William Landi, Barbara G. Ryder |
| 1992 | PLDI | A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) | William Landi, Barbara G. Ryder |
| 1991 | POPL | Pointer-Induced Aliasing: A Problem Classification. | William Landi, Barbara G. Ryder |
| 1990 | ICPP | Static Infinite Wait Anomaly Detection in Polynomial Time. | Stephen P. Masticola, Barbara G. Ryder |
| 1990 | POPL | An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. | Thomas J. Marlowe, Barbara G. Ryder |
| 1990 | SC | Performing data flow analysis in parallel. | Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder |
| 1988 | POPL | Incremental Data Flow Analysis via Dominator and Attribute Updates. | Martin D. Carroll, Barbara G. Ryder |
| 1984 | SIGCSE | A "hands-on" approach to computer literacy. | Barbara G. Ryder |
| 1983 | POPL | Incremental Data Flow Analysis. | Barbara G. Ryder |