An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation - Max Schäfer; Sarah Nadi; Aryaz Eghbali; Frank Tip (IEEE Trans. Software Eng., 2024)

LLMorpheus: Mutation Testing using Large Language Models - Frank Tip; Jonathan Bell; Max Schäfer (CoRR, 2024)

Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs - Ellen Arteca; Max Schäfer; Frank Tip (IEEE Trans. Software Eng., 2023)

That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly - Daniel Lehmann; Michelle Thalakottur; Frank Tip; Michael Pradel (Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023)

Increasing the Responsiveness of Web Applications by Introducing Lazy Loading - Alexi Turcotte; Satyajit Gokhale; Frank Tip (38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023)

Code Coverage Criteria for Asynchronous Programs - Mohammad Ganji; Saba Alimadadi; Frank Tip (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, 2023)

Adaptive Test Generation Using a Large Language Model - Max Schäfer; Sarah Nadi; Aryaz Eghbali; Frank Tip (CoRR, 2023)

A statistical approach for finding property-access errors - Ellen Arteca; Max Schäfer; Frank Tip (CoRR, 2023)

Stubbifier: debloating dynamic server-side JavaScript applications - Alexi Turcotte; Ellen Arteca; Ashish Mishra; Saba Alimadadi; Frank Tip (Empir. Softw. Eng., 2022)

DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript - Alexi Turcotte; Michael D. Shah; Mark W. Aldrich; Frank Tip (44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022)

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks - Ellen Arteca; Sebastian Harner; Michael Pradel; Frank Tip (44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022)

reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications - Alexi Turcotte; Mark W. Aldrich; Frank Tip (37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022)

Augur: Dynamic Taint Analysis for Asynchronous JavaScript - Mark W. Aldrich; Alexi Turcotte; Matthew Blanco; Frank Tip (37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022)

Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact) - Ellen Arteca; Frank Tip; Max Schäfer (Dagstuhl Artifacts Ser., 2021)

Automatic migration from synchronous to asynchronous JavaScript APIs - Satyajit Gokhale; Alexi Turcotte; Frank Tip (Proc. ACM Program. Lang., 2021)

A Study of Call Graph Construction for JVM-Hosted Languages - Karim Ali; Xiaoni Lai; Zhaoyi Luo; Ondrej Lhoták; Julian Dolby; Frank Tip (IEEE Trans. Software Eng., 2021)

Enabling Additional Parallelism in Asynchronous JavaScript Applications - Ellen Arteca; Frank Tip; Max Schäfer (35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference), 2021)

Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs - Ellen Arteca; Max Schäfer; Frank Tip (CoRR, 2021)

Stubbifier: Debloating Dynamic Server-Side JavaScript Applications - Alexi Turcotte; Ellen Arteca; Ashish Mishra; Saba Alimadadi; Frank Tip (CoRR, 2021)

Platform-Independent Dynamic Taint Analysis for JavaScript - Rezwana Karim; Frank Tip; Alena Sochurková; Koushik Sen (IEEE Trans. Software Eng., 2020)

A Semantics for the Essence of React - Magnus Madsen; Ondrej Lhoták; Frank Tip (34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020)

Precise Dataflow Analysis of Event-Driven Applications - Ming-Ho Yee; Ayaz Badouraly; Ondrej Lhoták; Frank Tip; Jan Vitek (CoRR, 2019)

Test generation for higher-order functions in dynamic languages - Marija Selakovic; Michael Pradel; Rezwana Karim; Frank Tip (Proc. ACM Program. Lang., 2018)

Finding broken promises in asynchronous JavaScript programs - Saba Alimadadi; Di Zhong; Magnus Madsen; Frank Tip (Proc. ACM Program. Lang., 2018)

Practical AJAX race detection for JavaScript web applications - Christoffer Quist Adamsen; Anders Møller; Saba Alimadadi; Frank Tip (Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 2018)

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018 - Frank Tip; Eric Bodden (ACM, 2018)

Practical initialization race detection for JavaScript web applications - Christoffer Quist Adamsen; Anders Møller; Frank Tip (Proc. ACM Program. Lang., 2017)

A model for reasoning about JavaScript promises - Magnus Madsen; Ondrej Lhoták; Frank Tip (Proc. ACM Program. Lang., 2017)

Repairing event race errors by controlling nondeterminism - Christoffer Quist Adamsen; Anders Møller; Rezwana Karim; Manu Sridharan; Frank Tip; Koushik Sen (Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, 2017)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems - Esben Andreasen; Colin S. Gordon; Satish Chandra; Manu Sridharan; Frank Tip; Koushik Sen (30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, 2016)

Feedback-directed instrumentation for deployed JavaScript applications - Magnus Madsen; Frank Tip; Esben Andreasen; Koushik Sen; Anders Møller (Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, 2016)

Type inference for static compilation of JavaScript - Satish Chandra; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, 2016)

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) - Esben Andreasen; Colin S. Gordon; Satish Chandra; Manu Sridharan; Frank Tip; Koushik Sen (CoRR, 2016)

Type Inference for Static Compilation of JavaScript (Extended Version) - Satish Chandra; Colin S. Gordon; Jean-Baptiste Jeannin; Cole Schlesinger; Manu Sridharan; Frank Tip; Young-Il Choi (CoRR, 2016)

Infeasible paths in object-oriented programs - Frank Tip (Sci. Comput. Program., 2015)

Type-Based Call Graph Construction Algorithms for Scala - Karim Ali; Marianna Rapoport; Ondrej Lhoták; Julian Dolby; Frank Tip (ACM Trans. Softw. Eng. Methodol., 2015)

Static analysis of event-driven Node.js JavaScript applications - Magnus Madsen; Frank Tip; Ondrej Lhoták (Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, 2015)

Precise Data Flow Analysis in the Presence of Correlated Method Calls - Marianna Rapoport; Ondrej Lhoták; Frank Tip (Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, 2015)

Practices of PLDI - 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 (ACM SIGPLAN Notices, 2014)

Constructing Call Graphs of Scala Programs - Karim Ali; Marianna Rapoport; Ondrej Lhoták; Julian Dolby; Frank Tip (ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, 2014)

12th Compiler-Driven Performance Workshop - José Nelson Amaral; Bob Blainey; Laurie J. Hendren; Kevin Stoodley; Frank Tip (Center for Advanced Studies on Collaborative Research, CASCON '13, Toronto, ON, Canada, November 18-20, 2013, 2013)

Detecting deadlock in programs with data-centric synchronization - Daniel Marino; Christian Hammer; Julian Dolby; Mandana Vaziri; Frank Tip; Jan Vitek (35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, 2013)

Efficient construction of approximate call graphs for JavaScript IDE services - Asger Feldthaus; Max Schäfer; Manu Sridharan; Julian Dolby; Frank Tip (35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, 2013)

Dynamic determinacy analysis - Max Schäfer; Manu Sridharan; Julian Dolby; Frank Tip (ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013, 2013)

Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061) - Mary Jean Harrold; Friedrich Steimann; Frank Tip; Andreas Zeller (Dagstuhl Reports, 2013)

A data-centric approach to synchronization - Julian Dolby; Christian Hammer; Daniel Marino; Frank Tip; Mandana Vaziri; Jan Vitek (ACM Trans. Program. Lang. Syst., 2012)

Fault Localization for Dynamic Web Applications - Shay Artzi; Julian Dolby; Frank Tip; Marco Pistoia (IEEE Trans. Software Eng., 2012)

A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs - Max Schäfer; Andreas Thies; Friedrich Steimann; Frank Tip (IEEE Trans. Software Eng., 2012)

Correlation Tracking for Points-To Analysis of JavaScript - Manu Sridharan; Julian Dolby; Satish Chandra; Max Schäfer; Frank Tip (ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, 2012)

Automated repair of HTML generation errors in PHP applications using string constraint solving - Hesam Samimi; Max Schäfer; Shay Artzi; Todd D. Millstein; Frank Tip; Laurie J. Hendren (34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, 2012)

ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012 - Jan Vitek; Haibo Lin; Frank Tip (ACM, 2012)

Refactoring using type constraints - Frank Tip; Robert M. Fuhrer; Adam Kiezun; Michael D. Ernst; Ittai Balaban; Bjorn De Sutter (ACM Trans. Program. Lang. Syst., 2011)

Refactoring Java programs for flexible locking - Max Schäfer; Manu Sridharan; Julian Dolby; Frank Tip (Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011)

A framework for automated testing of javascript web applications - Shay Artzi; Julian Dolby; Simon Holm Jensen; Anders Møller; Frank Tip (Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011)

Tool-supported refactoring for JavaScript - Asger Feldthaus; Todd D. Millstein; Anders Møller; Max Schäfer; Frank Tip (Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, 2011)

Refactoring towards the good parts of javascript - Asger Feldthaus; Todd D. Millstein; Anders Møller; Max Schäfer; Frank Tip (Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, 2011)

An evaluation of change-based coverage criteria - Marc Fisher II; Jan Wloka; Frank Tip; Barbara G. Ryder; Alexander Luchansky (Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE'11, Szeged, Hungary, September 5-9, 2011, 2011)

Finding and Fixing Bugs in Web Applications (Invited Talk) - Frank Tip (Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings, 2011)

Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 - Matthew B. Dwyer; Frank Tip (ACM, 2011)

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 M. Paradkar; Michael D. Ernst (IEEE Trans. Software Eng., 2010)

Correct Refactoring of Concurrent Java Code - Max Schäfer; Julian Dolby; Manu Sridharan; Emina Torlak; Frank Tip (ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings, 2010)

A Type System for Data-Centric Synchronization - Mandana Vaziri; Frank Tip; Julian Dolby; Christian Hammer; Jan Vitek (ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings, 2010)

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 - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, 2010)

Directed test generation for effective fault localization - Shay Artzi; Julian Dolby; Frank Tip; Marco Pistoia (Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, 2010)

Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010 - Guido Boella; Erik Meijer; David J. Pearce; Friedrich Steimann; Frank Tip (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010)

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages - 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, 2010)

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages - 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, 2010)

Safe-commit analysis to facilitate team software development - Jan Wloka; Barbara G. Ryder; Frank Tip; Xiaoxia Ren (31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, 2009)

JUnitMX - A change-aware unit testing tool - Jan Wloka; Barbara G. Ryder; Frank Tip (31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, 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 International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, 2009)

Dynamic detection of atomic-set-serializability violations - Christian Hammer; Julian Dolby; Mandana Vaziri; Frank Tip (30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, 2008)

Finding bugs in dynamic web applications - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, 2008)

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 (Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, 2008)

Declarative Object Identity Using Relation Types - Mandana Vaziri; Frank Tip; Stephen Fink; Julian Dolby (ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, 2007)

Refactoring Tools - Danny Dig; Ralph E. Johnson; Frank Tip; Oege de Moor; Jan Becicka; William G. Griswold; Markus Keller (Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports, 2007)

Refactoring for Parameterizing Java Classes - Adam Kiezun; Michael D. Ernst; Frank Tip; Robert M. Fuhrer (29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, 2007)

Crisp-A Fault Localization Tool for Java Programs - Ophelia C. Chesley; Xiaoxia Ren; Barbara G. Ryder; Frank Tip (29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, 2007)

Refactoring Using Type Constraints - Frank Tip (Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings, 2007)

C++ ist typsicher? Garantiert! - Daniel Wasserrab; Tobias Nipkow; Gregor Snelting; Frank Tip (Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, 2007)

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 International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, 2007)

PEPM 2006 paper abstracts - Mark W. Bailey; John Hatcliff; Frank Tip (ACM SIGPLAN Notices, 2006)

An operational semantics and type safety prooffor multiple inheritance in C++ - Daniel Wasserrab; Tobias Nipkow; Gregor Snelting; Frank Tip (Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, 2006)

Associating synchronization constraints with data in an object-oriented language - Mandana Vaziri; Frank Tip; Julian Dolby (Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, 2006)

Finding failure-inducing changes in java programs using change classification - Maximilian Störzer; Barbara G. Ryder; Xiaoxia Ren; Frank Tip (Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, 2006)

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 - John Hatcliff; Frank Tip (ACM, 2006)

Efficiently Refactoring Java Applications to Use Generic Libraries - Robert M. Fuhrer; Frank Tip; Adam Kiezun; Julian Dolby; Markus Keller (ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, 2005)

Chianti: a change impact analysis tool for java programs - Xiaoxia Ren; Barbara G. Ryder; Maximilian Störzer; Frank Tip (27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, 2005)

Generics-related refactorings in eclipse - Adam Kiezun; Robert M. Fuhrer; Frank Tip; Markus Keller (Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, 2005)

Refactoring support for class library migration - Ittai Balaban; Frank Tip; Robert M. Fuhrer (Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, 2005)

Customization of Java Library Classes Using Type Constraints and Profile Information - Bjorn De Sutter; Frank Tip; Julian Dolby (ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, 2004)

Advanced refactorings in eclipse - Robert M. Fuhrer; Frank Tip; Adam Kiezun (Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, 2004)

Chianti: a tool for change impact analysis of java programs - Xiaoxia Ren; Fenil Shah; Frank Tip; Barbara G. Ryder; Ophelia C. Chesley (Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, 2004)

Extracting library-based Java applications - Frank Tip; Peter F. Sweeney; Chris Laffra (Commun. ACM, 2003)

Refactoring for generalization using type constraints - Frank Tip; Adam Kiezun; Dirk Bäumer (Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, 2003)

Practical extraction techniques for Java - Frank Tip; Peter F. Sweeney; Chris Laffra; Aldo Eisma; David Streeter (ACM Trans. Program. Lang. Syst., 2002)

Semantics-Based Composition of Class Hierarchies - Gregor Snelting; Frank Tip (ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, 2002)

A slicing-based approach for locating type errors - Frank Tip; T. B. Dinesh (ACM Trans. Softw. Eng. Methodol., 2001)

Change impact analysis for object-oriented programs - Barbara G. Ryder; Frank Tip (Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001, 2001)

Class Hierarchy Specialization - Frank Tip; Peter F. Sweeney (Acta Informatica, 2000)

Understanding class hierarchies using concept analysis - Gregor Snelting; Frank Tip (ACM Trans. Program. Lang. Syst., 2000)

Scalable propagation-based call graph construction algorithms - Frank Tip; Jens Palsberg (Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000, 2000)

Extracting library-based object-oriented applications - Peter F. Sweeney; Frank Tip (ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, 2000)

Practical Experience with an Application Extractor for Java - Frank Tip; Chris Laffra; Peter F. Sweeney; David Streeter (Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999, 1999)

Aggregate Structure Identification and Its Application to Program Analysis - G. Ramalingam; John Field; Frank Tip (POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, 1999)

Dynamic dependence in term rewriting systems and its application to program slicing - John Field; Frank Tip (Inf. Softw. Technol., 1998)

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), Montreal, Canada, June 17-19, 1998, 1998)

Reengineering Class Hierarchies Using Concept Analysis - Gregor Snelting; Frank Tip (Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998, 1998)

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998 - Thomas Ball; Frank Tip; A. Michael Berman (ACM, 1998)

A Slicing-Based Approach for Locating Type Errors - T. B. Dinesh; Frank Tip (Proceedings of the Conference on Domain-Specific Languages, DSL'97, Santa Barbara, California, USA, October 15-17, 1997, 1997)

Class Hierarchy Specialization - Frank Tip; Peter F. Sweeney (Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1997, Atlanta, Georgia, October 5-9, 1997, 1997)

Slicing Class Hierarchies in C++ - Frank Tip; Jong-Deok Choi; John Field; G. Ramalingam (Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1996, San Jose, California, USA, October 6-10, 1996, 1996)

A survey of program slicing techniques - Frank Tip (J. Program. Lang., 1995)

Parametric Program Slicing - John Field; G. Ramalingam; Frank Tip (Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, 1995)

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing - Frank Tip (TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, 1995)

Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing - John Field; Frank Tip (Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, 1994)

Origin Tracking - Arie van Deursen; Paul Klint; Frank Tip (J. Symb. Comput., 1993)

Animators for Generated Programming Environments - Frank Tip (Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, 1993)