Barbara G. Ryder

130 papers A* 19A 26B 6C 2Journal 43Unranked 32
YearRankTypeTitle / Venue / Authors
2021 J jnl
A Longitudinal Study of Application Structure and Behaviors in Android.
IEEE Trans. Software Eng.
Haipeng Cai, Barbara G. Ryder
2021 — ch.
CCLearner: Clone Detection via Deep Learning.
Code Clone Analysis
Liuqing Li, He Feng, Na Meng, Barbara G. Ryder
2020 J jnl
Detection of Repackaged Android Malware with Code-Heterogeneity Features.
IEEE Trans. Dependable Secur. Comput.
Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan, Guojun Peng
2020 J jnl
Identifying Mobile Inter-App Communication Risks.
IEEE Trans. Mob. Comput.
Karim O. Elish, Haipeng Cai, Daniel Barton, Danfeng Yao, Barbara G. Ryder
2020 J jnl
Prioritizing data flows and sinks for app security transformation.
Comput. Secur.
Ke Tian, Gang Tan, Barbara G. Ryder, Danfeng (Daphne) Yao
2019 J jnl
DroidCat: Effective Android Malware Detection and Categorization via App-Level Profiling.
IEEE Trans. Inf. Forensics Secur.
Haipeng Cai, Na Meng, Barbara G. Ryder, Danfeng Yao
2017 A conf
Artifacts for Dynamic Analysis of Android Apps.
ICSME
Haipeng Cai, Barbara G. Ryder
2017 A conf
CCLearner: A Deep Learning-Based Clone Detection Approach.
ICSME
Liuqing Li, He Feng, Wenjie Zhuang, Na Meng, Barbara G. Ryder
2017 A conf
DroidFax: A Toolkit for Systematic Characterization of Android Applications.
ICSME
Haipeng Cai, Barbara G. Ryder
2017 — conf
MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks.
IEEE Symposium on Security and Privacy Workshops
Fang Liu, Haipeng Cai, Gang Wang, Danfeng Yao, Karim O. Elish, Barbara G. Ryder
2017 — conf
Prioritized Analysis of Inter-App Communication Risks.
CODASPY
Fang Liu, Haipeng Cai, Gang Wang, Danfeng (Daphne) Yao, Karim O. Elish, Barbara G. Ryder
2017 — conf
ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation.
FEAST@CCS
Ke Tian, Gang Tan, Danfeng Daphne Yao, Barbara G. Ryder
2017 A conf
Understanding Android Application Programming and Security: A Dynamic Study.
ICSME
Haipeng Cai, Barbara G. Ryder
2016 A conf
A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity.
DSN
Kui Xu, Ke Tian, Danfeng Yao, Barbara G. Ryder
2016 — conf
Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware.
IEEE Symposium on Security and Privacy Workshops
Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan
2016 J jnl
Empirical study of the dynamic behavior of JavaScript objects.
Softw. Pract. Exp.
Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder
2016 — conf
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.
SIGSOFT FSE
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
2015 A conf
A Formal Framework for Program Anomaly Detection.
RAID
Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder
2015 A conf
Adaptive Context-sensitive Analysis for JavaScript.
ECOOP
Shiyi Wei, Barbara G. Ryder
2015 A conf
Probabilistic Program Modeling for High-Precision Anomaly Classification.
CSF
Kui Xu, Danfeng (Daphne) Yao, Barbara G. Ryder, Ke Tian
2015 J jnl
Profiling user-trigger dependence for Android malware detection.
Comput. Secur.
Karim O. Elish, Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder, Xuxian Jiang
2014 A conf
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
ECOOP
Shiyi Wei, Barbara G. Ryder
2014 — conf
Taming the dynamic behavior of JavaScript.
SPLASH (Companion Volume)
Shiyi Wei, Barbara G. Ryder
2013 A conf
Practical blended taint analysis for JavaScript.
ISSTA
Shiyi Wei, Barbara G. Ryder
2012 J jnl
Language design and analyzability: a retrospective.
Softw. Pract. Exp.
Barbara G. Ryder, Ben Wiedermann
2011 — conf
An evaluation of change-based coverage criteria.
PASTE
Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky
2010 — conf
Exploring the impact of context sensitivity on blended analysis.
ICSM
Marc Fisher II, Bruno Dufour, Shrutarshi Basu, Barbara G. Ryder
2010 — conf
HI-C: diagnosing object churn in framework-based applications.
SIGSOFT FSE
Marc Fisher II, Luke Marrs, Barbara G. Ryder
2010 J jnl
Introduction: The Best Papers of ISSTA.
IEEE Trans. Software Eng.
Barbara G. Ryder, Andreas Zeller
2010 J jnl
Tool Support for Change-Centric Test Development.
IEEE Softw.
Jan Wloka, Einar Hoest, Barbara G. Ryder
2009 A* conf
JUnitMX - A change-aware unit testing tool.
ICSE
Jan Wloka, Barbara G. Ryder, Frank Tip
2009 A* conf
Modular string-sensitive permission analysis with demand-driven precision.
ICSE
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby
2009 A* conf
Safe-commit analysis to facilitate team software development.
ICSE
Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren
2009 A conf
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science.
SIGCSE
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
2008 — conf
A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications.
SIGSOFT FSE
Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
2008 A ed.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008
ISSTA
Barbara G. Ryder, Andreas Zeller
2007 J jnl
Automatic construction of accurate application call graph with library call abstraction for Java.
J. Softw. Maintenance Res. Pract.
Weilei Zhang, Barbara G. Ryder
2007 A conf
Blended analysis for performance understanding of framework-based applications.
ISSTA
Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
2007 A* conf
Crisp-A Fault Localization Tool for Java Programs.
ICSE
Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip
2007 — conf
Discovering accurate interclass test dependences.
PASTE
Weilei Zhang, Barbara G. Ryder
2007 A* conf
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications.
ICSE
Chen Fu, Barbara G. Ryder
2007 A conf
Heuristic ranking of java program edits for fault localization.
ISSTA
Xiaoxia Ren, Barbara G. Ryder
2007 — ed.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007
HOPL
Barbara G. Ryder, Brent Hailpern
2006 C conf
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks.
SCAM
Weilei Zhang, Barbara G. Ryder
2006 — conf
Finding failure-inducing changes in java programs using change classification.
SIGSOFT FSE
Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip
2006 J jnl
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis.
IEEE Trans. Software Eng.
Xiaoxia Ren, Ophelia C. Chesley, Barbara G. Ryder
2005 — conf
Annotated Inclusion Constraints for Precise Flow Analysis.
ICSM
Ana L. Milanova, Barbara G. Ryder
2005 A* conf
Chianti: a change impact analysis tool for java programs.
ICSE
Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip
2005 — conf
Crisp: A Debugging Tool for Java Programs.
ICSM
Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder
2005 — conf
Navigating error recovery code in Java applications.
eTX
Chen Fu, Barbara G. Ryder
2005 J jnl
Parameterized object sensitivity for points-to analysis for Java.
ACM Trans. Softw. Eng. Methodol.
Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2005 J jnl
Robustness Testing of Java Server Applications.
IEEE Trans. Software Eng.
Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott
2005 J jnl
The impact of software engineering research on modern programming languages.
ACM Trans. Softw. Eng. Methodol.
Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett
2004 A conf
Chianti: a tool for change impact analysis of java programs.
OOPSLA
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley
2004 J jnl
Fragment Class Analysis for Testing of Polymorphism in Java Software.
IEEE Trans. Software Eng.
Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
2004 J jnl
Precise Call Graphs for C Programs with Function Pointers.
Autom. Softw. Eng.
Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2004 A conf
Testing of java web services for robustness.
ISSTA
Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott
2003 A conf
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services.
DSN
Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott
2003 B conf
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages.
CC
Barbara G. Ryder
2003 A* conf
Fragment Class Analysis for Testing of Polymorphism in Java Software.
ICSE
Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
2003 J jnl
Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design.
ACM SIGSOFT Softw. Eng. Notes
Barbara G. Ryder, Mary Lou Soffa
2003 J jnl
Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design.
ACM SIGPLAN Notices
Barbara G. Ryder, Mary Lou Soffa
2002 — conf
Constructing Precise Object Relation Diagrams.
ICSM
Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2002 A conf
Online feedback-directed optimization of Java.
OOPSLA
Matthew Arnold, Michael Hind, Barbara G. Ryder
2002 A conf
Parameterized object sensitivity for points-to and side-effect analyses for Java.
ISSTA
Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2002 C conf
Precise Call Graph Construction in the Presence of Function Pointers.
SCAM
Ana L. Milanova, Atanas Rountev, Barbara G. Ryder
2002 A conf
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading.
ECOOP
Matthew Arnold, Barbara G. Ryder
2001 A* conf
A Framework for Reducing the Cost of Instrumented Code.
PLDI
Matthew Arnold, Barbara G. Ryder
2001 J jnl
A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst.
Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher
2001 — conf
Change impact analysis for object-oriented programs.
PASTE
Barbara G. Ryder, Frank Tip
2001 J jnl
Complexity of Points-To Analysis of Java in the Presence of Exceptions.
IEEE Trans. Software Eng.
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
2001 J jnl
Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling.
Int. J. Parallel Program.
Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder
2001 A conf
Points-To Analysis for Java using Annotated Constraints.
OOPSLA
Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
2001 B conf
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries.
CC
Atanas Rountev, Barbara G. Ryder
2000 B conf
A Static Study of Java Exceptions Using JESP.
CC
Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah
2000 — conf
An Empirical Study of Selective Optimization.
LCPC
Matthew Arnold, Michael Hind, Barbara G. Ryder
2000 J jnl
PLDI '99: Programming Language Design and Implementation (Report).
ACM SIGPLAN Notices
Barbara G. Ryder
1999 J jnl
ACM fellow profile.
ACM SIGSOFT Softw. Eng. Notes
Barbara G. Ryder
1999 A* conf
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.
ICSE
Jyh-Shiarn Yur, Barbara G. Ryder, William Landi
1999 — conf
Data-Flow Analysis of Program Fragments.
ESEC / SIGSOFT FSE
Atanas Rountev, Barbara G. Ryder, William Landi
1999 — conf
Instruction Scheduling in the Presence of Java's Runtime Exceptions.
LCPC
Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder
1999 A* ed.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999
PLDI
Barbara G. Ryder, Benjamin G. Zorn
1999 A* conf
Relevant Context Inference.
POPL
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
1998 A conf
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
ISSTA
Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
1998 A conf
Complexity of Concrete Type-Inference in the Presence of Exceptions.
ESOP
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
1998 — conf
Experiments with Combined Analysis for Pointer Aliasing.
PASTE
Sean Zhang, Barbara G. Ryder, William Landi
1998 J jnl
MASPLAS '98 - Conference Report.
ACM SIGPLAN Notices
Barbara G. Ryder
1997 J jnl
A Position Paper on Compile-time Program Analysis.
ACM SIGPLAN Notices
Barbara G. Ryder
1997 A* conf
Incremental Analysis of Side Effects for C Software System.
ICSE
Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks
1997 B conf
Practical Compile-Time Analysis.
SAS
Barbara G. Ryder
1996 B conf
Data-Flow-Based Virtual Function Resolution.
SAS
Hemant D. Pande, Barbara G. Ryder
1996 — conf
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
SIGSOFT FSE
Sean Zhang, Barbara G. Ryder, William Landi
1996 J jnl
The Future of Program Analysis.
ACM Comput. Surv.
Barbara G. Ryder
1995 J jnl
Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems.
ACM Trans. Program. Lang. Syst.
Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder
1995 J jnl
Region Analysis: A Parallel Elimination Method for Data Flow Analysis.
IEEE Trans. Software Eng.
Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski
1994 — conf
Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs.
LCPC
Vincent Sgro, Barbara G. Ryder
1994 J jnl
Effectively exploiting parallelism in data flow analysis.
J. Supercomput.
Yong-Fong Lee, Barbara G. Ryder
1994 J jnl
Interprocedural Def-Use Associations for C Systems with Single Level Pointers.
IEEE Trans. Software Eng.
Hemant D. Pande, William Landi, Barbara G. Ryder
1994 A* ed.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994
PLDI
Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa
1994 — conf
Region Analysis: A Parallel Elimination Method for Data Flow Analysis.
ICCL
Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski
1994 — conf
Static Type Determination for C++.
C++ Conference
Hemant D. Pande, Barbara G. Ryder
1993 A* conf
Interprocedural Side Effect Analysis With Pointer Aliasing.
PLDI
William Landi, Barbara G. Ryder, Sean Zhang
1993 B conf
Non-concurrency Analysis.
PPoPP
Stephen P. Masticola, Barbara G. Ryder
1993 J jnl
Pointer-Induced Aliasing: A Clarification.
ACM SIGPLAN Notices
Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini
1992 A* conf
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.
PLDI
William Landi, Barbara G. Ryder
1992 A conf
A comprehensive approach to parallel data flow analysis.
ICS
Yong-Fong Lee, Barbara G. Ryder
1992 — conf
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
Best of PLDI
William Landi, Barbara G. Ryder
1992 — conf
Directed Tracing to Detect Race Conditions.
ICPP (2)
Emmi Schatz, Barbara G. Ryder
1992 — conf
Parallel Hybrid Data Flow Algorithms: A Case Study.
LCPC
Yong-Fong Lee, Barbara G. Ryder
1991 — conf
A Model of Ada Programs for Static Deadlock Detection in Polynomial Time.
Workshop on Parallel and Distributed Debugging
Stephen P. Masticola, Barbara G. Ryder
1991 J jnl
Experiences with a parallel algorithm for data flow analysis.
J. Supercomput.
Yong-Fong Lee, Barbara G. Ryder, Thomas J. Marlowe
1991 A* conf
Pointer-Induced Aliasing: A Problem Classification.
POPL
William Landi, Barbara G. Ryder
1990 J jnl
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.
IEEE Trans. Software Eng.
Michael G. Burke, Barbara G. Ryder
1990 A* conf
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.
POPL
Thomas J. Marlowe, Barbara G. Ryder
1990 A conf
Performing data flow analysis in parallel.
SC
Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder
1990 J jnl
Profiling an Incremental Data Flow Analysis Algorithm.
IEEE Trans. Software Eng.
Barbara G. Ryder, William Landi, Hemant D. Pande
1990 J jnl
Properties of Data Flow Frameworks.
Acta Informatica
Thomas J. Marlowe, Barbara G. Ryder
1990 J jnl
Proving Relative Lower Bounds for Incremental Algorithms.
Acta Informatica
A. Michael Berman, Marvin C. Paull, Barbara G. Ryder
1990 — conf
Static Infinite Wait Anomaly Detection in Polynomial Time.
ICPP (2)
Stephen P. Masticola, Barbara G. Ryder
1989 — conf
ISMM: the incremental software maintenance manager.
ICSM
Barbara G. Ryder
1988 J jnl
Conditions for incremental iteration: Examples and counterexamples.
Sci. Comput. Program.
Barbara G. Ryder, Thomas J. Marlowe, Marvin C. Paull
1988 J jnl
Experiments in Optimizing FP.
IEEE Trans. Software Eng.
Barbara G. Ryder
1988 A* conf
Incremental Data Flow Analysis via Dominator and Attribute Updates.
POPL
Martin D. Carroll, Barbara G. Ryder
1988 J jnl
Incremental Data-Flow Analysis.
ACM Trans. Program. Lang. Syst.
Barbara G. Ryder, Marvin C. Paull
1986 — conf
An incremental algorithm for software analysis.
SDE
Martin D. Carroll, Barbara G. Ryder
1986 J jnl
Elimination Algorithms for Data Flow Analysis.
ACM Comput. Surv.
Barbara G. Ryder, Marvin C. Paull
1984 A conf
A "hands-on" approach to computer literacy.
SIGCSE
Barbara G. Ryder
1983 A* conf
Incremental Data Flow Analysis.
POPL
Barbara G. Ryder
1979 J jnl
Constructing the Call Graph of a Program.
IEEE Trans. Software Eng.
Barbara G. Ryder
1974 J jnl
The PFORT Verifier.
Softw. Pract. Exp.
Barbara G. Ryder