Frank Tip

According to our database, Frank Tip authored at least 105 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation.

Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip

IEEE Trans. Software Eng., January, 2024

2023

Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs.

Ellen Arteca, Max Schäfer, Frank Tip

IEEE Trans. Software Eng., 2023

A statistical approach for finding property-access errors.

Ellen Arteca, Max Schäfer, Frank Tip

CoRR, 2023

Adaptive Test Generation Using a Large Language Model.

Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip

CoRR, 2023

Code Coverage Criteria for Asynchronous Programs.

Mohammad Ganji, Saba Alimadadi, Frank Tip

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.

Alexi Turcotte, Satyajit Gokhale, Frank Tip

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.

Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Stubbifier: debloating dynamic server-side JavaScript applications.

Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip

Empir. Softw. Eng., 2022

reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications.

Alexi Turcotte, Mark W. Aldrich, Frank Tip

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Augur: Dynamic Taint Analysis for Asynchronous JavaScript.

Mark W. Aldrich, Alexi Turcotte, Matthew Blanco, Frank Tip

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript.

Alexi Turcotte, Michael D. Shah, Mark W. Aldrich, Frank Tip

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks.

Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

A Study of Call Graph Construction for JVM-Hosted Languages.

Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip

IEEE Trans. Software Eng., 2021

Automatic migration from synchronous to asynchronous JavaScript APIs.

Satyajit Gokhale, Alexi Turcotte, Frank Tip

Proc. ACM Program. Lang., 2021

Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact).

Ellen Arteca, Frank Tip, Max Schäfer

Dagstuhl Artifacts Ser., 2021

Enabling Additional Parallelism in Asynchronous JavaScript Applications.

Ellen Arteca, Frank Tip, Max Schäfer

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Platform-Independent Dynamic Taint Analysis for JavaScript.

Rezwana Karim, Frank Tip, Alena Sochurková, Koushik Sen

IEEE Trans. Software Eng., 2020

A Semantics for the Essence of React.

Magnus Madsen, Ondrej Lhoták, Frank Tip

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Precise Dataflow Analysis of Event-Driven Applications.

Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek

CoRR, 2019

2018

Test generation for higher-order functions in dynamic languages.

Marija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip

Proc. ACM Program. Lang., 2018

Finding broken promises in asynchronous JavaScript programs.

Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip

Proc. ACM Program. Lang., 2018

Practical AJAX race detection for JavaScript web applications.

Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip

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.

Magnus Madsen, Ondrej Lhoták, Frank Tip

Proc. ACM Program. Lang., 2017

Practical initialization race detection for JavaScript web applications.

Christoffer Quist Adamsen, Anders Møller, Frank Tip

Proc. ACM Program. Lang., 2017

Repairing event race errors by controlling nondeterminism.

Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

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

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

CoRR, 2016

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

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

CoRR, 2016

Type inference for static compilation of JavaScript.

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Feedback-directed instrumentation for deployed JavaScript applications.

Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller

Proceedings of the 38th International Conference on Software Engineering, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Type-Based Call Graph Construction Algorithms for Scala.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

ACM Trans. Softw. Eng. Methodol., 2015

Infeasible paths in object-oriented programs.

Frank Tip

Sci. Comput. Program., 2015

Precise Data Flow Analysis in the Presence of Correlated Method Calls.

Marianna Rapoport, Ondrej Lhoták, Frank Tip

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Static analysis of event-driven Node.js JavaScript applications.

Magnus Madsen, Frank Tip, Ondrej Lhoták

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Practices of PLDI.

Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler

ACM SIGPLAN Notices, 2014

Constructing Call Graphs of Scala Programs.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

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).

Mary Jean Harrold, Friedrich Steimann, Frank Tip, Andreas Zeller

Dagstuhl Reports, 2013

Dynamic determinacy analysis.

Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Detecting deadlock in programs with data-centric synchronization.

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek

Proceedings of the 35th International Conference on Software Engineering, 2013

Efficient construction of approximate call graphs for JavaScript IDE services.

Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the 35th International Conference on Software Engineering, 2013

12th Compiler-Driven Performance Workshop.

José Nelson Amaral, Bob Blainey, Laurie J. Hendren, Kevin Stoodley, Frank Tip

Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2012

A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs.

Max Schäfer, Andreas Thies, Friedrich Steimann, Frank Tip

IEEE Trans. Software Eng., 2012

Fault Localization for Dynamic Web Applications.

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia

IEEE Trans. Software Eng., 2012

A data-centric approach to synchronization.

Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek

ACM Trans. Program. Lang. Syst., 2012

Automated repair of HTML generation errors in PHP applications using string constraint solving.

Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren

Proceedings of the 34th International Conference on Software Engineering, 2012

Correlation Tracking for Points-To Analysis of JavaScript.

Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Refactoring using type constraints.

Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter

ACM Trans. Program. Lang. Syst., 2011

Finding and Fixing Bugs in Web Applications (Invited Talk).

Frank Tip

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

An evaluation of change-based coverage criteria.

Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky

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

Refactoring towards the good parts of javascript.

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Tool-supported refactoring for JavaScript.

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Refactoring Java programs for flexible locking.

Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the 33rd International Conference on Software Engineering, 2011

A framework for automated testing of javascript web applications.

Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip

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.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

IEEE Trans. Software Eng., 2010

Directed test generation for effective fault localization.

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Practical fault localization for dynamic web applications.

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Type System for Data-Centric Synchronization.

Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek

Proceedings of the ECOOP 2010, 2010

Correct Refactoring of Concurrent Java Code.

Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip

Proceedings of the ECOOP 2010, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip

Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip

Proceedings of the Relationships, Objects, 2010

2009

Refactoring for reentrancy.

Jan Wloka, Manu Sridharan, Frank Tip

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.

Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren

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

JUnitMX - A change-aware unit testing tool.

Jan Wloka, Barbara G. Ryder, Frank Tip

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

2008

Relationships and associations in object-oriented languages.

Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Finding bugs in dynamic web applications.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

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

Dynamic detection of atomic-set-serializability violations.

Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Finding bugs efficiently with a SAT solver.

Julian Dolby, Mandana Vaziri, Frank Tip

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!

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Proceedings of the Software Engineering 2007, 2007

Refactoring Using Type Constraints.

Frank Tip

Proceedings of the Static Analysis, 14th International Symposium, 2007

Refactoring for Parameterizing Java Classes.

Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer

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

Crisp-A Fault Localization Tool for Java Programs.

Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip

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

Refactoring Tools.

Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller

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

Declarative Object Identity Using Relation Types.

Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

PEPM 2006 paper abstracts.

Mark W. Bailey, John Hatcliff, Frank Tip

ACM SIGPLAN Notices, 2006

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

Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Associating synchronization constraints with data in an object-oriented language.

Mandana Vaziri, Frank Tip, Julian Dolby

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++.

Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Generics-related refactorings in eclipse.

Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Refactoring support for class library migration.

Ittai Balaban, Frank Tip, Robert M. Fuhrer

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Chianti: a change impact analysis tool for java programs.

Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip

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

Efficiently Refactoring Java Applications to Use Generic Libraries.

Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller

Proceedings of the ECOOP 2005, 2005

2004

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

Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley

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

Advanced refactorings in eclipse.

Robert M. Fuhrer, Frank Tip, Adam Kiezun

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.

Bjorn De Sutter, Frank Tip, Julian Dolby

Proceedings of the ECOOP 2004, 2004

2003

Extracting library-based Java applications.

Frank Tip, Peter F. Sweeney, Chris Laffra

Commun. ACM, 2003

Refactoring for generalization using type constraints.

Frank Tip, Adam Kiezun, Dirk Bäumer

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

Practical extraction techniques for Java.

Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter

ACM Trans. Program. Lang. Syst., 2002

Semantics-Based Composition of Class Hierarchies.

Gregor Snelting, Frank Tip

Proceedings of the ECOOP 2002, 2002

2001

A slicing-based approach for locating type errors.

Frank Tip, T. B. Dinesh

ACM Trans. Softw. Eng. Methodol., 2001

Change impact analysis for object-oriented programs.

Barbara G. Ryder, Frank Tip

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000

Understanding class hierarchies using concept analysis.

Gregor Snelting, Frank Tip

ACM Trans. Program. Lang. Syst., 2000

Class Hierarchy Specialization.

Frank Tip, Peter F. Sweeney

Acta Informatica, 2000

Extracting library-based object-oriented applications.

Peter F. Sweeney, Frank Tip

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Scalable propagation-based call graph construction algorithms.

Frank Tip, Jens Palsberg

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999

Aggregate Structure Identification and Its Application to Program Analysis.

G. Ramalingam, John Field, Frank Tip

Proceedings of the POPL '99, 1999

Practical Experience with an Application Extractor for Java.

Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter

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.

John Field, Frank Tip

Inf. Softw. Technol., 1998

Reengineering Class Hierarchies Using Concept Analysis.

Gregor Snelting, Frank Tip

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

A Study of Dead Data Members in C++ Applications.

Peter F. Sweeney, Frank Tip

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

1996

Slicing Class Hierarchies in C++.

Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1995

A survey of program slicing techniques.

Frank Tip

J. Program. Lang., 1995

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing.

Frank Tip

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Parametric Program Slicing.

John Field, G. Ramalingam, Frank Tip

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

1993

Origin Tracking.

Arie van Deursen, Paul Klint, Frank Tip

J. Symb. Comput., 1993

Animators for Generated Programming Environments.

Frank Tip

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993