Frank Tip

2025

• Frank Tip, Jonathan Bell, Max Schaefer: LLMorpheus: Mutation Testing using Large Language Models. To appear in IEEE Transactions on Software Engineering .pdf . .pdf (supplemental materials)

2024

• An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation, Max Schaefer, Sarah Nadi, Aryaz Eghbali, Frank Tip. IEEE Transactions on Software Engineering 50(1): 85-105 (2024), .pdf

2023

• Increasing the Responsiveness of Web Applications by Introducing Lazy Loading, Alexi Turcotte, Satyajit Gokhale, Frank Tip, In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE'23), pp. 459-470. .pdf
• Code Coverage Criteria for Asynchronous Programs, Mohammad Ganji, Saba Alimadadi, Frank Tip, In Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'23), pp. 1307-1319. .pdf
• That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly, Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel, In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23), pp. 892-903. .pdf
• Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs, Ellen Arteca, Max Schaefer, Frank Tip, IEEE Transactions on Software Engineering 49(1): 166-184. .pdf

2022

• Reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications, Alexi Turcotte, Mark Aldrich, Frank Tip, In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE'22), 84:1-84:12. .pdf
• Stubbifier: Debloating Dynamic Server-Side JavaScript Applications, Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip, Empirical Software Engineering 27(7):161. .pdf
• DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript, Alexi Turcotte, Michael Shah, Mark Aldrich, Frank Tip, In Proceedings of the International Conference on Software Engineering (ICSE'22), pp. 774-785. .pdf
• Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks, Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip, In Proceedings of the International Conference on Software Engineering (ICSE'22), pp. 1494-1505. .pdf

2021

• Automatic Migration from Synchronous to Asynchronous JavaScript APIs, Satyajit Gokhale, Alexi Turcotte, Frank Tip, In Proceedings of the 2021 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'21), PACMPL 5(OOPSLA): 1-27 (2021). .pdf
• Enabling Additional Parallelism in Asynchronous JavaScript Applications, Ellen Arteca, Frank Tip, Max Schaefer, In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'21), 7:1-7:28. .pdf
• A Study of Call Graph Construction for JVM-Hosted Languages, Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhotak, Julian Dolby, and Frank Tip, In IEEE Transactions on Software Engineering 47(12):2644-2666, .pdf

2020

• A Semantics for the Essence of React, Magnus Madsen, Ondrej Lhotak, and Frank Tip, In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'20), 12:1-12:26. .pdf
• Platform-Independent Dynamic Taint Analysis for JavaScript, Rezwana Karim, Frank Tip, Alena Sochurkova, and Koushik Sen, IEEE Transactions on Software Engineering 46(12):1364-1379, .pdf

2018

• Test Generation for Higher-Order Functions in Dynamic Languages, Marija Selakovic, Michael Pradel, Rezwana Karim, and Frank Tip, In Proceedings of the 2018 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'18), PACMPL 2(OOPSLA): 161:1-161:27 (2018). .pdf
• Finding Broken Promises in Asynchronous JavaScript Programs, Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip, In Proceedings of the 2018 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'18), PACMPL 2(OOPSLA): 162:1-162:26 (2018). .pdf
• Practical AJAX Race Detection for JavaScript Web Applications, Christoffer Quist Adamsen, Anders Moeller, Saba Alimadadi and Frank Tip, In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), pp.38-48. .pdf

2017

• Practical Initialization Race Detection for JavaScript Web Applications, Christoffer Quist Adamsen, Anders Moeller, Frank Tip, In Proceedings of the 2017 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17), PACMPL 1(OOPSLA): 66:1-66:22 (2017). .pdf
• A Model for Reasoning About JavaScript Promises, Magnus Madsen, Ondrej Lhotak, Frank Tip, In Proceedings of the 2017 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17), PACMPL 1(OOPSLA): 86:1-86:24 (2017). .pdf
• Repairing Event Race Errors by Controlling Nondeterminism, Christoffer Quist Adamsen, Anders Moeller, Rezwana Karim, Manu Sridharan, Frank Tip, and Koushik Sen, In Proceedings of the International Conference on Software Engineering (ICSE'17), pp. 289-199. .pdf

2016

• Type Inference for Static Compilation of JavaScript, Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Young-il Choi, In Proceedings of the 2016 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'16). .pdf
• Trace Typing: An Approach for Evaluating Retrofitted Type Systems, Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, and Koushik Sen, In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'16), pp. 1:1-1:26. .pdf
• Feedback-Directed Instrumentation for Deployed JavaScript Applications, Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, and Anders Moeller, In Proceedings of the International Conference on Software Engineering (ICSE'16), pp. 899-910. .pdf

2015

• Type-Based Call Graph Construction Algorithms for Scala, Karim Ali, Marianna Rapoport, Ondrej Lhotak, Julian Dolby, Frank Tip, In ACM Transactions on Software Engineering and Methodology 25(1):9, .pdf
• Static Analysis of Event-Driven Node.js JavaScript Applications, Magnus Madsen, Frank Tip, Ondrej Lhotak, In Proceedings of the 2015 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'15), October 2015, pp. 505-519, .pdf
• Precise Data-Flow Analysis in the Presence of Correlated Method Calls, Marianna Rapoport, Ondrej Lhotak, Frank Tip, In Proceedings of the 22nd International Static Analysis Symposium (SAS'15), September 2015, pp. 54-71, .pdf
• Infeasible Paths in Object-Oriented Programs, Frank Tip, Science of Computer Programming, 97: 91-95.

2014

• An Evaluation of Call Graph Construction Algorithms for Scala, Karim Ali, Marianna Rapoport, Ondrej Lhotak, Julian Dolby, Frank Tip, Proceedings of the European Conference on Object-Oriented Programming (ECOOP'14), pp. 54-79, .pdf

2013

• Dynamic Determinacy Analysis, Max Schaefer, Manu Sridharan, Julian Dolby, and Frank Tip, Proceedings of the Conference on Programming Language Design and Implementation (PLDI'13), pp.165-174, .pdf
• Detecting Deadlock in Programs with Data-Centric Synchronization, Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek, Proceedings of the International Conference on Software Engineering (ICSE'13), pp. 322-331, .pdf
• Efficient Construction of Approximate Call Graphs for JavaScript IDE Services, Asger Feldthaus, Max Schaefer, Manu Sridharan, Julian Dolby, and Frank Tip, Proceedings of the International Conference on Software Engineering (ICSE'13), pp. 752-761, .pdf

2012

• A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs, Max Schaefer, Andreas Thies, Friedrich Steimann, Frank Tip, IEEE Transactions on Software Engineering 38(6): 1233-1257 .pdf
• Correlation Tracking for Points-To Analysis of JavaScript, Manu Sridharan, Julian Dolby, Satish Chandra, Max Schaefer, Frank Tip, Proceedings of the European Conference on Object-Oriented Programming (ECOOP'12), pp. 435-458 .pdf
• A Data-Centric Approach to Synchronization, Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek, ACM Transactions on Programming Languages and Systems 34(1):4 .pdf
• Automated Repair of HTML Generation Errors in PHP Applications using String Constraint Solving, Hesam Samimi, Max Schaefer, Shay Artzi, Todd Millstein, Frank Tip, Laurie Hendren, Proceedings of the International Conference on Software Engineering (ICSE'12), pp. 277-287 .pdf
• Fault Localization for Dynamic Web Applications, Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia, IEEE Transactions on Software Engineering 38(2), 314-335 .pdf

2011

• An Evaluation of Change-Based Coverage Criteria Marc Fisher II, Jan Wloka, Frank Tip, Barbara Ryder, Alex Luchansky, Proceedings of the 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'11), pp. 21-28 .pdf
• Tool-supported Refactoring for JavaScript Asger Feldthaus, Todd Millstein, Anders Moeller, Max Schaefer, Frank Tip ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11), pp. 119-138 .pdf
• Refactoring using Type Constraints Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter, ACM Transactions on Programming Languages and Systems 33(3), 9:1-9:47 .pdf
• Refactoring Java Programs for Flexible Locking, Max Schaefer, Manu Sridharan, Julian Dolby, Frank Tip, International Conference on Software Engineering (ICSE'11), pp. 71-80 .pdf
• A Framework for Automated Testing of JavaScript Web Applications, Shay Artzi, Julian Dolby, Simon Jensen, Anders Moeller, Frank Tip, International Conference on Software Engineering (ICSE'11), pp. 571-580 .pdf

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 Paradkar, Michael D. Ernst, IEEE Transactions on Software Engineering 36(4), pp. 453-473 .pdf
• Directed Test Generation for Effective Fault Localization, Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'10), pp. 49-60 .pdf
• Correct Refactoring of Concurrent Java Code, Max Schaefer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip, Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP'10), pp. 225-249 .pdf
• A Type System for Data-Centric Synchronization Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek, Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP'10), pp. 304-328 .pdf
• 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 (ICSE'10), pp. 265-274 .pdf

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 Symposium on the Foundations of Software Engineering (ESEC/FSE 2009) .pdf, pp. 173-182
• 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 (ICSE'09), pp. 265-274 .pdf

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'08), pp. 231-240 .pdf
• Finding Bugs in Dynamic Web Applications, Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, Michael D. Ernst, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'08), pp. 261-272 .pdf

2007

• Refactoring Using Type Constraints, Frank Tip, Proceedings of the 14th International Static Analysis Symposium (SAS'07), pp. 1-17 .pdf
• 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'07), pp. 437-446 .pdf
• 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 Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pp. 54-78 .pdf
• Declarative Object Identity Using Relation Types, Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby, Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'07), pp. 54-78 .pdf

2006

• Finding Failure-Inducing Changes in Java programs using Change Classification, Max Stoerzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip, Proceedings of the Fourteenth International Symposium on the Foundations of Software Engineering (FSE-14), pp. 57-68 .pdf
• An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++, Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip, Proceedings of the 21st Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'06), pp. 345-362 .pdf
• Associating Synchronization Constraints with Data in an Object-Oriented Language, Mandana Vaziri, Frank Tip, Julian Dolby, Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06), pp. 334-345 .pdf

2005

• Refactoring Support for Class Library Migration, Ittai Balaban, Frank Tip, Robert M. Fuhrer, Proceedings of the 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05), pp. 265-279 .pdf
• Efficiently Refactoring Java Applications to Use Generic Libraries, Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller, Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP'05), pp. 71-96 .pdf

2004

• Chianti: A Tool for Change Impact Analysis of Java Programs, Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley, Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), pp. 432-448 .pdf
• Customization of Java Library Classes Using Type Constraints and Profile Information, Bjorn De Sutter, Frank Tip, Julian Dolby, Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04), pp. 585-610 .pdf

2003

• Extracting Library-Based Java Applications, Frank Tip, Peter F. Sweeney, Chris Laffra, Communications of the ACM 46(8), 35-40 .pdf
• Refactoring for Generalization using Type Constraints, Frank Tip, Adam Kiezun, Dirk Bauemer, Proceedings of the Eighteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'03), pp. 13-26 .pdf

2002

• Semantics-Based Composition of Class Hierarchies, Gregor Snelting, Frank Tip, Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP'02), pp. 562-584 .pdf
• Practical Extraction Techniques for Java, Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter, ACM Transactions on Programming Languages and Systems 24(6), 625-666 .pdf

2001

• Change Impact Analysis for Object-Oriented Programs, Barbara G. Ryder, Frank Tip, Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), pp. 46-53 .pdf
• A Slicing-Based Approach for Locating Type Errors, Frank Tip, T.B. Dinesh, ACM Transactions on Software Engineering and Methodology 10(1), 5-55 .pdf

2000

• Extracting Library-Based Object-Oriented Applications, Peter F. Sweeney, Frank Tip, Proceedings of the Eighth International Symposium on the Foundations of Software Engineering (FSE-8), pp. 98-107 .pdf
• Understanding Class Hierarchies Using Concept Analysis, Gregor Snelting, Frank Tip, ACM Transactions on Programming Languages and Systems 22(3), 540-582 .pdf
• Class Hierarchy Specialization, Frank Tip, Peter F. Sweeney, Acta Informatica 36(12), 927-982 .pdf
• Scalable Propagation-Based Call Graph Construction Algorithms, Frank Tip, Jens Palsberg, Proceedings of the Fifteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00), pp. 281-293 .pdf

1999

• Practical Experience with an Application Extractor for Java, Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter, Proceedings of the Fourteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99), pp. 292-305 .pdf
• Aggregate Structure Identification and its Application to Program Analysis, G. Ramalingam, John Field, Frank Tip, Conference Record of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'99), pp. 119-132 .pdf

1998

• Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing, John Field, Frank Tip, Information and Software Technology 40(11-12), 609 - 636, 1998 .pdf
• 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'98), pp. 324-332 .pdf
• Reengineering Class Hierarchies using Concept Analysis, Gregor Snelting, Frank Tip, Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), pp. 99-110 .pdf

1997

• Class Hierarchy Specialization, Frank Tip, Peter F. Sweeney, Proceedings of the Twelfth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97), pp. 271-285 .pdf
• A Case Study of a Slicing-Based Approach for Locating Type Errors, T. B. Dinesh, Frank Tip, Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97) .pdf,
• A Slicing-Based Approach for Locating Type Errors, T. B. Dinesh, Frank Tip, Proceedings of the USENIX Conference on Domain-Specific Languages (DSL'97), pp. 77-88 .pdf

1996

• Origin Tracking and its Applications Arie van Deursen, Paul Klint, Frank Tip, Chapter 7 in Language Prototyping: An Algebraic Specification Approach, A. van Deursen, J. Heering, and P. Klint (Eds.), AMAST Series in Computing, Vol.5, World Scientific Publishing Corp.
• Slicing Class Hierarchies in C++, Frank Tip, Jong-Deol Choi, John Field, G. Ramalingam, Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'96), pp. 179-197 .pdf

1995

• A Survey of Program Slicing Techniques, Frank Tip, Journal of Programming Languages 3(3), 121-189, 1995 .pdf
• Generic Techniques for Source-Level Debugging and Dynamic Program Slicing, Frank Tip, Proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'95), pp. 516-530 .pdf
• Generation of Program Analysis Tools, Frank Tip, PhD Thesis, University of Amsterdam .pdf
• Parametric Program Slicing, John Field, G. Ramalingam, Frank Tip, Conference Record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'95), pp. 379-392 .pdf

1994

• A Survey of Program Slicing Techniques, Frank Tip, CWI Technical Report CS-R9438, 1994 .pdf
• Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing, John Field, Frank Tip, Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), pp. 415-431 .pdf

1993

• Animators for Generated Programming Environments, Frank Tip, Proceedings of the First International Workshop on Automated and Algorithmic Debugging (AADEBUG'93), pp. 241-254 .pdf
• Origin Tracking, Arie van Deursen, Paul Klint, Frank Tip, Journal of Symbolic Computation 15(5/6): 523-545 (1993) .pdf

1991

• The Equation Debugger, Frank Tip, Master's thesis, University of Amsterdam