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, Aryaz Eghbali, Frank Tip:
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, Max Schäfer, Frank Tip:
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, Saba Alimadadi, Frank Tip:
Code Coverage Criteria for Asynchronous Programs. ESEC/SIGSOFT FSE 2023: 1307-1319 - [i10]Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip:
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, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip:
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, Mark W. Aldrich, Frank Tip:
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications. ASE 2022: 84:1-84:12 - [c66]Mark W. Aldrich, Alexi Turcotte, Matthew Blanco, Frank Tip:
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, 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): 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, Alena Sochurková, Koushik Sen:
Platform-Independent Dynamic Taint Analysis for JavaScript. IEEE Trans. Software Eng. 46(12): 1364-1379 (2020) - [c64]Magnus Madsen, Ondrej Lhoták, Frank Tip:
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, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen:
Repairing event race errors by controlling nondeterminism. ICSE 2017: 289-299 - 2016
- [c61]Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen:
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, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi:
Type inference for static compilation of JavaScript. OOPSLA 2016: 410-429 - [i5]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 abs/1605.01362 (2016) - [i4]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 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, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler:
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, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek:
Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331 - [c53]Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
Efficient construction of approximate call graphs for JavaScript IDE services. ICSE 2013: 752-761 - [c52]Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
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, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek:
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, Andreas Thies, Friedrich Steimann, Frank Tip:
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, 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: 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, Manu Sridharan, Julian Dolby, Frank Tip:
Refactoring Java programs for flexible locking. ICSE 2011: 71-80 - [c48]Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip:
A framework for automated testing of javascript web applications. ICSE 2011: 571-580 - [c47]Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip:
Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138 - [c46]Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip:
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, Frank Tip:
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, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip:
Correct Refactoring of Concurrent Java Code. ECOOP 2010: 225-249 - [c42]Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek:
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, Frank Tip:
Refactoring for reentrancy. ESEC/SIGSOFT FSE 2009: 173-182 - 2008
- [c36]Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip:
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, David J. Pearce, Jiri Soukup, Frank Tip:
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, Markus Keller:
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, Gregor Snelting, Frank Tip:
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]