| 2023 | ISSTA | That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. | Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel |
| 2022 | ICSE | Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. | Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip |
| 2022 | ICSE | DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript. | Alexi Turcotte, Michael D. Shah, Mark W. Aldrich, Frank Tip |
| 2021 | ECOOP | Enabling Additional Parallelism in Asynchronous JavaScript Applications. | Ellen Arteca, Frank Tip, Max Schfer |
| 2020 | ECOOP | A Semantics for the Essence of React. | Magnus Madsen, Ondrej Lhotk, Frank Tip |
| 2017 | ICSE | Repairing event race errors by controlling nondeterminism. | Christoffer Quist Adamsen, Anders Mller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | ECOOP | Trace Typing: An Approach for Evaluating Retrofitted Type Systems. | Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | ICSE | Feedback-directed instrumentation for deployed JavaScript applications. | Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Mller |
| 2016 | OOPSLA | Type inference for static compilation of JavaScript. | Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2015 | OOPSLA | Static analysis of event-driven Node.js JavaScript applications. | Magnus Madsen, Frank Tip, Ondrej Lhotk |
| 2015 | SAS | Precise Data Flow Analysis in the Presence of Correlated Method Calls. | Marianna Rapoport, Ondrej Lhotk, Frank Tip |
| 2014 | ECOOP | Constructing Call Graphs of Scala Programs. | Karim Ali, Marianna Rapoport, Ondrej Lhotk, Julian Dolby, Frank Tip |
| 2013 | ICSE | Efficient construction of approximate call graphs for JavaScript IDE services. | Asger Feldthaus, Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | ICSE | Detecting deadlock in programs with data-centric synchronization. | Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek |
| 2013 | PLDI | Dynamic determinacy analysis. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2012 | ECOOP | Correlation Tracking for Points-To Analysis of JavaScript. | Manu Sridharan, Julian Dolby, Satish Chandra, Max Schfer, Frank Tip |
| 2012 | ICSE | Automated repair of HTML generation errors in PHP applications using string constraint solving. | Hesam Samimi, Max Schfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren |
| 2011 | ICSE | A framework for automated testing of javascript web applications. | Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Mller, Frank Tip |
| 2011 | ICSE | Refactoring Java programs for flexible locking. | Max Schfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2011 | OOPSLA | Tool-supported refactoring for JavaScript. | Asger Feldthaus, Todd D. Millstein, Anders Mller, Max Schfer, Frank Tip |
| 2011 | OOPSLA | Refactoring towards the good parts of javascript. | Asger Feldthaus, Todd D. Millstein, Anders Mller, Max Schfer, Frank Tip |
| 2010 | ECOOP | Correct Refactoring of Concurrent Java Code. | Max Schfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
| 2010 | ECOOP | A Type System for Data-Centric Synchronization. | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
| 2010 | ICSE | Practical fault localization for dynamic web applications. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2010 | ISSTA | Directed test generation for effective fault localization. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2009 | ICSE | JUnitMX - A change-aware unit testing tool. | Jan Wloka, Barbara G. Ryder, Frank Tip |
| 2009 | ICSE | Safe-commit analysis to facilitate team software development. | Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren |
| 2008 | ICSE | Dynamic detection of atomic-set-serializability violations. | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip |
| 2008 | ISSTA | Finding bugs in dynamic web applications. | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
| 2008 | OOPSLA | 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 |
| 2007 | ECOOP | Declarative Object Identity Using Relation Types. | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
| 2007 | ICSE | Crisp-A Fault Localization Tool for Java Programs. | Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip |
| 2007 | ICSE | Refactoring for Parameterizing Java Classes. | Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer |
| 2007 | SAS | Refactoring Using Type Constraints. | Frank Tip |
| 2006 | OOPSLA | An operational semantics and type safety prooffor multiple inheritance in C++. | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip |
| 2006 | POPL | Associating synchronization constraints with data in an object-oriented language. | Mandana Vaziri, Frank Tip, Julian Dolby |
| 2005 | ECOOP | Efficiently Refactoring Java Applications to Use Generic Libraries. | Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller |
| 2005 | ICSE | Chianti: a change impact analysis tool for java programs. | Xiaoxia Ren, Barbara G. Ryder, Maximilian Strzer, Frank Tip |
| 2005 | OOPSLA | Refactoring support for class library migration. | Ittai Balaban, Frank Tip, Robert M. Fuhrer |
| 2005 | OOPSLA | Generics-related refactorings in eclipse. | Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller |
| 2004 | ECOOP | Customization of Java Library Classes Using Type Constraints and Profile Information. | Bjorn De Sutter, Frank Tip, Julian Dolby |
| 2004 | OOPSLA | Advanced refactorings in eclipse. | Robert M. Fuhrer, Frank Tip, Adam Kiezun |
| 2004 | OOPSLA | Chianti: a tool for change impact analysis of java programs. | Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley |
| 2003 | OOPSLA | Refactoring for generalization using type constraints. | Frank Tip, Adam Kiezun, Dirk Bumer |
| 2002 | ECOOP | Semantics-Based Composition of Class Hierarchies. | Gregor Snelting, Frank Tip |
| 2000 | OOPSLA | Scalable propagation-based call graph construction algorithms. | Frank Tip, Jens Palsberg |
| 1999 | OOPSLA | Practical Experience with an Application Extractor for Java. | Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter |
| 1999 | POPL | Aggregate Structure Identification and Its Application to Program Analysis. | G. Ramalingam, John Field, Frank Tip |
| 1998 | PLDI | A Study of Dead Data Members in C++ Applications. | Peter F. Sweeney, Frank Tip |
| 1997 | OOPSLA | Class Hierarchy Specialization. | Frank Tip, Peter F. Sweeney |
| 1996 | OOPSLA | Slicing Class Hierarchies in C++. | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
| 1995 | POPL | Parametric Program Slicing. | John Field, G. Ramalingam, Frank Tip |