Frank Tip

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 33

Top Venues

CoRR

Proc. ACM Program. Lang.

ECOOP

ICSE

Publications

Frank Tip, Jonathan Bell, Max Schäfer
LLMorpheus: Mutation Testing using Large Language Models. CoRR (2024)
Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation. IEEE Trans. Software Eng. 50 (1) (2024)
Alexi Turcotte, Satyajit Gokhale, Frank Tip
Increasing the Responsiveness of Web Applications by Introducing Lazy Loading. ASE (2023)
Mohammad Ganji, Saba Alimadadi, Frank Tip
Code Coverage Criteria for Asynchronous Programs. ESEC/SIGSOFT FSE (2023)
Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. ISSTA (2023)
Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip
Adaptive Test Generation Using a Large Language Model. CoRR (2023)
Ellen Arteca, Max Schäfer, Frank Tip
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs. IEEE Trans. Software Eng. 49 (1) (2023)
Ellen Arteca, Max Schäfer, Frank Tip
A statistical approach for finding property-access errors. CoRR (2023)
Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. ICSE (2022)
Mark W. Aldrich, Alexi Turcotte, Matthew Blanco, Frank Tip
Augur: Dynamic Taint Analysis for Asynchronous JavaScript. ASE (2022)
Alexi Turcotte, Mark W. Aldrich, Frank Tip
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications. ASE (2022)
Alexi Turcotte, Michael D. Shah, Mark W. Aldrich, Frank Tip
DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript. ICSE (2022)
Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip
Stubbifier: debloating dynamic server-side JavaScript applications. Empir. Softw. Eng. 27 (7) (2022)
Ellen Arteca, Frank Tip, Max Schäfer
Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Satyajit Gokhale, Alexi Turcotte, Frank Tip
Automatic migration from synchronous to asynchronous JavaScript APIs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ellen Arteca, Max Schäfer, Frank Tip
Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs. CoRR (2021)
Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip
Stubbifier: Debloating Dynamic Server-Side JavaScript Applications. CoRR (2021)
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47 (12) (2021)
Ellen Arteca, Frank Tip, Max Schäfer
Enabling Additional Parallelism in Asynchronous JavaScript Applications. ECOOP (2021)
Rezwana Karim, Frank Tip, Alena Sochurková, Koushik Sen
Platform-Independent Dynamic Taint Analysis for JavaScript. IEEE Trans. Software Eng. 46 (12) (2020)
Magnus Madsen, Ondrej Lhoták, Frank Tip
A Semantics for the Essence of React. ECOOP (2020)
Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek
Precise Dataflow Analysis of Event-Driven Applications. CoRR (2019)
Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
Practical AJAX race detection for JavaScript web applications. ESEC/SIGSOFT FSE (2018)
Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip
Finding broken promises in asynchronous JavaScript programs. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Marija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip
Test generation for higher-order functions in dynamic languages. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Magnus Madsen, Ondrej Lhoták, Frank Tip
A model for reasoning about JavaScript promises. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Repairing event race errors by controlling nondeterminism. ICSE (2017)
Christoffer Quist Adamsen, Anders Møller, Frank Tip
Practical initialization race detection for JavaScript web applications. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type Inference for Static Compilation of JavaScript (Extended Version). CoRR (2016)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi
Type inference for static compilation of JavaScript. OOPSLA (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). CoRR (2016)
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Feedback-directed instrumentation for deployed JavaScript applications. ICSE (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP (2016)
Magnus Madsen, Frank Tip, Ondrej Lhoták
Static analysis of event-driven Node.js JavaScript applications. OOPSLA (2015)
Frank Tip
Infeasible paths in object-oriented programs. Sci. Comput. Program. 97 (2015)
Marianna Rapoport, Ondrej Lhoták, Frank Tip
Precise Data Flow Analysis in the Presence of Correlated Method Calls. SAS (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Constructing Call Graphs of Scala Programs. ECOOP (2014)
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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
José Nelson Amaral, Bob Blainey, Laurie J. Hendren, Kevin Stoodley, Frank Tip
12th Compiler-Driven Performance Workshop. CASCON (2013)
Mary Jean Harrold, Friedrich Steimann, Frank Tip, Andreas Zeller
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061). Dagstuhl Reports 3 (2) (2013)
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Dynamic determinacy analysis. PLDI (2013)
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
Detecting deadlock in programs with data-centric synchronization. ICSE (2013)
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Efficient construction of approximate call graphs for JavaScript IDE services. ICSE (2013)
Max Schäfer, Andreas Thies, Friedrich Steimann, Frank Tip
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs. IEEE Trans. Software Eng. 38 (6) (2012)
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP (2012)
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34 (1) (2012)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38 (2) (2012)
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE (2012)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Tool-supported refactoring for JavaScript. OOPSLA (2011)
Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky
An evaluation of change-based coverage criteria. PASTE (2011)
Frank Tip
Finding and Fixing Bugs in Web Applications (Invited Talk). TOOLS (49) (2011)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Refactoring towards the good parts of javascript. OOPSLA Companion (2011)
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
A framework for automated testing of javascript web applications. ICSE (2011)
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Refactoring Java programs for flexible locking. ICSE (2011)
Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter
Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33 (3) (2011)
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip
10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)
Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
A Type System for Data-Centric Synchronization. ECOOP (2010)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Directed test generation for effective fault localization. ISSTA (2010)
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36 (4) (2010)
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
Correct Refactoring of Concurrent Java Code. ECOOP (2010)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Practical fault localization for dynamic web applications. ICSE (1) (2010)
Jan Wloka, Barbara G. Ryder, Frank Tip
JUnitMX - A change-aware unit testing tool. ICSE (2009)
Jan Wloka, Manu Sridharan, Frank Tip
Refactoring for reentrancy. ESEC/SIGSOFT FSE (2009)
Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren
Safe-commit analysis to facilitate team software development. ICSE (2009)
Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip
Dynamic detection of atomic-set-serializability violations. ICSE (2008)
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip
Relationships and associations in object-oriented languages. OOPSLA Companion (2008)
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
Finding bugs in dynamic web applications. ISSTA (2008)
Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer
Refactoring for Parameterizing Java Classes. ICSE (2007)
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby
Declarative Object Identity Using Relation Types. ECOOP (2007)
Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller
Refactoring Tools. ECOOP Workshops (2007)
Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip
Crisp-A Fault Localization Tool for Java Programs. ICSE (2007)
Frank Tip
Refactoring Using Type Constraints. SAS (2007)
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
C++ ist typsicher? Garantiert! Software Engineering (2007)
Julian Dolby, Mandana Vaziri, Frank Tip
Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE (2007)
Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip
Finding failure-inducing changes in java programs using change classification. SIGSOFT FSE (2006)
Mandana Vaziri, Frank Tip, Julian Dolby
Associating synchronization constraints with data in an object-oriented language. POPL (2006)
Mark W. Bailey, John Hatcliff, Frank Tip
PEPM 2006 paper abstracts. ACM SIGPLAN Notices 41 (3) (2006)
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA (2006)
Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller
Generics-related refactorings in eclipse. OOPSLA Companion (2005)
Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller
Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP (2005)
Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip
Chianti: a change impact analysis tool for java programs. ICSE (2005)
Ittai Balaban, Frank Tip, Robert M. Fuhrer
Refactoring support for class library migration. OOPSLA (2005)
Robert M. Fuhrer, Frank Tip, Adam Kiezun
Advanced refactorings in eclipse. OOPSLA Companion (2004)
Bjorn De Sutter, Frank Tip, Julian Dolby
Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP (2004)
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley
Chianti: a tool for change impact analysis of java programs. OOPSLA (2004)
Frank Tip, Peter F. Sweeney, Chris Laffra
Extracting library-based Java applications. Commun. ACM 46 (8) (2003)
Frank Tip, Adam Kiezun, Dirk Bäumer
Refactoring for generalization using type constraints. OOPSLA (2003)
Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter
Practical extraction techniques for Java. ACM Trans. Program. Lang. Syst. 24 (6) (2002)
Gregor Snelting, Frank Tip
Semantics-Based Composition of Class Hierarchies. ECOOP (2002)
Barbara G. Ryder, Frank Tip
Change impact analysis for object-oriented programs. PASTE (2001)
Frank Tip, T. B. Dinesh
A slicing-based approach for locating type errors. ACM Trans. Softw. Eng. Methodol. 10 (1) (2001)
Peter F. Sweeney, Frank Tip
Extracting library-based object-oriented applications. SIGSOFT FSE (2000)
Frank Tip, Jens Palsberg
Scalable propagation-based call graph construction algorithms. OOPSLA (2000)
Gregor Snelting, Frank Tip
Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22 (3) (2000)
Frank Tip, Peter F. Sweeney
Class Hierarchy Specialization. Acta Informatica 36 (12) (2000)
G. Ramalingam, John Field, Frank Tip
Aggregate Structure Identification and Its Application to Program Analysis. POPL (1999)
Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter
Practical Experience with an Application Extractor for Java. OOPSLA (1999)
Peter F. Sweeney, Frank Tip
A Study of Dead Data Members in C++ Applications. PLDI (1998)

Frank Tip.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Tip