Barbara G. Ryder

IEEE Trans. Software Eng., 2021

CCLearner: Clone Detection via Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Code Clone Analysis, 2021

2020

Identifying Mobile Inter-App Communication Risks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2020

Detection of Repackaged Android Malware with Code-Heterogeneity Features.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2020

Prioritizing data flows and sinks for app security transformation.

[BibT_eX]

[DOI]

Comput. Secur., 2020

2019

DroidCat: Effective Android Malware Detection and Categorization via App-Level Profiling.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2019

2017

MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

CCLearner: A Deep Learning-Based Clone Detection Approach.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Artifacts for Dynamic Analysis of Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

DroidFax: A Toolkit for Systematic Characterization of Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Understanding Android Application Programming and Security: A Dynamic Study.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Prioritized Analysis of Inter-App Communication Risks.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation.

[BibT_eX]

[DOI]

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2016

Empirical study of the dynamic behavior of JavaScript objects.

[BibT_eX]

[DOI]

Franceska Xhakaj

Softw. Pract. Exp., 2016

Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

Profiling user-trigger dependence for Android malware detection.

[BibT_eX]

[DOI]

Comput. Secur., 2015

A Formal Framework for Program Anomaly Detection.

[BibT_eX]

[DOI]

Xiaokui Shu

Danfeng (Daphne) Yao

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2015

Adaptive Context-sensitive Analysis for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Probabilistic Program Modeling for High-Precision Anomaly Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Taming the dynamic behavior of JavaScript.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'14, 2014

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Practical blended taint analysis for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Language design and analyzability: a retrospective.

[BibT_eX]

[DOI]

Ben Wiedermann

Softw. Pract. Exp., 2012

2011

An evaluation of change-based coverage criteria.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

2010

Introduction: The Best Papers of ISSTA.

[BibT_eX]

[DOI]

Andreas Zeller

IEEE Trans. Software Eng., 2010

Tool Support for Change-Centric Test Development.

[BibT_eX]

[DOI]

Jan Wloka

Einar Hoest

IEEE Softw., 2010

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

[BibT_eX]

[DOI]

Marc Fisher II

Luke Marrs

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Exploring the impact of context sensitivity on blended analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Safe-commit analysis to facilitate team software development.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

JUnitMX - A change-aware unit testing tool.

[BibT_eX]

[DOI]

Jan Wloka

Frank Tip

Proceedings of the 31st International Conference on Software Engineering, 2009

Modular string-sensitive permission analysis with demand-driven precision.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bruno Dufour

Gary Sevitsky

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.

[BibT_eX]

[DOI]

Weilei Zhang

J. Softw. Maintenance Res. Pract., 2007

Discovering accurate interclass test dependences.

[BibT_eX]

[DOI]

Weilei Zhang

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.

[BibT_eX]

[DOI]

Xiaoxia Ren

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Blended analysis for performance understanding of framework-based applications.

[BibT_eX]

[DOI]

Bruno Dufour

Gary Sevitsky

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications.

[BibT_eX]

[DOI]

Chen Fu

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Crisp-A Fault Localization Tool for Java Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Xiaoxia Ren

Ophelia C. Chesley

IEEE Trans. Software Eng., 2006

Finding failure-inducing changes in java programs using change classification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Weilei Zhang

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

2005

Robustness Testing of Java Server Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

The impact of software engineering research on modern programming languages.

[BibT_eX]

[DOI]

Mary Lou Soffa

Margaret M. Burnett

ACM Trans. Softw. Eng. Methodol., 2005

Parameterized object sensitivity for points-to analysis for Java.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

Annotated Inclusion Constraints for Precise Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Crisp: A Debugging Tool for Java Programs.

[BibT_eX]

[DOI]

Ophelia C. Chesley

Xiaoxia Ren

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Chianti: a change impact analysis tool for java programs.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Navigating error recovery code in Java applications.

[BibT_eX]

[DOI]

Chen Fu

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

Fragment Class Analysis for Testing of Polymorphism in Java Software.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Precise Call Graphs for C Programs with Function Pointers.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

Chianti: a tool for change impact analysis of java programs.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Testing of java web services for robustness.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mary Lou Soffa

ACM SIGSOFT Softw. Eng. Notes, 2003

Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Precise Call Graph Construction in the Presence of Function Pointers.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Online feedback-directed optimization of Java.

[BibT_eX]

[DOI]

Michael Hind

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.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

Constructing Precise Object Relation Diagrams.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2002, 2002

2001

Complexity of Points-To Analysis of Java in the Presence of Exceptions.

[BibT_eX]

[DOI]

Ramkrishna Chatterjee

IEEE Trans. Software Eng., 2001

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

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2001

Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2001

A Framework for Reducing the Cost of Instrumented Code.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Change impact analysis for object-oriented programs.

[BibT_eX]

[DOI]

Frank Tip

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

PLDI '99: Programming Language Design and Implementation (Report).

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2000

An Empirical Study of Selective Optimization.

[BibT_eX]

[DOI]

Michael Hind

Proceedings of the Languages and Compilers for Parallel Computing, 2000

A Static Study of Java Exceptions Using JESP.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 9th International Conference, 2000

1999

ACM fellow profile.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Relevant Context Inference.

[BibT_eX]

[DOI]

Ramkrishna Chatterjee

Proceedings of the POPL '99, 1999

Instruction Scheduling in the Presence of Java's Runtime Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1999

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.

[BibT_eX]

[DOI]

Jyh-Shiarn Yur

Proceedings of the 1999 International Conference on Software Engineering, 1999

Data-Flow Analysis of Program Fragments.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1999

1998

MASPLAS '98 - Conference Report.

[BibT_eX]

ACM SIGPLAN Notices, 1998

Experiments with Combined Analysis for Pointer Aliasing.

[BibT_eX]

[DOI]

Sean Zhang

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.

[BibT_eX]

[DOI]

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Complexity of Concrete Type-Inference in the Presence of Exceptions.

[BibT_eX]

[DOI]

Ramkrishna Chatterjee

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.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1997

Practical Compile-Time Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 4th International Symposium, 1997

Incremental Analysis of Side Effects for C Software System.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

1996

The Future of Program Analysis.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.

[BibT_eX]

[DOI]

Sean Zhang

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Data-Flow-Based Virtual Function Resolution.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

Region Analysis: A Parallel Elimination Method for Data Flow Analysis.

[BibT_eX]

[DOI]

Marc E. Fiuczynski

IEEE Trans. Software Eng., 1995

Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1995

1994

Interprocedural Def-Use Associations for C Systems with Single Level Pointers.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

Effectively exploiting parallelism in data flow analysis.

[BibT_eX]

[DOI]

J. Supercomput., 1994

Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs.

[BibT_eX]

[DOI]

Vincent Sgro

Proceedings of the Languages and Compilers for Parallel Computing, 1994

Static Type Determination for C++.

[BibT_eX]

[DOI]

Proceedings of the C++ Conference. Cambridge, MA, USA, April 1994, 1994

1993

Pointer-Induced Aliasing: A Clarification.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1993

Non-concurrency Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

Interprocedural Side Effect Analysis With Pointer Aliasing.

[BibT_eX]

[DOI]

Sean Zhang

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)

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Parallel Hybrid Data Flow Algorithms: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1992

A comprehensive approach to parallel data flow analysis.

[BibT_eX]

[DOI]

Proceedings of the 6th international conference on Supercomputing, 1992

Directed Tracing to Detect Race Conditions.

[BibT_eX]

Emmi Schatz

Proceedings of the 1992 International Conference on Parallel Processing, 1992

1991

Experiences with a parallel algorithm for data flow analysis.

[BibT_eX]

[DOI]

J. Supercomput., 1991

Pointer-Induced Aliasing: A Problem Classification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

1990

Profiling an Incremental Data Flow Analysis Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.

[BibT_eX]

[DOI]

Michael G. Burke

IEEE Trans. Software Eng., 1990

Properties of Data Flow Frameworks.

[BibT_eX]

[DOI]

Acta Informatica, 1990

Proving Relative Lower Bounds for Incremental Algorithms.

[BibT_eX]

[DOI]

A. Michael Berman

Acta Informatica, 1990

Performing data flow analysis in parallel.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

ISMM: the incremental software maintenance manager.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1989

1988

Experiments in Optimizing FP.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

Incremental Data-Flow Analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1988

Conditions for incremental iteration: Examples and counterexamples.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

Incremental Data Flow Analysis via Dominator and Attribute Updates.

[BibT_eX]

[DOI]

Martin D. Carroll

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1986

Elimination Algorithms for Data Flow Analysis.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1986

An incremental algorithm for software analysis.

[BibT_eX]

[DOI]

Martin D. Carroll

Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

1984

A "hands-on" approach to computer literacy.

[BibT_eX]

[DOI]

Proceedings of the 15th SIGCSE Technical Symposium on Computer Science Education, 1984

1983

Incremental Data Flow Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1979

1974

The PFORT Verifier.

[BibT_eX]

[DOI]