Barbara G. Ryder

According to our database1, Barbara G. Ryder authored at least 118 papers between 1974 and 2017.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 1998, "For seminal contributions to the theoretical foundations and empirical investigation of interprocedural compile-time analyses, especially for languages with general-purpose pointers.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks.
Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

CCLearner: A Deep Learning-Based Clone Detection Approach.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Artifacts for Dynamic Analysis of Android Apps.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

DroidFax: A Toolkit for Systematic Characterization of Android Applications.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Understanding Android Application Programming and Security: A Dynamic Study.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Prioritized Analysis of Inter-App Communication Risks.
Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy, 2017

ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation.
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2016
Empirical study of the dynamic behavior of JavaScript objects.
Softw., Pract. Exper., 2016

Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware.
Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
Profiling user-trigger dependence for Android malware detection.
Computers & Security, 2015

A Formal Framework for Program Anomaly Detection.
Proceedings of the Research in Attacks, Intrusions, and Defenses, 2015

Adaptive Context-sensitive Analysis for JavaScript.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Probabilistic Program Modeling for High-Precision Anomaly Classification.
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014
Taming the dynamic behavior of JavaScript.
Proceedings of the Conference on Systems, 2014

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Practical blended taint analysis for JavaScript.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012
Language design and analyzability: a retrospective.
Softw., Pract. Exper., 2012

2011
An evaluation of change-based coverage criteria.
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

2010
Introduction: The Best Papers of ISSTA.
IEEE Trans. Software Eng., 2010

Tool Support for Change-Centric Test Development.
IEEE Software, 2010

HI-C: diagnosing object churn in framework-based applications.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Exploring the impact of context sensitivity on blended analysis.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009
Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Safe-commit analysis to facilitate team software development.
Proceedings of the 31st International Conference on Software Engineering, 2009

JUnitMX - A change-aware unit testing tool.
Proceedings of the 31st International Conference on Software Engineering, 2009

Modular string-sensitive permission analysis with demand-driven precision.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

2007
Automatic construction of accurate application call graph with library call abstraction for Java.
Journal of Software Maintenance, 2007

Discovering accurate interclass test dependences.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Heuristic ranking of java program edits for fault localization.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Blended analysis for performance understanding of framework-based applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Crisp-A Fault Localization Tool for Java Programs.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis.
IEEE Trans. Software Eng., 2006

Finding failure-inducing changes in java programs using change classification.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Constructing Accurate Application Call Graphs For Java To Model Library Callbacks.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

2005
Robustness Testing of Java Server Applications.
IEEE Trans. Software Eng., 2005

The impact of software engineering research on modern programming languages.
ACM Trans. Softw. Eng. Methodol., 2005

Parameterized object sensitivity for points-to analysis for Java.
ACM Trans. Softw. Eng. Methodol., 2005

Annotated Inclusion Constraints for Precise Flow Analysis.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Crisp: A Debugging Tool for Java Programs.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Chianti: a change impact analysis tool for java programs.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Navigating error recovery code in Java applications.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004
Fragment Class Analysis for Testing of Polymorphism in Java Software.
IEEE Trans. Software Eng., 2004

Precise Call Graphs for C Programs with Function Pointers.
Autom. Softw. Eng., 2004

Chianti: a tool for change impact analysis of java programs.
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Testing of java web services for robustness.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design.
ACM SIGSOFT Software Engineering Notes, 2003

Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design.
SIGPLAN Notices, 2003

Fragment Class Analysis for Testing of Polymorphism in Java Software.
Proceedings of the 25th International Conference on Software Engineering, 2003

Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
Precise Call Graph Construction in the Presence of Function Pointers.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Online feedback-directed optimization of Java.
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Parameterized object sensitivity for points-to and side-effect analyses for Java.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

Constructing Precise Object Relation Diagrams.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading.
Proceedings of the ECOOP 2002, 2002

2001
Complexity of Points-To Analysis of Java in the Presence of Exceptions.
IEEE Trans. Software Eng., 2001

A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst., 2001

Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling.
International Journal of Parallel Programming, 2001

A Framework for Reducing the Cost of Instrumented Code.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Change impact analysis for object-oriented programs.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

Points-To Analysis for Java using Annotated Constraints.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries.
Proceedings of the Compiler Construction, 10th International Conference, 2001

2000
PLDI '99: Programming Language Design and Implementation (Report).
SIGPLAN Notices, 2000

An Empirical Study of Selective Optimization.
Proceedings of the Languages and Compilers for Parallel Computing, 2000

A Static Study of Java Exceptions Using JESP.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1999
ACM fellow profile.
ACM SIGSOFT Software Engineering Notes, 1999

Relevant Context Inference.
Proceedings of the POPL '99, 1999

Instruction Scheduling in the Presence of Java's Runtime Exceptions.
Proceedings of the Languages and Compilers for Parallel Computing, 1999

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Data-Flow Analysis of Program Fragments.
Proceedings of the Software Engineering, 1999

1998
MASPLAS '98 - Conference Report.
SIGPLAN Notices, 1998

Experiments with Combined Analysis for Pointer Aliasing.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Complexity of Concrete Type-Inference in the Presence of Exceptions.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
A Position Paper on Compile-time Program Analysis.
SIGPLAN Notices, 1997

Practical Compile-Time Analysis.
Proceedings of the Static Analysis, 4th International Symposium, 1997

Incremental Analysis of Side Effects for C Software System.
Proceedings of the Pulling Together, 1997

1996
The Future of Program Analysis.
ACM Comput. Surv., 1996

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
Proceedings of the SIGSOFT '96, 1996

Data-Flow-Based Virtual Function Resolution.
Proceedings of the Static Analysis, Third International Symposium, 1996

1995
Region Analysis: A Parallel Elimination Method for Data Flow Analysis.
IEEE Trans. Software Eng., 1995

Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems.
ACM Trans. Program. Lang. Syst., 1995

1994
Interprocedural Def-Use Associations for C Systems with Single Level Pointers.
IEEE Trans. Software Eng., 1994

Effectively exploiting parallelism in data flow analysis.
The Journal of Supercomputing, 1994

Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

Region Analysis: A Parallel Elimination Method for Data Flow Analysis.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

Static Type Determination for C++.
Proceedings of the C++ Conference. Cambridge, MA, USA, April 1994, 1994

1993
Pointer-Induced Aliasing: A Clarification.
SIGPLAN Notices, 1993

Non-concurrency Analysis.
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

Interprocedural Side Effect Analysis With Pointer Aliasing.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1992

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Parallel Hybrid Data Flow Algorithms: A Case Study.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

A comprehensive approach to parallel data flow analysis.
Proceedings of the 6th international conference on Supercomputing, 1992

Directed Tracing to Detect Race Conditions.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

1991
Experiences with a parallel algorithm for data flow analysis.
The Journal of Supercomputing, 1991

Pointer-Induced Aliasing: A Problem Classification.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

A Model of Ada Programs for Static Deadlock Detection in Polynomial Time.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

1990
Profiling an Incremental Data Flow Analysis Algorithm.
IEEE Trans. Software Eng., 1990

A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.
IEEE Trans. Software Eng., 1990

Properties of Data Flow Frameworks.
Acta Inf., 1990

Proving Relative Lower Bounds for Incremental Algorithms.
Acta Inf., 1990

Performing data flow analysis in parallel.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Static Infinite Wait Anomaly Detection in Polynomial Time.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1988
Experiments in Optimizing FP.
IEEE Trans. Software Eng., 1988

Incremental Data-Flow Analysis.
ACM Trans. Program. Lang. Syst., 1988

Conditions for incremental iteration: Examples and counterexamples.
Sci. Comput. Program., 1988

Incremental Data Flow Analysis via Dominator and Attribute Updates.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1986
Elimination Algorithms for Data Flow Analysis.
ACM Comput. Surv., 1986

An incremental algorithm for software analysis.
Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

1983
Incremental Data Flow Analysis.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1979
Constructing the Call Graph of a Program.
IEEE Trans. Software Eng., 1979

1974
The PFORT Verifier.
Softw., Pract. Exper., 1974


  Loading...