default search action
Barbara 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
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]Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder:
Performing data flow analysis in parallel. SC 1990: 942-951
1980 – 1989
- 1989
- [c5]Barbara G. Ryder:
ISMM: the incremental software maintenance manager. ICSM 1989: 142-164 - 1988
- [j6]Barbara G. Ryder, Thomas J. Marlowe, Marvin C. Paull:
Conditions for incremental iteration: Examples and counterexamples. Sci. Comput. Program. 11(1): 1-15 (1988) - [j5]Barbara G. Ryder, Marvin C. Paull:
Incremental Data-Flow Analysis. ACM Trans. Program. Lang. Syst. 10(1): 1-50 (1988) - [j4]Barbara G. Ryder:
Experiments in Optimizing FP. IEEE Trans. Software Eng. 14(4): 444-454 (1988) - [c4]Martin D. Carroll, Barbara G. Ryder:
Incremental Data Flow Analysis via Dominator and Attribute Updates. POPL 1988: 274-284 - 1986
- [j3]Barbara G. Ryder, Marvin C. Paull:
Elimination Algorithms for Data Flow Analysis. ACM Comput. Surv. 18(3): 277-316 (1986) - [c3]Martin D. Carroll, Barbara G. Ryder:
An incremental algorithm for software analysis. SDE 1986: 171-179 - 1984
- [c2]Barbara G. Ryder:
A "hands-on" approach to computer literacy. SIGCSE 1984: 102-107 - 1983
- [c1]Barbara G. Ryder:
Incremental Data Flow Analysis. POPL 1983: 167-176
1970 – 1979
- 1979
- [j2]Barbara G. Ryder:
Constructing the Call Graph of a Program. IEEE Trans. Software Eng. 5(3): 216-226 (1979) - 1974
- [j1]Barbara G. Ryder:
The PFORT Verifier. Softw. Pract. Exp. 4(4): 359-377 (1974)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint