Frank Tip

Orcid: 0000-0002-1862-3498

According to our database1, Frank Tip authored at least 106 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation.
IEEE Trans. Software Eng., January, 2024

LLMorpheus: Mutation Testing using Large Language Models.
CoRR, 2024

2023
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs.
IEEE Trans. Software Eng., 2023

A statistical approach for finding property-access errors.
CoRR, 2023

Adaptive Test Generation Using a Large Language Model.
CoRR, 2023

Code Coverage Criteria for Asynchronous Programs.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Increasing the Responsiveness of Web Applications by Introducing Lazy Loading.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022
Stubbifier: debloating dynamic server-side JavaScript applications.
Empir. Softw. Eng., 2022

reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Augur: Dynamic Taint Analysis for Asynchronous JavaScript.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
A Study of Call Graph Construction for JVM-Hosted Languages.
IEEE Trans. Software Eng., 2021

Automatic migration from synchronous to asynchronous JavaScript APIs.
Proc. ACM Program. Lang., 2021

Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact).
Dagstuhl Artifacts Ser., 2021

Enabling Additional Parallelism in Asynchronous JavaScript Applications.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020
Platform-Independent Dynamic Taint Analysis for JavaScript.
IEEE Trans. Software Eng., 2020

A Semantics for the Essence of React.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Precise Dataflow Analysis of Event-Driven Applications.
CoRR, 2019

2018
Test generation for higher-order functions in dynamic languages.
Proc. ACM Program. Lang., 2018

Finding broken promises in asynchronous JavaScript programs.
Proc. ACM Program. Lang., 2018

Practical AJAX race detection for JavaScript web applications.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017
A model for reasoning about JavaScript promises.
Proc. ACM Program. Lang., 2017

Practical initialization race detection for JavaScript web applications.
Proc. ACM Program. Lang., 2017

Repairing event race errors by controlling nondeterminism.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Type Inference for Static Compilation of JavaScript (Extended Version).
CoRR, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR, 2016

Type inference for static compilation of JavaScript.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Feedback-directed instrumentation for deployed JavaScript applications.
Proceedings of the 38th International Conference on Software Engineering, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Type-Based Call Graph Construction Algorithms for Scala.
ACM Trans. Softw. Eng. Methodol., 2015

Infeasible paths in object-oriented programs.
Sci. Comput. Program., 2015

Precise Data Flow Analysis in the Presence of Correlated Method Calls.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Static analysis of event-driven Node.js JavaScript applications.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
Practices of PLDI.
ACM SIGPLAN Notices, 2014

Constructing Call Graphs of Scala Programs.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061).
Dagstuhl Reports, 2013

Dynamic determinacy analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Detecting deadlock in programs with data-centric synchronization.
Proceedings of the 35th International Conference on Software Engineering, 2013

Efficient construction of approximate call graphs for JavaScript IDE services.
Proceedings of the 35th International Conference on Software Engineering, 2013

12th Compiler-Driven Performance Workshop.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2012
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs.
IEEE Trans. Software Eng., 2012

Fault Localization for Dynamic Web Applications.
IEEE Trans. Software Eng., 2012

A data-centric approach to synchronization.
ACM Trans. Program. Lang. Syst., 2012

Automated repair of HTML generation errors in PHP applications using string constraint solving.
Proceedings of the 34th International Conference on Software Engineering, 2012

Correlation Tracking for Points-To Analysis of JavaScript.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Refactoring using type constraints.
ACM Trans. Program. Lang. Syst., 2011

Finding and Fixing Bugs in Web Applications (Invited Talk).
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

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

Refactoring towards the good parts of javascript.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Tool-supported refactoring for JavaScript.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Refactoring Java programs for flexible locking.
Proceedings of the 33rd International Conference on Software Engineering, 2011

A framework for automated testing of javascript web applications.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
IEEE Trans. Software Eng., 2010

Directed test generation for effective fault localization.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Practical fault localization for dynamic web applications.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Type System for Data-Centric Synchronization.
Proceedings of the ECOOP 2010, 2010

Correct Refactoring of Concurrent Java Code.
Proceedings of the ECOOP 2010, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.
Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.
Proceedings of the Relationships, Objects, 2010

2009
Refactoring for reentrancy.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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

2008
Relationships and associations in object-oriented languages.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Finding bugs in dynamic web applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Dynamic detection of atomic-set-serializability violations.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Finding bugs efficiently with a SAT solver.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

C++ ist typsicher? Garantiert!
Proceedings of the Software Engineering 2007, 2007

Refactoring Using Type Constraints.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Refactoring for Parameterizing Java Classes.
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

Refactoring Tools.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Declarative Object Identity Using Relation Types.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006
PEPM 2006 paper abstracts.
ACM SIGPLAN Notices, 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

Associating synchronization constraints with data in an object-oriented language.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

An operational semantics and type safety prooffor multiple inheritance in C++.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Generics-related refactorings in eclipse.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Refactoring support for class library migration.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

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

Efficiently Refactoring Java Applications to Use Generic Libraries.
Proceedings of the ECOOP 2005, 2005

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

Advanced refactorings in eclipse.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Customization of Java Library Classes Using Type Constraints and Profile Information.
Proceedings of the ECOOP 2004, 2004

2003
Extracting library-based Java applications.
Commun. ACM, 2003

Refactoring for generalization using type constraints.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002
Practical extraction techniques for Java.
ACM Trans. Program. Lang. Syst., 2002

Semantics-Based Composition of Class Hierarchies.
Proceedings of the ECOOP 2002, 2002

2001
A slicing-based approach for locating type errors.
ACM Trans. Softw. Eng. Methodol., 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

2000
Understanding class hierarchies using concept analysis.
ACM Trans. Program. Lang. Syst., 2000

Class Hierarchy Specialization.
Acta Informatica, 2000

Extracting library-based object-oriented applications.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Scalable propagation-based call graph construction algorithms.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999
Aggregate Structure Identification and Its Application to Program Analysis.
Proceedings of the POPL '99, 1999

Practical Experience with an Application Extractor for Java.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1998
Dynamic dependence in term rewriting systems and its application to program slicing.
Inf. Softw. Technol., 1998

Reengineering Class Hierarchies Using Concept Analysis.
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

A Study of Dead Data Members in C++ Applications.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1996
Slicing Class Hierarchies in C++.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1995
A survey of program slicing techniques.
J. Program. Lang., 1995

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Parametric Program Slicing.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1993
Origin Tracking.
J. Symb. Comput., 1993

Animators for Generated Programming Environments.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993


  Loading...