Publications

These works are copyright © ACM, Springer-Verlag, Chapman & Hall, Kluwer, Academic Press, Elsevier, USENIX, IBM, or Frank Tip. Permission to make digital or hard copies of part of all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee.

Journals

purpleball icon Frank Tip, Peter F. Sweeney, and Chris Laffra, Extracting library-based Java applications, Communications of the ACM, 46(8), August 2003, pp. 35-40. .pdf
purpleball icon Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, and David Streeter Practical extraction techniques for Java. ACM Transactions on Programming Languages and Systems 24(6), November 2002, pp. 625-666. .pdf
purpleball icon Frank Tip and T. B. Dinesh, A slicing-based approach for locating type errors. ACM Transactions on Software Engineering and Methodology 10(1), January 2001, pp. 5-55. .pdf
purpleball icon Gregor Snelting and Frank Tip, Understanding class hierarchies using concept analysis. ACM Transactions on Programming Languages and Systems 22(3), May 2000, pp. 540-582. .pdf
purpleball icon Frank Tip and Peter F. Sweeney, Class hierarchy specialization. Acta Informatica (2000) 36, pp. 927-982. .pdf
purpleball icon John Field and Frank Tip, Dynamic dependence in term rewriting systems and its application to program slicing, Information and Software Technology 40(11-12), November/December 1998, 609-636. .pdf
purpleball icon Frank Tip, A survey of program slicing techniques, Journal of Programming Languages 3(3) , (1995), 121-189. .pdf
purpleball icon Arie van Deursen, Paul Klint, and Frank Tip, Origin tracking, Journal of Symbolic Computation 15, 1993, 523-545. .pdf

Conferences and workshops

purpleball icon Julian Dolby, Mandana Vaziri, and Frank Tip, Finding Bugs Efficiently with a SAT Solver, To appear in 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), (Dubrovnik, Croatia, September 2007). .pdf
purpleball icon Frank Tip, Refactoring using Type Constraints, In Proceedings of the 14th International Static Analysis Symposium (SAS 2007), (Kongens Lyngby, Denmark, August 2007), pp. 1-17. .pdf .ppt
purpleball icon Mandana Vaziri, Frank Tip, Stephen Fink, and Julian Dolby, Declarative Object Identity using Relation Types, In Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), (Berlin, Germany, July 2007), pp. 54-78. .pdf
purpleball icon Adam Kiezun, Michael Ernst, Frank Tip, and Robert Fuhrer, Refactoring for Parameterizing Java Classes, In Proceedings of the 29th International Conference on Software Engineering (ICSE'07), (Minneapolis, MN, May 2007), pp. 437-446. .pdf
purpleball icon Maximilian Stoerzer, Barbara Ryder, Xiaoxia Ren, and Frank Tip Finding Failure-Inducing Changes in Java Programs using Change Classification, In Proceedings of the Fourteenth International Symposium on the Foundations of Software Engineering (FSE-14), (Portland, OR, November 2006), pp 57-68. .pdf
purpleball icon Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, and Frank Tip An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++, In Proceedings of the 21st Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'06), (Portland, OR, October 2006), pp. 345-362. .pdf
purpleball icon Mandana Vaziri, Frank Tip, and Julian Dolby, Associating Synchronization Constraints with Data in an Object-Oriented Language, In Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), (Charleston, SC, January 2006), pp. 334-345. .pdf
purpleball icon Ittai Balaban, Frank Tip, and Robert Fuhrer, Refactoring Support for Class Library Migration, In Proceedings of the 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05), (San Diego, CA, October 2005), pp.265-279. .pdf
purpleball icon Robert Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, and Markus Keller, Efficiently Refactoring Java Applications to Use Generic Libraries, In Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP'2005), (Glasgow, Scotland, July 2005), pp. 71-96. .pdf
purpleball icon Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara Ryder, and Ophelia Chesley, Chianti: A Tool for Change Impact Analysis of Java Programs, In Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), (Vancouver, Canada, October 2004), pp. 432-448. .pdf
purpleball icon Bjorn De Sutter, Frank Tip, and Julian Dolby, Customization of Java Library Classes Using Type Constraints and Profile Information, In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'2004), (Oslo, Norway, June 2004), pp. 585-610. .pdf
purpleball icon Frank Tip, Adam Kiezun, and Dirk Baeumer, Refactoring for generalization using type constraints, In Proceedings of the Eighteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'03), (Anaheim, CA, October 2003), pp. 13-26. .pdf
purpleball icon Gregor Snelting and Frank Tip, Semantics-based composition of class hierarchies, In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP 2002), (Malaga, Spain, June 10-14, 2002), pp. 562-584. .pdf
purpleball icon Barbara G. Ryder and Frank Tip, Change impact analysis for object-oriented programs, In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), (Snowbird, UT, June 18-19, 2001), pp. 46-53. .pdf
purpleball icon Peter F. Sweeney and Frank Tip, Extracting library-based object-oriented applications, In Proceedings of the Eighth International Symposium on the Foundations of Software Engineering (FSE-8), (San Diego, CA, November 6--10, 2000), pp. 98-107. Appeared in ACM SIGSOFT Software Engineering Notes 25(6). .pdf
purpleball icon Frank Tip and Jens Palsberg, Scalable propagation-based call graph construction algorithms, In Proceedings of the Fifteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00), (Minneapolis, MN, October 15-19, 2000), pp. 281-293. Appeared in ACM SIGPLAN Notices 35(10). .pdf
purpleball icon Frank Tip, Chris Laffra, Peter F. Sweeney, and David Streeter, Practical experience with an application extractor for Java, In Proceedings of the Fourteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99), (Denver, CO, November 1--5, 1999), pp 292-305. Appeared in ACM SIGPLAN Notices 34(10). .pdf
purpleball icon G. Ramalingam, John Field, and Frank Tip, Aggregate structure identification and its application to program analysis, In Proceedings of the Twenty-Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '99), (San Antonio, TX, January 20-22, 1999), pp. 119-132. .pdf
purpleball icon Gregor Snelting and Frank Tip, Reengineering class hierarchies using concept analysis, In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), (Lake Buena Vista, FL, November 3--5, 1998), pp. 99-110. .pdf
purpleball icon Peter F. Sweeney and Frank Tip, A study of dead data members in C++ applications , In Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI'98), (Montreal, Canada, June 17--19, 1998), pp. 324-332. Appeared in ACM SIGPLAN Notices, Vol. 33, No. 6. .pdf
purpleball icon T.B. Dinesh and Frank Tip, A slicing-based approach for locating type errors, In Proceedings of the USENIX Conference on Domain-Specific Languages (DSL'97), (Santa Barbara, CA, October 15--17, 1997), pp. 77-88. .pdf
purpleball icon Frank Tip and Peter F. Sweeney, Class hierarchy specialization, In Proceedings of the Twelfth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97), (Atlanta, GA, October 5--9, 1997), pp. 271-285. Appeared in ACM SIGPLAN Notices 32(10). .pdf
purpleball icon T.B. Dinesh and Frank Tip, A case study of a slicing-based approach for locating type errors, In Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97)}, (Amsterdam, September 5--6, 1997). Appeared in Springer-Verlag's Electronic Workshops in Computing series, 1997. .pdf
purpleball icon Frank Tip, Jong-Deok Choi, John Field, and G. Ramalingam, Slicing class hierarchies in C++, In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'96), (San Jose, CA, October 6--10, 1996), pp. 179--197. Appeared in ACM SIGPLAN Notices 31(10). .pdf
purpleball icon Frank Tip, Generic techniques for source-level debugging and dynamic program slicing. In Proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Development , (Aarhus, Denmark, May 22-26, 1995), Lecture Notes in Computer Science, Vol. 915, P. D. Mosses, M. Nielsen, M. I. Schwartzbach (Eds.), Springer-Verlag, Berlin/Heidelberg, Germany, 1995, pp. 516-530. .pdf
purpleball icon John Field, G. Ramalingam, and Frank Tip, Parametric program slicing, In Conference Record of the Twenty-Second ACM Symposium on Principles of Programming Languages , (San Francisco, CA, January 23-25, 1995), pp. 379-392. .pdf
purpleball icon John Field and Frank Tip, Dynamic dependence in term rewriting systems and its application to program slicing, In Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, (Madrid, Spain, September 14-16, 1994), Lecture Notes in Computer Science , Vol. 844, M. Hermenegildo and J. Penjam (Eds.), Springer-Verlag, Berlin/Heidelberg, Germany, 1994, pp. 415-431. .pdf
purpleball icon Frank Tip, Animators for generated programming environments. In Proceedings of the First International Workshop on Automated and Algorithmic Debugging , (Linkoping, Sweden, May 3-5 1993), Lecture Notes in Computer Science , Vol. 749, P. Fritzson (Ed.), Springer Verlag, Berlin/Heidelberg, Germany, 1993, pp. 241-254. .pdf

PhD thesis

purpleball icon Frank Tip, Generation of Program Analysis Tools, University of Amsterdam, March 1995. .pdf

Technical reports

purpleball icon Maximilian Stoerzer, Barbara Ryder, Xiaoxia Ren, Frank Tip, Finding Failure-Inducing Changes using Change Classification, IBM Research Report RC 23729, September 29, 2005. .pdf Also appeared as report DCS-TR-582, Department of Computer Science, Rutgers University.
purpleball icon Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip, An Operational Semantics and Type Safety Proof for C++-like Multiple Inheritance , IBM Research Report RC 23709, August 31, 2005. .pdf
purpleball icon Mandana Vaziri, Frank Tip, and Julian Dolby, Associating Synchronization Constraints with Data in an Object-Oriented Language, IBM Research Report RC 23674, July 21, 2005. .pdf
purpleball icon Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara Ryder, and Ophelia Chesley, Chianti: A Tool for Change Impact Analysis of Java Programs, Department of Computer Science, Rutgers University, Number DCS-TR-551, April, 2004. .pdf
purpleball icon Frank Tip, Robert Fuhrer, Julian Dolby, and Adam Kiezun, Refactoring Techniques for Migrating Applications to Generic Java Container Classes , IBM Research Report RC 23238, June 10, 2004. .pdf
purpleball icon Bjorn De Sutter, Frank Tip, and Julian Dolby, Customization of Java Library Classes Using Type Constraints and Profile Information, IBM Research Report RC 23037, December 16, 2003. .pdf
purpleball icon Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley, and Julian Dolby, Chianti: A Prototype Change Impact Analysis Tool for Java , IBM Research Report RC 22983, November 7, 2003. Also appeared as Rutgers University Technical Report DCS-TR-533, September, 2003. .pdf
purpleball icon Frank Tip, Adam Kiezun, and Dirk Bauemer, Refactoring for generalization using type constraints, IBM Research Report RC 22662, December 4, 2002. .pdf
purpleball icon Gregor Snelting and Frank Tip, Semantics-based composition of class hierarchies, IBM Research Report RC 22305, January 11, 2002. .pdf
purpleball icon Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, and David Streeter, Practical extraction techniques for Java, IBM Research Report RC 22178, September 19, 2001. .pdf
purpleball icon Barbara G. Ryder and Frank Tip, Change impact analysis for object-oriented programs, IBM Research Report RC 21997, March 15, 2001.
purpleball icon Peter F. Sweeney and Frank Tip, Extracting library-based object-oriented applications, IBM Research Report RC 21727, April 20, 2000. .pdf
purpleball icon Frank Tip and Jens Palsberg, Scalable propagation-based call graph construction algorithms. IBM Research Report RC 21726, April 13, 2000.
purpleball icon Gregor Snelting and Frank Tip, Reengineering class hierarchies using concept analysis. IBM Research Report RC 21670, February 1, 2000.
purpleball icon Frank Tip, Chris Laffra, Peter F. Sweeney, and David Streeter, Practical experience with an application extractor for Java, IBM Research Report RC 21451, April 14, 1999 (An earlier version of this report appeared as IBM Research Report RC 21321, October 28, 1998).
purpleball icon T. B. Dinesh and Frank Tip, A slicing-based approach for locating type errors, IBM Research Report RC 21278, September 11, 1998.
purpleball icon John Field and Frank Tip, Dynamic dependence in term rewriting systems and its application to program slicing, IBM Research Report RC 21117, February 26, 1998.
purpleball icon G. Ramalingam, John Field, and Frank Tip, Aggregate structure identification and its application to program analysis, IBM Research Report RC 21246, IBM T.J. Watson Research Center, July 29, 1997.
purpleball icon Gregor Snelting and Frank Tip, Reengineering class hierarchies using concept analysis, IBM Research Report RC 21164, IBM T.J. Watson Research Center, April 24, 1997. .pdf
purpleball icon Frank Tip and Peter F. Sweeney, Class hierarchy specialization, IBM Research Report RC 21111, IBM T.J. Watson Research Center, February 24, 1997.
purpleball icon Peter F. Sweeney and Frank Tip, A study of dead data members in C++ applications, IBM Research Report RC 21051, IBM T.J. Watson Research Center, November 1997.
purpleball icon Frank Tip, Generic techniques for source-level debugging and dynamic program slicing. Report CS-R9453, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1994.
purpleball icon Frank Tip, A survey of program slicing techniques, Report CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1994.
purpleball icon T.B. Dinesh and Frank Tip, Animators and error reporters for generated programming environments, Report CS-R9253, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992.
purpleball icon Arie van Deursen, Paul Klint, and Frank Tip, Origin tracking, Report CS-R9230, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1992.
purpleball icon Frank Tip, The equation debugger. Master's thesis, Programming Research Group, University of Amsterdam, 1991.

Other

purpleball icon Arie van Deursen, Paul Klint, and Frank Tip, Origin tracking and its applications, 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., 1996.