default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBarbara G. Ryder
Person information
- affiliation: Rutgers University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j43]Haipeng Cai
, Barbara G. Ryder:
A Longitudinal Study of Application Structure and Behaviors in Android. IEEE Trans. Software Eng. 47(12): 2934-2955 (2021)- [p1]Liuqing Li, He Feng, Na Meng, Barbara G. Ryder:
CCLearner: Clone Detection via Deep Learning. Code Clone Analysis 2021: 75-89 - 2020
- [j42]Ke Tian, Gang Tan, Barbara G. Ryder, Danfeng (Daphne) Yao:
Prioritizing data flows and sinks for app security transformation. Comput. Secur. 92: 101750 (2020) - [j41]Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan, Guojun Peng:
Detection of Repackaged Android Malware with Code-Heterogeneity Features. IEEE Trans. Dependable Secur. Comput. 17(1): 64-77 (2020) - [j40]Karim O. Elish, Haipeng Cai, Daniel Barton, Danfeng Yao, Barbara G. Ryder:
Identifying Mobile Inter-App Communication Risks. IEEE Trans. Mob. Comput. 19(1): 90-102 (2020)
2010 – 2019
- 2019
- [j39]Haipeng Cai, Na Meng, Barbara G. Ryder, Danfeng Yao:
DroidCat: Effective Android Malware Detection and Categorization via App-Level Profiling. IEEE Trans. Inf. Forensics Secur. 14(6): 1455-1470 (2019) - 2017
- [c82]Ke Tian, Gang Tan, Danfeng Daphne Yao, Barbara G. Ryder:
ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation. FEAST@CCS 2017: 35-41 - [c81]Fang Liu, Haipeng Cai, Gang Wang, Danfeng (Daphne) Yao, Karim O. Elish, Barbara G. Ryder:
Prioritized Analysis of Inter-App Communication Risks. CODASPY 2017: 159-161 - [c80]Liuqing Li, He Feng, Wenjie Zhuang, Na Meng, Barbara G. Ryder:
CCLearner: A Deep Learning-Based Clone Detection Approach. ICSME 2017: 249-260 - [c79]Haipeng Cai, Barbara G. Ryder:
Understanding Android Application Programming and Security: A Dynamic Study. ICSME 2017: 364-375 - [c78]Haipeng Cai, Barbara G. Ryder:
DroidFax: A Toolkit for Systematic Characterization of Android Applications. ICSME 2017: 643-647 - [c77]Haipeng Cai, Barbara G. Ryder:
Artifacts for Dynamic Analysis of Android Apps. ICSME 2017: 659 - [c76]Fang Liu, Haipeng Cai, Gang Wang, Danfeng Yao, Karim O. Elish, Barbara G. Ryder:
MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks. IEEE Symposium on Security and Privacy Workshops 2017: 189-198 - 2016
- [j38]Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder:
Empirical study of the dynamic behavior of JavaScript objects. Softw. Pract. Exp. 46(7): 867-889 (2016) - [c75]Kui Xu, Ke Tian, Danfeng Yao, Barbara G. Ryder:
A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity. DSN 2016: 467-478 - [c74]Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby:
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. SIGSOFT FSE 2016: 487-498 - [c73]Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan:
Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware. IEEE Symposium on Security and Privacy Workshops 2016: 262-271 - 2015
- [j37]Karim O. Elish, Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder, Xuxian Jiang:
Profiling user-trigger dependence for Android malware detection. Comput. Secur. 49: 255-273 (2015) - [c72]Kui Xu, Danfeng (Daphne) Yao, Barbara G. Ryder, Ke Tian:
Probabilistic Program Modeling for High-Precision Anomaly Classification. CSF 2015: 497-511 - [c71]Shiyi Wei, Barbara G. Ryder:
Adaptive Context-sensitive Analysis for JavaScript. ECOOP 2015: 712-734 - [c70]Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder:
A Formal Framework for Program Anomaly Detection. RAID 2015: 270-292 - 2014
- [c69]Shiyi Wei, Barbara G. Ryder:
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. ECOOP 2014: 1-26 - [c68]Shiyi Wei, Barbara G. Ryder:
Taming the dynamic behavior of JavaScript. SPLASH (Companion Volume) 2014: 61-62 - 2013
- [c67]Shiyi Wei, Barbara G. Ryder:
Practical blended taint analysis for JavaScript. ISSTA 2013: 336-346 - 2012
- [j36]Barbara G. Ryder, Ben Wiedermann:
Language design and analyzability: a retrospective. Softw. Pract. Exp. 42(1): 3-18 (2012) - 2011
- [c66]Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky:
An evaluation of change-based coverage criteria. PASTE 2011: 21-28 - 2010
- [j35]Jan Wloka, Einar Hoest, Barbara G. Ryder:
Tool Support for Change-Centric Test Development. IEEE Softw. 27(3): 66-71 (2010) - [j34]Barbara G. Ryder, Andreas Zeller:
Introduction: The Best Papers of ISSTA. IEEE Trans. Software Eng. 36(4): 451-452 (2010) - [c65]Marc Fisher II, Bruno Dufour, Shrutarshi Basu, Barbara G. Ryder:
Exploring the impact of context sensitivity on blended analysis. ICSM 2010: 1-10 - [c64]Marc Fisher II, Luke Marrs, Barbara G. Ryder:
HI-C: diagnosing object churn in framework-based applications. SIGSOFT FSE 2010: 379-380
2000 – 2009
- 2009
- [c63]Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby:
Modular string-sensitive permission analysis with demand-driven precision. ICSE 2009: 177-187 - [c62]Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren:
Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517 - [c61]Jan Wloka, Barbara G. Ryder, Frank Tip:
JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570 - [c60]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:
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. SIGCSE 2009: 163-167 - 2008
- [c59]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 - [e4]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, ISBN 978-1-60558-050-0 [contents] - 2007
- [j33]Weilei Zhang, Barbara G. Ryder:
Automatic construction of accurate application call graph with library call abstraction for Java. J. Softw. Maintenance Res. Pract. 19(4): 231-252 (2007) - [c58]Chen Fu, Barbara G. Ryder:
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. ICSE 2007: 230-239 - [c57]Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip:
Crisp-A Fault Localization Tool for Java Programs. ICSE 2007: 775-779 - [c56]Bruno Dufour, Barbara G. Ryder, Gary Sevitsky:
Blended analysis for performance understanding of framework-based applications. ISSTA 2007: 118-128 - [c55]Xiaoxia Ren, Barbara G. Ryder:
Heuristic ranking of java program edits for fault localization. ISSTA 2007: 239-249 - [c54]Weilei Zhang, Barbara G. Ryder:
Discovering accurate interclass test dependences. PASTE 2007: 55-62 - [e3]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 [contents] - 2006
- [j32]Xiaoxia Ren, Ophelia C. 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) - [c53]Weilei Zhang, Barbara G. Ryder:
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. SCAM 2006: 63-74 - [c52]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 - 2005
- [j31]Ana L. 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) - [j30]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) - [j29]Chen Fu, Ana L. Milanova, Barbara G. Ryder, David Wonnacott:
Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005) - [c51]Chen Fu, Barbara G. Ryder:
Navigating error recovery code in Java applications. eTX 2005: 40-44 - [c50]Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip:
Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665 - [c49]Ana L. Milanova, Barbara G. Ryder:
Annotated Inclusion Constraints for Precise Flow Analysis. ICSM 2005: 187-196 - [c48]Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder:
Crisp: A Debugging Tool for Java Programs. ICSM 2005: 401-410 - 2004
- [j28]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11(1): 7-26 (2004) - [j27]Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software. IEEE Trans. Software Eng. 30(6): 372-387 (2004) - [c47]Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott:
Testing of java web services for robustness. ISSTA 2004: 23-34 - [c46]Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley:
Chianti: a tool for change impact analysis of java programs. OOPSLA 2004: 432-448 - 2003
- [j26]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 SIGPLAN Notices 38(6): 16-22 (2003) - [j25]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 Softw. Eng. Notes 28(4): 29-35 (2003) - [c45]Barbara G. Ryder:
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. CC 2003: 126-137 - [c44]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 - [c43]Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE 2003: 210-220 - 2002
- [c42]Matthew Arnold, Barbara G. Ryder:
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. ECOOP 2002: 498-524 - [c41]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Constructing Precise Object Relation Diagrams. ICSM 2002: 586-595 - [c40]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA 2002: 1-11 - [c39]Matthew Arnold, Michael Hind, Barbara G. Ryder:
Online feedback-directed optimization of Java. OOPSLA 2002: 111-129 - [c38]Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Precise Call Graph Construction in the Presence of Function Pointers. SCAM 2002: 155-162 - 2001
- [j24]Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder:
Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling. Int. J. Parallel Program. 29(2): 111-137 (2001) - [j23]Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher:
A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23(2): 105-186 (2001) - [j22]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) - [c37]Atanas Rountev, Barbara G. Ryder:
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. CC 2001: 20-36 - [c36]Atanas Rountev, Ana L. Milanova, Barbara G. Ryder:
Points-To Analysis for Java using Annotated Constraints. OOPSLA 2001: 43-55 - [c35]Barbara G. Ryder, Frank Tip:
Change impact analysis for object-oriented programs. PASTE 2001: 46-53 - [c34]Matthew Arnold, Barbara G. Ryder:
A Framework for Reducing the Cost of Instrumented Code. PLDI 2001: 168-179 - 2000
- [j21]Barbara G. Ryder:
PLDI '99: Programming Language Design and Implementation (Report). ACM SIGPLAN Notices 35(2): 9 (2000) - [c33]Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah:
A Static Study of Java Exceptions Using JESP. CC 2000: 67-81 - [c32]Matthew Arnold, Michael Hind, Barbara G. Ryder:
An Empirical Study of Selective Optimization. LCPC 2000: 49-67
1990 – 1999
- 1999
- [j20]Barbara G. Ryder:
ACM fellow profile. ACM SIGSOFT Softw. Eng. Notes 24(4): 13-14 (1999) - [c31]Atanas Rountev, Barbara G. Ryder, William Landi:
Data-Flow Analysis of Program Fragments. ESEC / SIGSOFT FSE 1999: 235-252 - [c30]Jyh-Shiarn Yur, Barbara G. Ryder, William Landi:
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. ICSE 1999: 442-451 - [c29]Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder:
Instruction Scheduling in the Presence of Java's Runtime Exceptions. LCPC 1999: 18-34 - [c28]Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
Relevant Context Inference. POPL 1999: 133-146 - [e2]Barbara G. Ryder, Benjamin G. Zorn:
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 [contents] - 1998
- [j19]Barbara G. Ryder:
MASPLAS '98 - Conference Report. ACM SIGPLAN Notices 33(6): 16 (1998) - [c27]Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
Complexity of Concrete Type-Inference in the Presence of Exceptions. ESOP 1998: 57-74 - [c26]Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang:
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA 1998: 21-31 - [c25]Sean Zhang, Barbara G. Ryder, William Landi:
Experiments with Combined Analysis for Pointer Aliasing. PASTE 1998: 11-18 - 1997
- [j18]Barbara G. Ryder:
A Position Paper on Compile-time Program Analysis. ACM SIGPLAN Notices 32(1): 110-114 (1997) - [c24]Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks:
Incremental Analysis of Side Effects for C Software System. ICSE 1997: 422-432 - [c23]Barbara G. Ryder:
Practical Compile-Time Analysis. SAS 1997: 406-412 - 1996
- [j17]Barbara G. Ryder:
The Future of Program Analysis. ACM Comput. Surv. 28(4es): 174 (1996) - [c22]Hemant D. Pande, Barbara G. Ryder:
Data-Flow-Based Virtual Function Resolution. SAS 1996: 238-254 - [c21]Sean Zhang, Barbara G. Ryder, William Landi:
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. SIGSOFT FSE 1996: 81-92 - 1995
- [j16]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) - [j15]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
- [j14]Yong-Fong Lee, Barbara G. Ryder:
Effectively exploiting parallelism in data flow analysis. J. Supercomput. 8(3): 233-262 (1994) - [j13]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) - [c20]Hemant D. Pande, Barbara G. Ryder:
Static Type Determination for C++. C++ Conference 1994: 85-98 - [c19]Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski:
Region Analysis: A Parallel Elimination Method for Data Flow Analysis. ICCL 1994: 31-42 - [c18]Vincent Sgro, Barbara G. Ryder:
Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. LCPC 1994: 217-233 - [e1]Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa:
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 [contents] - 1993
- [j12]Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini:
Pointer-Induced Aliasing: A Clarification. ACM SIGPLAN Notices 28(9): 67-70 (1993) - [c17]William Landi, Barbara G. Ryder, Sean Zhang:
Interprocedural Side Effect Analysis With Pointer Aliasing. PLDI 1993: 56-67 - [c16]Stephen P. Masticola, Barbara G. Ryder:
Non-concurrency Analysis. PPoPP 1993: 129-138 - 1992
- [c15]Emmi Schatz, Barbara G. Ryder:
Directed Tracing to Detect Race Conditions. ICPP (2) 1992: 247-250 - [c14]Yong-Fong Lee, Barbara G. Ryder:
A comprehensive approach to parallel data flow analysis. ICS 1992: 236-247 - [c13]Yong-Fong Lee, Barbara G. Ryder:
Parallel Hybrid Data Flow Algorithms: A Case Study. LCPC 1992: 296-310 - [c12]William Landi, Barbara G. Ryder:
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. PLDI 1992: 235-248 - [c11]William Landi, Barbara G. Ryder:
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective). Best of PLDI 1992: 473-489 - 1991
- [j11]Yong-Fong Lee, Barbara G. Ryder, Thomas J. Marlowe:
Experiences with a parallel algorithm for data flow analysis. J. Supercomput. 5(2-3): 163-188 (1991) - [c10]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 - [c9]William Landi, Barbara G. Ryder:
Pointer-Induced Aliasing: A Problem Classification. POPL 1991: 93-103 - 1990
- [j10]A. Michael Berman, Marvin C. Paull, Barbara G. Ryder:
Proving Relative Lower Bounds for Incremental Algorithms. Acta Informatica 27(7): 665-683 (1990) - [j9]Thomas J. Marlowe, Barbara G. Ryder:
Properties of Data Flow Frameworks. Acta Informatica 28(2): 121-163 (1990) - [j8]Barbara G. Ryder, William Landi, Hemant D. Pande:
Profiling an Incremental Data Flow Analysis Algorithm. IEEE Trans. Software Eng. 16(2): 129-140 (1990) - [j7]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) - [c8]Stephen P. Masticola, Barbara G. Ryder:
Static Infinite Wait Anomaly Detection in Polynomial Time. ICPP (2) 1990: 78-87 - [c7]Thomas J. Marlowe, Barbara G. Ryder:
An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. POPL 1990: 184-196 - [c6]