Karim Elish, Haipeng Cai, Daniel Barton, Danfeng (Daphne) Yao, and Barbara G. Ryder, "Indentifying Mobile Inter-app Communication Risks", IEEE Transactions on Mobile Computing, Vol 19, No 1 (2020),pp 90--102, DOI: 10.1109/TMC.2018.2889495.

Local

Digital Library

Ke Tian, Gang Tan, Barbara G. Ryder, and Danfeng (Daphne) Yao, "Priotizing Data Flows and Sinks for App Security Transformation", Computers and Security,2020, Article 101750, DOI: 10.1016/j.cose.2020.101750.

Local

Digital Library

Haipeng Cai and Barbara G. Ryder, "A Longitudinal Study of Application Structure and Behaviors in Android", IEEE Transactions on Software Engineering, 2020, DOI: 10.1109/TSE.2020.2975176.

Local

Digital Library

Haipeng Cai, Na Meng, Barbara G. Ryder, and Daphne Yao, "DroidCat: Effective Android Malware Detection and Categorization via App-level Profiling" IEEE Transactions on Information Forensics and Security, Vol 14, Issue 6, pp 1455--1470, DOI: 10.1109.TIFS.2018.2879302.

Local

Digital Library

Ke Tian, Daphne Yao, Babara G. Ryder, Gang Tan, and Ghojun Peng, "Detection of Repackaged Android malware with Code-Heterogeniety Features", IEEE Transactions on Dependable and Secure Computing, published August 29, 2017, Jan/Feb 2020 Vol 17 issue 1, pp 64---77, DOI: 10.1109/TDSC.2017.2745575.

Local

Digital Library

Ke Tian, Gang Tan, Daphne Yao, and Barbara G. Ryder, "REDroid: Prioritizing Data Flows and Sinks for App Security Transformations" Proceedings of the ACM CCS Workshop on Forming an Ecosystem Around Software Transformation, (FEAST) November 2017.

Local

Digital Library

Haipeng Cai and Barbara G. Ryder, "Understanding Android Application Programming and Security: A Dynamic Study," Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME), Shanghai, China, September 2017; also as a tool demo "DroidFax: A Toolkit for Systematic Characteriaations of Android Applciations" and as an artifact: "Artifacts for Dynamic Anlaysis of Android Apps".

Local-Paper

Local-Artifacts

Local-Tool

Digital Library

Liuqing Li, He Feng, Wenjie Zhuang, Na Meng, and Barbara G. Ryder, "CCLearner: A Deep Learning-based Clone Detection Approach", Proceedings of the 33rd IEEE Insternational Conference on Software Maintenance and Evolution (ICSEM), Shanghai, China, September 2017; aslo as artifact: CCLearner.

Local

Digital Library

Fang Liu, Haipeng Cai, Gang Wang, Danfeng (Daphne) Yao, Karim O. Elish, and Babara G. Ryder, "MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communications Risks", Proceedings of the 2017 Mobile Security Technologies Workshop (MoST), july2017.

Local

Digital Library

Note: © Copyright 2016 IEEE Computer Society

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision

Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
FSE 2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Note: © Copyright 2016 ACM.

Xu, Kui, Tian, Ke, Yao, Danfeng and Ryder, Barbara G., "A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity", Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), May 2016.

Local

Digital Library

Ke Tien, Daphne Yao, Barbara G. Ryder, and Gang Tan, "Analysis of Internal Code Heterogeneity for High-Precision Classification of Repackaged Malware", Proceedings o f the Mobile Security Technologies Workshop (MoST), May 2016.

Local

Digital Library

Xiaokui Shu, Danfeng Yao, and Barbara Ryder, "A Formal Framework for Program Anomaly Detection", Proceedings of the 18th International Symposium on Research in Attacks, Intrusions and Defenses (RAID), November 2015.

Local

Digital Library

Note: © Copyright 2015 Springer.

Kui Xu and Danfeng Yao and Barbara G. Ryder and Ke Tian, "Probabilistic Program Modeling for High Precision Anomaly Classification", Proceedings of the Computer Security Foundations Symposium, July 2015.

Local

Digital Library

Note: © Copyright 2015 IEEE Computer Society.

Shiyi Wei and Barbara G. Ryder, "Adaptive Context-sensitive Analysis for JavaScript", Proceedings of the European Conference on Object-oriented Programming (ECOOP), July, 2015.

Local

Digital Library

Note: © Copyright 2015 Dagstuhl.

Karim O. Elish and Danfeng Yao and Barbara G. Ryder, "On the Need of Precise Inter-App ICC Classification for Detecting Android Malware Collusions", Proceedings of the Mobile Security Technologies (MoST), May, 2015.

Local

Note: © Copyright 2015 IEEE Computer Society.

Shiyi Wei, Franceska Xhakaj, and Barbara G. Ryder, "Empirical Study of the Dynamic Behavior of JavaScript Objects", Software: Practice and Experience, May 2015.

Local

Digital Library

Note: © Copyright 2015 Wiley.

Karim O. Elish and Danfeng Yao and Barbara G. Ryder, "Profiling User-trigger Dependence for Android Malware Detection", Computers and Society, February, 2015.

Local

Digital Library

Note: © Copyright 2015 Elsevier.

Shiyi Wei and Barbara G. Ryder, "State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects", Proceedings of the European Conference on Object-oriented Programming (ECOOP), July, 2014.

Local

Digital Library

Note: © Copyright 2014 Springer.

Practical blended taint analysis for JavaScript

Shiyi Wei, Barbara G. Ryder
ISSTA 2013 Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013

Digital Library

Note: © Copyright 2013 ACM.

Karim O. Elish and Danfeng Yao and Barbara G. Ryder, "User-centric Dependence Analysis for Identifying Malicious Mobile Apps", Workshop on Mobile Security Technologies, October, 2012.

Local

Note: © Copyright 2012 IEEE.

Shiyi Wei and Barbara G. Ryder, "A Practical Blended Analysis for Dynamic Features in JavaScript", Number Department of Computer Science, Virginia Tech, TR-12-18, September, 2012.

Local

Barbara G. Ryder and Benjamin Weidermann, "Languages Design and Analyzability: A Retrospective", Software Practice and Experience, Volume 42, Pages 3-18, October, 2011.

Digital Library

Note: © Copyright 2011 John Wiley & Sons available online at wileyonlinelibrary.com.

HI-C: diagnosing object churn in framework-based applications

Marc Fisher, II, Luke Marrs, Barbara G. Ryder
FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, 2010

Note: © Copyright 2010 ACM.

Marc Fisher II and Bruno Dufour and Shrutarshi Basu and Barbara G. Ryder, "Exploring the Impact of Context Sensitivity on Blended Analysis", Proceedings of the International Conference on Software Maintenance, September, 2010.

Local

Note: © Copyright 2010 IEEE Computer Society .

Jan Wloka and Einar W. Høst and Barbara G. Ryder, "Tool Support for Change-centric Test Development", IEEE Software, Volume 27, Number 3, May/June, 2010.

Local

Digital Library

Note: © Copyright 2010 IEEE Computer Society .

Ali H. Ibrahim and William R. Cook and Marc Fisher II and Eli Tilevich, "Remote batch invocation for web services: Document-oriented web services with object-oriented interfaces", Proceedings of the European Conference on Web Services, Pages {190-199}, November, 2009.

Local

Digital Library

Jan Wloka and Barbara G. Ryder and Frank Tip, "JUnitMX -- A Change-aware Unit Testing Tool", International Conference on Software Engineering, May, 2009.

Local

Digital Library

Note: © Copyright 2009 IEEE Computer Society .

Jan Wloka and Barbara G. Ryder and Frank Tip and Xiaoxia Ren, "Safe-Commit Analysis to Facilitate Team Software Development", International Conference on Software Engineering, May, 2009.

Local

Digital Library

Note: © Copyright 2009 IEEE Computer Society .

Emmanuel Geay and Marco Pistoia and Takaaki Tateishi and Barbara G. Ryder and Julian Dolby, "Modular String-Sensitive Permission Analysis with Demand-Driven Precision", International Conference on Software Engineering, May, 2009.

Local

Note: © Copyright 2009 IEEE Computer Society .

A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications

Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008

Digital Library

Note: © Copyright 2008 ACM.

Weilei Zhang and Barbara G. Ryder, "Automatic construction of accurate application call graph with library call abstraction for java", Journal of Software Maintenance and Evolution: Research and Practice, Volume 19, Number 4, Pages 231-252, August, 2007.

Digital Library

Note: © Copyright 2007 John Wiley & Sons .

Heuristic ranking of java program edits for fault localization

Xiaoxia Ren, Barbara G. Ryder
ISSTA '07 Proceedings of the 2007 international symposium on Software testing and analysis, 2007

Digital Library

Note: © Copyright 2007 ACM.

Blended analysis for performance understanding of framework-based applications

Bruno Dufour, Barbara G. Ryder, Gary Sevitsky
ISSTA '07 Proceedings of the 2007 international symposium on Software testing and analysis, 2007

Digital Library

Note: © Copyright 2007 ACM.

Discovering accurate interclass test dependences

Weilei Zhang, Barbara G. Ryder
PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2007

Digital Library

Note: © Copyright 2007 ACM .

Chen Fu and Barbara G. Ryder, "Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications", icse, May, 2007.

Digital Library

Note: © Copyright 2007 IEEE Computer Society .

Finding failure-inducing changes in java programs using change classification

Maximilian Stoerzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip
SIGSOFT '06/FSE-14 Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, 2006

Digital Library

Note: © Copyright 2006 ACM..

Xiaoxia Ren and Ophelia C. Chesley and Barbara G. Ryder, "Identifying Failure Causes in Java Programs: an Application of Change Impact Analysis", IEEE Transactions on Software Engineering, Volume 32, Pages 718-732, September, 2006.

Digital Library

Note: © Copyright 2006 IEEE.

Weilei Zhang and Barbara G. Ryder, "Constructing Accurate Application Call Graphs for Java to Model Library Callbacks", Proceedings of the 6th International Workshop on Source Code Analysis and Manipulation, September, 2006.

Local

Digital Library

Note: © Copyright 2006 IEEE Computer Society .

Chen Fu and Barbara G. Ryder, "Exception-chain Analysis: Revealing Exception Handling Architecture in Java Server Applications", Number DCS-TR-599, March, 2006.

Local

Weilei Zhang and Barbara G. Ryder, "A Semantics-Based Definition for Interclass Test Dependence", Number DCS-TR-597, January, 2006.

Local

Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder, "Crisp: A Debugging Tool for Java Programs", Proceedings of the 21st International Conference on Software Maintenance(ICSM 2005), September, 2005.

Digital Library

Note: © Copyright 2005 IEEE Computer Society .

Maximilian Stoerzer and Barbara G. Ryder and Xiaoxia Ren and Frank Tip, "Finding Failure-Inducing Changes using Change Classification", Number DCS-TR-582, September, 2005.

Local

Ana Milanova and Barbara G. Ryder, "Annotated Inclusion Constraints for Precise Flow Analysis", Proceedings of the 21st International Conference on Software Maintenance(ICSM 2005), September, 2005.

Digital Library

Note: © Copyright 2005 IEEE Computer Society .

Chen Fu and Barbara G. Ryder, "Testing and Understanding Error Recovery Code in Java Applications", Number DCS-TR-579, July, 2005.

Local

Note: ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions.

Weilei Zhang and Barbara G. Ryder, "A Practical Algorithm for Interclass Testing Dependence", Number DCS-TR-574, April, 2005.

Local

Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott, "Robustness Testing of Java Server Applications", IEEE Transactions on Software Engineering, Volume 31, Number 4, Pages 292-312, April, 2005.

Digital Library

Note: Extended version of ISSTA 2004 paper solicited for journal publication..

Parameterized object sensitivity for points-to analysis for Java

Ana Milanova, Atanas Rountev, Barbara G. Ryder
ACM Transactions on Software Engineering and Methodology (TOSEM), 2005

Digital Library

Note: © Copyright 2004 ACM. Extended version of ISSTA 2002 paper solicited for journal publication..

Chianti: a tool for change impact analysis of java programs

Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2004

Digital Library

Note: © Copyright 2004 ACM. Also available as DCS-TR-551..

Testing of java web services for robustness

Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, 2004

Digital Library

Note: © Copyright 2004 ACM. Solicited for submission to special issue of IEEE Transactions on Software Engineering.

Atanas Rountev, Ana Milanova and Barbara G. Ryder, "Fragment Class Analysis for Testing Polymorphism in Java Software", IEEE Transactions on Software Engineering, Volume 30, Number 6, Pages 372-387, June, 2004.

Digital Library

Note: © Copyright 2004 IEEE, Extended version of ICSE 2003 paper solicited for special issue journal publication..

Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graphs for C Programs with Function Pointers", Automated Software Engineering special issue on Source Code Analysis and Manipulation, Volume 11, Number 1, Pages 7-26, January, 2004.

Digital Library

Note: © Copyright 2004 Kluwer Academic Publishers.

Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley and Julian Dolby, "Chianti: A Prototype Change Impact Analysis Tool for Java", Department of Computer Science, Rutgers University, Number DCS-TR-533, September, 2003.

Local

Note: Also available as IBM RC-22983.

Ana Milanova, "Precise and Practical Flow Analysis of Object-Oriented Software", Rutgers University, Ph.D. Thesis, August, 2003.

Local

Note: Also available as DCS-TR-539.

Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, and David G. Wonnacott, "Compiler Directed Program-fault Coverage for Highly Available Java Internet Services", 2003 International Conference on Dependable Systems and Networks (DSN 2003), Pages 595-604, June, 2003.

Local

Note: © Copyright 2003 IEEE.

Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Pages 210-220, May, 2003.

Local

Digital Library

Note: © Copyright 2003 IEEE.

B. G. Ryder, "Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages", Proceedings of the International Conference on Compiler Construction, Pages 126-137, April, 2003.

Local

Note: © Copyright 2003 Springer-Verlag.

Online feedback-directed optimization of Java

Matthew Arnold, Michael Hind, Barbara G. Ryder
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2002

Digital Library

Note: © Copyright 2002 ACM.

Matthew Arnold, "Online Instrumentation and Feedback Directed Optimization of Java", Rutgers University, Ph.D. Thesis, October, 2002.

Local

Note: Also available as DCS-TR-469.

Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Workshop on Source Code Analysis and Manipulation (SCAM 2002), October, 2002.

Local

Digital Library

Note: © Copyright 2002 IEEE Computer Society .

Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of International Conference on Software Maintenance (ICSM 2002), October, 2002.

Local

Atanas Rountev, "Dataflow Analysis of Software Fragments", Rutgers University, Ph.D. Thesis, August, 2002.

Note: Also available as DCS-TR-501.

Parameterized object sensitivity for points-to and side-effect analyses for Java

Ana Milanova, Atanas Rountev, Barbara G. Ryder
ACM SIGSOFT Software Engineering Notes, 2002

Note: © Copyright 2001 ACM.

Matthew Arnold and Barbara G. Ryder, "Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading", Proceedings of the European Conference on Object-Oriented Programming (ECOOP 2002), June, 2002.

Local

Note: © Copyright 2002 Springer-Verlag.

Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Department of Computer Science, Rutgers University, Number DCS-TR-482, March, 2002.

Local

Matthew Arnold, "Online Instrumentation and Feedback-Directed Optimization of Java", Department of Computer Science, Rutgers University, Number DCS-TR-469, November, 2001.

Local

Matthew Arnold and Barbara G. Ryder, "Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading", Department of Computer Science, Rutgers University, Number DCS-TR-470, November, 2001.

Local

Points-to analysis for Java using annotated constraints

Atanas Rountev, Ana Milanova, Barbara G. Ryder
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2001

Note: © Copyright 2001 ACM.

A framework for reducing the cost of instrumented code

Matthew Arnold, Barbara G. Ryder
PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, 2001

Note: © Copyright 2001 ACM. Earlier version available as DCS-TR-424.

Change impact analysis for object-oriented programs

Barbara G. Ryder, Frank Tip
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2001

Note: © Copyright 2001 ACM. Also available as IBM T.J.Watson Reseach Center Technical Report RC21997.

Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Complexity of Points-to Analysis of Java in the Presence of Exceptions", IEEE Transactions on Software Engineering, Volume 27, Number 6, Pages 481-512, June, 2001.

Local

Note: The URL points to a preliminary version.

Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Department of Computer Science, Rutgers University, Number DCS-TR-442, May, 2001.

Local

Atanas Rountev and Barbara G. Ryder, "Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries", Proceedings of the International Conference on Compiler Construction (CC 2001), April, 2001.

Local

Note: © Copyright 2001 Springer-Verlag. Earlier version available as DCS-TR-423.

Ramkrishna Chatterjee and Barbara G. Ryder, "Data-flow-based Testing of Object-Oriented Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-433, April, 2001.

Local

Note: Earlier version available as DCS-TR-382.

A schema for interprocedural modification side-effect analysis with pointer aliasing

Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher
ACM Transactions on Programming Languages and Systems (TOPLAS), 2001

Digital Library

Note: © Copyright 2001 ACM.

Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Class Analysis for Testing of Polymorphism in Java Software", Department of Computer Science, Rutgers University, Number DCS-TR-432, February, 2001.

Local

Matthew Arnold, Michael Hsiao, Ulrich Kremer, and Barbara G. Ryder, "Exploring the Interaction between Java's Implicitly Thrown Exceptions and Instruction Scheduling", International Journal of Parallel Programming, special issue, Volume 29, Pages 111-137, 2001.

Digital Library

Note: © Copyright 2001 Kluwer Academic Publishers.

Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Based on Annotated Constraints", Department of Computer Science, Rutgers University, Number DCS-TR-428, November, 2000.

Local

Note: Supersedes DCS-TR-417.

Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter Sweeney, "Adaptive Optimization in the Jalapeno JVM", Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2000), October, 2000.

Local

Digital Library

Note: © Copyright 2000 ACM.

Atanas Rountev and Barbara G. Ryder, "Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-423, October, 2000.

Local

Matthew Arnold, Michael Hind, and Barbara G. Ryder, "An Empirical Study of Selective Optimization", Proceedings of the International Workshop on Languages and Compilers for Parallel Computing (LCPC 2000), August, 2000.

Local

Note: © Copyright 2000 Springer-Verlag.

Atanas Rountev, Ana Milanova, and Barbara G. Ryder, " Points-to Analysis for Java Using Annotated Inclusion Constraints", Department of Computer Science, Rutgers University, Number DCS-TR-417, July, 2000.

Local

Atanas Rountev and Satish Chandra, "Off-line Variable Substitution for Scaling Points-to Analysis", Proceedings of the Conference on Programming Language Design and Implementation (PLDI 2000), June, 2000.

Local

Digital Library

Note: © Copyright 2000 ACM.

Matthew Arnold, Michael Hind, and Barbara G. Ryder, "An Empirical Study of Selective Optimization", Department of Computer Science, Rutgers University, Number DCS-TR-411, March, 2000.

Local

Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, and Nirav Shah, "A Static Study of Java Exceptions", Proceedings of the 9th International Conference on Compiler Construction (CC 2000), March, 2000.

Local

Note: © Copyright 2000 Springer-Verlag. Earlier version available as DCS-TR-403.

Atanas Rountev and Barbara G. Ryder, "Practical Points-to Analysis for Programs Built with Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-410, February, 2000.

Local

Chung-Hsing Hsu and Ulrich Kremer, "A Stable and Efficient Loop Tiling Algorithm", Department of Computer Science, Rutgers University, Number DCS-TR-407, December, 1999.

Local

Chung-Hsing Hsu and Ulrich Kremer, "Tile Selection Algorithms and Their Performance Models", Department of Computer Science, Rutgers University, Number DCS-TR-401, October, 1999.

Local

Ramkrishna Chatterjee, "Modular Data-flow Analysis of Statically Typed Object-Oriented Programming Languages", Rutgers University, Ph.D. Thesis, October, 1999.

Local

Note: Available as DCS-TR-406.

Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, and Nirav Shah, "A Static Study of Java Exceptions using JESP", Department of Computer Science, Rutgers University, Number DCS-TR-403, October, 1999.

Local

Atanas Rountev, Barbara G. Ryder, and William Landi, "Data-Flow Analysis of Program Fragments", Proceedings of the 7th Symposium on the Foundations of Software Engineering (FSE'99), LNCS 1687, September, 1999.

Local

Digital Library

Note: © Copyright 1999 Springer-Verlag. Earlier version available as DCS-TR-383.

Matthew Arnold, Michael Hsiao, Ulrich Kremer, and Barbara G. Ryder, "Instruction Scheduling in the Presence of Java's Runtime Exceptions", Proceedings of the 12th Workshop on Languages and Compilers for Parallel Computing (LCPC'99), August, 1999.

Note: © Copyright 2000 Springer-Verlag. Earlier version available as DCS-TR-403.

Jyh-shiarn Yur, "Incremental Analysis for Flow- and Context-Sensitive Data-Flow Problems", Rutgers University, Ph.D. Thesis, July, 1999.

Local

Note: Available as DCS-TR-393.

Matthew Arnold, Michael Hsiao, Ulrich Kremer, and Barbara G. Ryder, "Instruction Scheduling in the Presence of Java's Runtime Exceptions", Department of Computer Science, Rutgers University, Number DCS-TR-384, June, 1999.

Local

Note: Earlier version of the LCPC'99 paper.

An incremental flow- and context-sensitive pointer aliasing analysis

Jyh-shiarn Yur, Barbara G. Ryder, William A. Landi
ICSE '99 Proceedings of the 21st international conference on Software engineering, 1999

Note: © Copyright 1999 ACM.

Atanas Rountev, Barbara G. Ryder, and William Landi, "Data-Flow Analysis of Program Fragments", Department of Computer Science, Rutgers University, Number DCS-TR-383, March, 1999.

Local

Note: Earlier version of the FSE'99 paper.

Ramkrishna Chatterjee and Barbara G. Ryder, "Data-flow-based Testing of Object-Oriented Libraries", Department of Computer Science, Rutgers University, Number DCS-TR-382, March, 1999.

Local

Relevant context inference

Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1999

Note: © Copyright 1999 ACM. Longer version available as DCS-TR-360.

Relevant context inference

Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
POPL '99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1999

Note: Longer version of the POPL'99 paper - more on exceptions, libraries, and testing.

Chung-Hsing Hsu and Ulrich Kremer, "IPERF: A Framework for Automatic Construction of Performance Prediction Models", First Workshop on Profile and Feedback-Directed Compilation, October, 1998.

Local

Xiang-Xiang Sean Zhang, "Practical Pointer Aliasing Analyses for C", Rutgers University, Ph.D. Thesis, August, 1998.

Local

Note: Available as DCS-TR-367.

Chung-Hsing Hsu and Ulrich Kremer, "A Framework for Qualitative Performance Prediction", Department of Computer Science, Rutgers University, Number DCS-TR-363, July, 1998.

Local

Experiments with combined analysis for pointer aliasing

Sean Zhang, Barbara G. Ryder, William A. Landi
PASTE '98 Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 1998

Note: Also available as DCS-TR-350.

B. G. Ryder, W. Landi, P. Stocks, S. Zhang, and R. Altucher, "A Schema for Interprocedural Side Effect Analysis with Pointer Aliasing", Department of Computer Science, Rutgers University, Number DCS-TR-336, May, 1998.

Local

Note: Revised for journal August 1999.

Ramkrishna Chatterjee, Barbara G. Ryder, and William Landi, "Complexity of Concrete Type-Inference in the Presence of Exceptions", Proceedings of the European Symposium on Programming (ESOP'98), LNCS 1381, April, 1998.

Local

Note: © Copyright 1998 Springer-Verlag. Longer version available as DCS-TR-341.

Comparing flow and context sensitivity on the modification-side-effects problem

Philip A. Stocks, Barbara G. Ryder, William A. Landi, Sean Zhang
ISSTA '98 Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, 1998

Note: Also available as DCS-TR-335.

R. Chatterjee and B. G Ryder, "Modular Concrete Type-Inference for Statically Typed Object-Oriented Programming Languages", Department of Computer Science, Rutgers University, Number DCS-TR-349, November, 1997.

Local

R. Chatterjee, B. G. Ryder, and W. Landi, "Complexity of Concrete Type-Inference in the Presence of Exceptions", Department of Computer Science, Rutgers University, Number DCS-TR-341, September, 1997.

Local

Note: Longer version of the ESOP'98 paper.

R. Chatterjee and B. G. Ryder, "Scalable, Flow-Sensitive Type-Inference for Statically Typed Object-Oriented Programming Languages", Department of Computer Science, Rutgers University, Number DCS-TR-326, July, 1997.

Local

Jyh-shiarn Yur, Barbara G. Ryder, William Landi, and Phil Stocks, "Incremental Analysis of Side Effects for C Software Systems", Proceedings of the 19th International Conference on Software Engineering (ICSE'97), May, 1997.

Local

Note: © Copyright 1997 ACM.

A position paper on compile-time program analysis

Barbara G. Ryder
ACM SIGPLAN Notices, 1997

Digital Library

Note: Also appeared in the January 1997 issue of ACM SIGPLAN Notices.

Sean Zhang, Barbara G. Ryder, and William Landi, "Program Decomposition for Pointer Aliasing: A Step towards Practical Analyses", Proceedings of the 4th Symposium on the Foundations of Software Engineering (FSE'96), October, 1996.

Local

Note: © Copyright 1996 ACM. Longer version available as LCSR-TR-259.

Hemant Pande and Barbara G. Ryder, "Data-flow-based Virtual Function Resolution", Static Analysis: Third International Symposium (SAS'96), LNCS 1145, Pages 238-254, September, 1996.

Local

Note: © Copyright 1996 Springer-Verlag.

Javier Elices, "Refining the Parallel Hybrid Algorithm for Data Flow Analysis", Rutgers University, M. S. Thesis, May, 1996.

Note: Available as LCSR-TR-261.

Hemant D. Pande, "Compile Time Analysis of C and C++ Systems", Rutgers University, Ph.D. Thesis, May, 1996.

Local

Note: Available as LCSR-TR-260.

Sean Zhang, Barbara G. Ryder, and William Landi, "Program Decomposition for Pointer-induced Aliasing Analysis", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-259, March, 1996.

Local

Note: Longer version of the FSE'96 paper.

Javier Elices, "The FM and PL Libraries Documentation", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-257, January, 1996.

Local

Note: This is a three part document. The URL here points to the first part of the document. The URL's to the other parts are similar, but end with 'part2of3.ps' and 'part3of3.ps'.

Yong-fong Lee, Barbara G. Ryder, and Marc E. Fiuczynski, "Region Analysis: A Parallel Elimination Method for Data Flow Analysis", IEEE Transactions on Software Engineering, Volume SE-21, Number 11, Pages 913-926, November, 1995.

Local

Hemant Pande and Barbara G. Ryder, "Static Type Determination and Aliasing for C++", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-250-A, October, 1995.

Local

Stephen P. Masticola, Thomas J. Marlowe, and Barbara G. Ryder, "Lattice Frameworks for Multi-Source and Bidirectional Data Flow Analysis Problems", ACM TOPLAS, Volume 17, Number 5, Pages 777-803, September, 1995.

Local

Note: Revised version of LCSR-TR-241.

Jyh-shiarn Yur and Barbara G. Ryder, "Incremental Analysis of MOD Problem for C", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-254, August, 1995.

Local

T. J. Marlowe, B. G. Ryder, and M. Burke, "Defining Flow Sensitivity for Data Flow Problems", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-249, July, 1995.

Local

A. Shah and B. G. Ryder, "Function Pointers in C -- An Empirical Study", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-244, May, 1995.

Local

H. Pande and B. G. Ryder, "Static Type Determination and Aliasing for C++", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-236, December, 1994.

Local

S. Zhang and B. G. Ryder, "Complexity of Single Level Function Pointer Aliasing Analysis", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-233, October, 1994.

Local

Vincent Sgro and Barbara G. Ryder, "Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs", Proceedings of the Seventh Annual Workshop on Languages and Compilers for Parallel Computing, LNCS 892, Pages 217-233, August, 1994.

See also: HPCD-TR-11.

Yong-fong Lee, Barbara G. Ryder, and Marc. E. Fiuczynski, "Region Analysis: A Parallel Elimination Method for Data Flow Analysis", Proceedings of the IEEE Conference on Computer Languages, Pages 31-42, May, 1994.

H. Pande, W. Landi, and B. G. Ryder, "Interprocedural Def-Use Associations for C Systems with Single Level Pointers", IEEE Transactions on Software Engineering, Volume 20, Number 5, Pages 385-403, May, 1994.

Note: Earlier version available as LCSR-TR-193.

H. Pande and B. G. Ryder, "Static Type Determination for C++", Proceedings of the Sixth USENIX C++ Technical Conference, Pages 85-97, April, 1994.

Yong-fong Lee and Barbara G. Ryder, "Effectively Exploiting Parallelism in Data Flow Analysis", The Journal of Supercomputing, Pages 233-262, 1994.

See also: LCSR-TR-192.

Interprocedural modification side effect analysis with pointer aliasing

William Landi, Barbara G. Ryder, Sean Zhang
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, 1993

See also: LCSR-TR-201, LCSR-TR-195.

Stephen Masticola, "Static Detection of Deadlocks in Polynomial Time", Rutgers University, Ph.D. Thesis, May, 1993.

Local

Note: Also available as LCSR-TR-208.

Non-concurrency analysis

Stephen P. Masticola, Barbara G. Ryder
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, 1993

Note: Published as ACM SIGPLAN Notices, May 1993.

Interprocedural modification side effect analysis with pointer aliasing

William Landi, Barbara G. Ryder, Sean Zhang
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, 1993

Note: This report supersedes LCSR-TR-195 and is an expansion of the ACM SIGPLAN PLDI'93 paper.

Yong-fong Lee and Barbara G. Ryder, "Parallel Hybrid Data Flow Algorithms: A Case Study", Conference Record of 5th Workshop on Languages and Compilers for Parallel Computing, Yale University, LNCS 757, Pages 296-310, August, 1992.

E. Schatz and B. G. Ryder, "Directed Tracing to Detect Race Conditions", Proceedings of the International Conference on Parallel Processing, August, 1992.

Note: Longer version available as LCSR-TR-176.

A safe approximate algorithm for interprocedural aliasing

William Landi, Barbara G. Ryder
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, 1992

See also: LCSR-TR-168.

Yong-fong Lee, "Performing Data Flow Analysis in Parallel", Rutgers University, Ph.D. Thesis, May, 1992.

Note: Also available as LCSR-TR-215.

E. Schatz and B. G. Ryder, "Directed Tracing to Detect Race Conditions", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-176, January, 1992.

Note: This is a fuller version of the ICPP92 paper.

William A. Landi, "Interprocedural Aliasing in the Presence of Pointers", Rutgers University, Ph.D. Thesis, January, 1992.

Local

Note: Also available as LCSR-TR-174.

Yong-fong Lee, Thomas J. Marlowe, and Barbara G. Ryder, "Experiences with a Parallel Algorithm for Data Flow Analysis", The Journal of Supercomputing, Volume 5, Number 2, Pages 163-188, October, 1991.

H. Pande, B. G. Ryder, and W. Landi, "Interprocedural Def-Use Associations for C Programs", Proceedings of the ACM SIGSOFT Conference on Testing, Analysis and Verification, Pages 139-153, October, 1991.

A safe approximate algorithm for interprocedural pointer aliasing

William Landi, Barbara G. Ryder
ACM SIGPLAN Notices - 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999: A Selection, 2004

Note: a fuller version of PLDI'92 paper.

S. Masticola and B. G. Ryder, "A Model of Ada Programs for Static Deadlock Detection", Proceedings of 1991 ACM/ONR Workshop on Parallel and, Pages 91-102, May, 1991.

Note: Published as ACM SIGPLAN Notices, vol 26, no 12, December 1991.

H. Pande, B. G. Ryder, and W. Landi, "Interprocedural Def-Use Associations in C Programs", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-162, April, 1991.

T. J. Marlowe and B. G. Ryder, "Hybrid Incremental Alias Algorithms", Proceedings of the Twentyfourth Hawaii International Conference on System Sciences, Volume II, Software, January, 1991.

Yong-fong Lee, Thomas J. Marlowe, and Barbara G. Ryder, "Performing Data Flow Analysis in Parallel", Proceedings of ACM Supercomputing90, Pages 942-951, November, 1990.

See also: CAIP-TR-108.

E. Schatz and B. G. Ryder, "Directed Tracing to Detect Race Conditions", Laboratory of Computer Science Research Technical Report, Number LCSR-TR-155, November, 1990.

S. Masticola and B. G. Ryder, "Static Infinite Wait Anomaly Detection in Polynomial Time", Proceedings of the International Conference on Parallel Processing, Pages II78-II87, August, 1990.

Note: Longer version available as LCSR-TR-141.

M. Burke and B. G. Ryder, "A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms", IEEE Transactions on Software Engineering, Volume 16, Number 7, July, 1990.

See also: LCSR-TR-096.

B. G. Ryder, W. Landi, and H. Pande, "Profiling an Incremental Data Flow Analysis Algorithm", IEEE Transactions on Software Engineering, Volume 16, Number 2, Pages 129-140, February, 1990.

See also: CAIP-TR-098.

An efficient hybrid algorithm for incremental data flow analysis

Thomas J. Marlowe, Barbara G. Ryder
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989

See also: LCSR-TR-125.

T. J. Marlowe and B. G. Ryder, "Properties of Data Flow Frameworks: a Unified Model", Acta Informatica, Volume 28, Pages 121-163, 1990.

Local

B. G. Ryder, "ISMM: Incremental Software Maintenance Manager", Proceedings of the IEEE Computer Society Conference on Software Maintenance, Pages 142-164, October, 1989.

Thomas J. Marlowe, "Data Flow Analysis and Incremental Iteration", Rutgers University, Ph.D. Thesis, August, 1989.

Note: Also available as DCS-TR-255.

Martin D. Carroll, "Dataflow Update via Attribute and Dominator Update", Rutgers University, Ph.D. Thesis, May, 1988.

Note: Also available as LCSR-TR-111.

Barbara G. Ryder and Stephen J. Pendergrast, "Experiments in Optimizing FP", IEEE Transactions on Software Engineering, Volume 14, Number 4, Pages 444-454, April, 1988.

Digital Library

Incremental data-flow analysis algorithms

Barbara G. Ryder, Marvin C. Paull
ACM Transactions on Programming Languages and Systems (TOPLAS), 1988

Note: was DCS-TR-131.

B. G. Ryder, T.J. Marlowe, and M. C. Paull, "Conditions for Incremental Iteration: Examples and Counterexamples", Science of Computer Programming, Volume 11, Pages 1-15, 1988.

Note: Also available as LCSR-TR-89.

B. G. Ryder, "An Application of Static Program Analysis to Software Maintenance", Proceedings of the Twentieth Hawaii International Conference on System Sciences, Volume II, Software, Pages 82-91, January, 1987.

Elimination algorithms for data flow analysis

Barbara G. Ryder, Marvin C. Paull
ACM Computing Surveys (CSUR), 1986

See also: DCS-TR-140.

A. M. Berman, M. C. Paull, and B. G. Ryder, "Proving Relative Lower Bounds for Incremental Algorithms", Acta Informatica, Volume 27, Pages 665-583, July, 199.

See also: DCS-TR-154 4/85.