default search action
Frank Tip
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]Max Schäfer
, Sarah Nadi
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation. IEEE Trans. Software Eng. 50(1): 85-105 (2024) - [i11]Frank Tip, Jonathan Bell, Max Schäfer:
LLMorpheus: Mutation Testing using Large Language Models. CoRR abs/2404.09952 (2024) - 2023
- [j27]Ellen Arteca
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs. IEEE Trans. Software Eng. 49(1): 166-184 (2023) - [c72]Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel:
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. ISSTA 2023: 892-903 - [c71]Alexi Turcotte, Satyajit Gokhale, Frank Tip:
Increasing the Responsiveness of Web Applications by Introducing Lazy Loading. ASE 2023: 459-470 - [c70]Mohammad Ganji
Code Coverage Criteria for Asynchronous Programs. ESEC/SIGSOFT FSE 2023: 1307-1319 - [i10]Max Schäfer, Sarah Nadi, Aryaz Eghbali
Adaptive Test Generation Using a Large Language Model. CoRR abs/2302.06527 (2023) - [i9]Ellen Arteca, Max Schäfer, Frank Tip:
A statistical approach for finding property-access errors. CoRR abs/2306.08741 (2023) - 2022
- [j26]Alexi Turcotte
Stubbifier: debloating dynamic server-side JavaScript applications. Empir. Softw. Eng. 27(7): 161 (2022) - [c69]Alexi Turcotte, Michael D. Shah, Mark W. Aldrich, Frank Tip:
DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript. ICSE 2022: 774-785 - [c68]Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip:
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. ICSE 2022: 1494-1505 - [c67]Alexi Turcotte
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications. ASE 2022: 84:1-84:12 - [c66]Mark W. Aldrich
Augur: Dynamic Taint Analysis for Asynchronous JavaScript. ASE 2022: 153:1-153:4 - 2021
- [j25]Ellen Arteca, Frank Tip, Max Schäfer:
Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact). Dagstuhl Artifacts Ser. 7(2): 05:1-05:6 (2021) - [j24]Satyajit Gokhale, Alexi Turcotte, Frank Tip:
Automatic migration from synchronous to asynchronous JavaScript APIs. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j23]Karim Ali
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47(12): 2644-2666 (2021) - [c65]Ellen Arteca, Frank Tip, Max Schäfer:
Enabling Additional Parallelism in Asynchronous JavaScript Applications. ECOOP 2021: 7:1-7:28 - [i8]Ellen Arteca, Max Schäfer, Frank Tip:
Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs. CoRR abs/2107.13708 (2021) - [i7]Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip:
Stubbifier: Debloating Dynamic Server-Side JavaScript Applications. CoRR abs/2110.14162 (2021) - 2020
- [j22]Rezwana Karim, Frank Tip
Platform-Independent Dynamic Taint Analysis for JavaScript. IEEE Trans. Software Eng. 46(12): 1364-1379 (2020) - [c64]Magnus Madsen
A Semantics for the Essence of React. ECOOP 2020: 12:1-12:26
2010 – 2019
- 2019
- [i6]Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek:
Precise Dataflow Analysis of Event-Driven Applications. CoRR abs/1910.12935 (2019) - 2018
- [j21]Marija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip:
Test generation for higher-order functions in dynamic languages. Proc. ACM Program. Lang. 2(OOPSLA): 161:1-161:27 (2018) - [j20]Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip:
Finding broken promises in asynchronous JavaScript programs. Proc. ACM Program. Lang. 2(OOPSLA): 162:1-162:26 (2018) - [c63]Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip:
Practical AJAX race detection for JavaScript web applications. ESEC/SIGSOFT FSE 2018: 38-48 - [e6]Frank Tip, Eric Bodden:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM 2018 [contents] - 2017
- [j19]Christoffer Quist Adamsen, Anders Møller, Frank Tip:
Practical initialization race detection for JavaScript web applications. Proc. ACM Program. Lang. 1(OOPSLA): 66:1-66:22 (2017) - [j18]Magnus Madsen, Ondrej Lhoták, Frank Tip:
A model for reasoning about JavaScript promises. Proc. ACM Program. Lang. 1(OOPSLA): 86:1-86:24 (2017) - [c62]Christoffer Quist Adamsen, Anders Møller
Repairing event race errors by controlling nondeterminism. ICSE 2017: 289-299 - 2016
- [c61]Esben Andreasen, Colin S. Gordon
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP 2016: 1:1-1:26 - [c60]Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Feedback-directed instrumentation for deployed JavaScript applications. ICSE 2016: 899-910 - [c59]Satish Chandra, Colin S. Gordon
Type inference for static compilation of JavaScript. OOPSLA 2016: 410-429 - [i5]Esben Andreasen, Colin S. Gordon
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). CoRR abs/1605.01362 (2016) - [i4]Satish Chandra, Colin S. Gordon
Type Inference for Static Compilation of JavaScript (Extended Version). CoRR abs/1608.07261 (2016) - 2015
- [j17]Frank Tip:
Infeasible paths in object-oriented programs. Sci. Comput. Program. 97: 91-97 (2015) - [j16]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): 9:1-9:43 (2015) - [c58]Magnus Madsen, Frank Tip, Ondrej Lhoták:
Static analysis of event-driven Node.js JavaScript applications. OOPSLA 2015: 505-519 - [c57]Marianna Rapoport, Ondrej Lhoták, Frank Tip:
Precise Data Flow Analysis in the Presence of Correlated Method Calls. SAS 2015: 54-71 - 2014
- [j15]Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall
Practices of PLDI. ACM SIGPLAN Notices 49(4S): 33-38 (2014) - [c56]Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Constructing Call Graphs of Scala Programs. ECOOP 2014: 54-79 - 2013
- [c55]José Nelson Amaral, Bob Blainey, Laurie J. Hendren, Kevin Stoodley, Frank Tip:
12th Compiler-Driven Performance Workshop. CASCON 2013: 385-387 - [c54]Daniel Marino, Christian Hammer
Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331 - [c53]Asger Feldthaus, Max Schäfer, Manu Sridharan
Efficient construction of approximate call graphs for JavaScript IDE services. ICSE 2013: 752-761 - [c52]Max Schäfer, Manu Sridharan
Dynamic determinacy analysis. PLDI 2013: 165-174 - [i3]Mary Jean Harrold, Friedrich Steimann, Frank Tip, Andreas Zeller:
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061). Dagstuhl Reports 3(2): 1-21 (2013) - 2012
- [j14]Julian Dolby, Christian Hammer
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4:1-4:48 (2012) - [j13]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia:
Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38(2): 314-335 (2012) - [j12]Max Schäfer
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs. IEEE Trans. Software Eng. 38(6): 1233-1257 (2012) - [c51]Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip:
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP 2012: 435-458 - [c50]Hesam Samimi, Max Schäfer
Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE 2012: 277-287 - [e5]Jan Vitek, Haibo Lin, Frank Tip:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. ACM 2012, ISBN 978-1-4503-1205-9 [contents] - 2011
- [j11]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): 9:1-9:47 (2011) - [c49]Max Schäfer
Refactoring Java programs for flexible locking. ICSE 2011: 71-80 - [c48]Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller
A framework for automated testing of javascript web applications. ICSE 2011: 571-580 - [c47]Asger Feldthaus, Todd D. Millstein, Anders Møller
Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138 - [c46]Asger Feldthaus, Todd D. Millstein, Anders Møller
Refactoring towards the good parts of javascript. OOPSLA Companion 2011: 189-190 - [c45]Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky:
An evaluation of change-based coverage criteria. PASTE 2011: 21-28 - [c44]Frank Tip:
Finding and Fixing Bugs in Web Applications (Invited Talk). TOOLS (49) 2011: 2 - [e4]Matthew B. Dwyer
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0562-4 [contents] - 2010
- [j10]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): 474-494 (2010) - [c43]Max Schäfer
Correct Refactoring of Concurrent Java Code. ECOOP 2010: 225-249 - [c42]Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer
A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328 - [c41]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia:
Practical fault localization for dynamic web applications. ICSE (1) 2010: 265-274 - [c40]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia:
Directed test generation for effective fault localization. ISSTA 2010: 49-60 - [e3]Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i2]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 - [i1]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
2000 – 2009
- 2009
- [c39]Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren:
Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517 - [c38]Jan Wloka, Barbara G. Ryder, Frank Tip:
JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570 - [c37]Jan Wloka, Manu Sridharan
Refactoring for reentrancy. ESEC/SIGSOFT FSE 2009: 173-182 - 2008
- [c36]Christian Hammer
Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240 - [c35]Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst:
Finding bugs in dynamic web applications. ISSTA 2008: 261-272 - [c34]Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble
Relationships and associations in object-oriented languages. OOPSLA Companion 2008: 855-856 - 2007
- [c33]Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby:
Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78 - [c32]Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold
Refactoring Tools. ECOOP Workshops 2007: 193-202 - [c31]Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer:
Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446 - [c30]Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip:
Crisp-A Fault Localization Tool for Java Programs. ICSE 2007: 775-779 - [c29]Frank Tip:
Refactoring Using Type Constraints. SAS 2007: 1-17 - [c28]Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip:
C++ ist typsicher? Garantiert! Software Engineering 2007: 29-31 - [c27]Julian Dolby, Mandana Vaziri, Frank Tip:
Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204 - 2006
- [j9]Mark W. Bailey, John Hatcliff, Frank Tip:
PEPM 2006 paper abstracts. ACM SIGPLAN Notices 41(3): 4-8 (2006) - [c26]Daniel Wasserrab, Tobias Nipkow
An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362 - [c25]Mandana Vaziri, Frank Tip, Julian Dolby:
Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345 - [c24]Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip:
Finding failure-inducing changes in java programs using change classification. SIGSOFT FSE 2006: 57-68 - [e2]John Hatcliff, Frank Tip:
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. ACM 2006, ISBN 1-59593-196-1 [contents] - 2005
- [c23]Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller:
Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP 2005: 71-96 - [c22]Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip:
Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665 - [c21]Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller:
Generics-related refactorings in eclipse. OOPSLA Companion 2005: 170 - [c20]Ittai Balaban, Frank Tip, Robert M. Fuhrer:
Refactoring support for class library migration. OOPSLA 2005: 265-279 - 2004
- [c19]Bjorn De Sutter, Frank Tip, Julian Dolby:
Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP 2004: 585-610 - [c18]Robert M. Fuhrer, Frank Tip, Adam Kiezun:
Advanced refactorings in eclipse. OOPSLA Companion 2004: 8 - [c17]Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley:
Chianti: a tool for change impact analysis of java programs. OOPSLA 2004: 432-448 - 2003
- [j8]Frank Tip, Peter F. Sweeney, Chris Laffra:
Extracting library-based Java applications. Commun. ACM 46(8): 35-40 (2003) - [c16]Frank Tip, Adam Kiezun, Dirk Bäumer:
Refactoring for generalization using type constraints. OOPSLA 2003: 13-26 - 2002
- [j7]Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter:
Practical extraction techniques for Java. ACM Trans. Program. Lang. Syst. 24(6): 625-666 (2002) - [c15]Gregor Snelting, Frank Tip:
Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584 - 2001
- [j6]Frank Tip, T. B. Dinesh:
A slicing-based approach for locating type errors. ACM Trans. Softw. Eng. Methodol. 10(1): 5-55 (2001) - [c14]Barbara G. Ryder, Frank Tip:
Change impact analysis for object-oriented programs. PASTE 2001: 46-53 - 2000
- [j5]Frank Tip, Peter F. Sweeney:
Class Hierarchy Specialization. Acta Informatica 36(12): 927-982 (2000) - [j4]Gregor Snelting, Frank Tip:
Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000) - [c13]Frank Tip, Jens Palsberg:
Scalable propagation-based call graph construction algorithms. OOPSLA 2000: 281-293 - [c12]Peter F. Sweeney, Frank Tip:
Extracting library-based object-oriented applications. SIGSOFT FSE 2000: 98-107
1990 – 1999
- 1999
- [c11]Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter:
Practical Experience with an Application Extractor for Java. OOPSLA 1999: 292-305 - [c10]G. Ramalingam, John Field, Frank Tip:
Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132 - 1998
- [j3]John Field, Frank Tip:
Dynamic dependence in term rewriting systems and its application to program slicing. Inf. Softw. Technol. 40(11-12): 609-636 (1998) - [c9]Peter F. Sweeney, Frank Tip:
A Study of Dead Data Members in C++ Applications. PLDI 1998: 324-332 - [c8]Gregor Snelting, Frank Tip:
Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110 - [e1]Thomas Ball, Frank Tip, A. Michael Berman:
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998. ACM 1998, ISBN 1-58113-055-4 [contents] - 1997
- [c7]T. B. Dinesh, Frank Tip:
A Slicing-Based Approach for Locating Type Errors. DSL 1997 - [c6]Frank Tip, Peter F. Sweeney:
Class Hierarchy Specialization. OOPSLA 1997: 271-285 - 1996
- [c5]Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam:
Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197 - 1995
- [j2]Frank Tip:
A survey of program slicing techniques. J. Program. Lang. 3(3) (1995) - [c4]John Field, G. Ramalingam, Frank Tip:
Parametric Program Slicing. POPL 1995: 379-392 - [c3]Frank Tip:
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. TAPSOFT 1995: 516-530 - 1994
- [c2]John Field, Frank Tip:
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP 1994: 415-431 - 1993
- [j1]Arie van Deursen, Paul Klint, Frank Tip:
Origin Tracking. J. Symb. Comput. 15(5/6): 523-545 (1993) - [c1]Frank Tip:
Animators for Generated Programming Environments. AADEBUG 1993: 241-254
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: