Frank Tip

	2009
49		Jan Wloka, Manu Sridharan, Frank Tip: Refactoring for reentrancy. ESEC/SIGSOFT FSE 2009: 173-182
48		Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren: Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517
47		Jan Wloka, Barbara G. Ryder, Frank Tip: JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570
	2008
46		Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
45		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
44		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
43		Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
42		Danny Dig, Ralph Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller: Refactoring Tools. ECOOP Workshops 2007: 193-202
41		Julian Dolby, Mandana Vaziri, Frank Tip: Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204
40		Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
39		Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779
38		Frank Tip: Refactoring Using Type Constraints. SAS 2007: 1-17
37		Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: C++ ist typsicher? Garantiert! Software Engineering 2007: 29-34
	2006
36		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
35		Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362
34		Mandana Vaziri, Frank Tip, Julian Dolby: Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345
33		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
32		Mark W. Bailey, John Hatcliff, Frank Tip: PEPM 2006 paper abstracts. SIGPLAN Notices 41(3): 4-8 (2006)
	2005
31		Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller: Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP 2005: 71-96
30		Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665
29		Ittai Balaban, Frank Tip, Robert M. Fuhrer: Refactoring support for class library migration. OOPSLA 2005: 265-279
28		Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller: Generics-related refactorings in eclipse. OOPSLA Companion 2005: 170
	2004
27		Bjorn De Sutter, Frank Tip, Julian Dolby: Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP 2004: 585-610
26		Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley: Chianti: a tool for change impact analysis of java programs. OOPSLA 2004: 432-448
25		Robert M. Fuhrer, Frank Tip, Adam Kiezun: Advanced refactorings in eclipse. OOPSLA Companion 2004: 8
	2003
24		Frank Tip, Adam Kiezun, Dirk Bäumer: Refactoring for generalization using type constraints. OOPSLA 2003: 13-26
23		Frank Tip, Peter F. Sweeney, Chris Laffra: Extracting library-based Java applications. Commun. ACM 46(8): 35-40 (2003)
	2002
22		Gregor Snelting, Frank Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584
21		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)
	2001
20		Barbara G. Ryder, Frank Tip: Change impact analysis for object-oriented programs. PASTE 2001: 46-53
19		Frank Tip, T. B. Dinesh: A slicing-based approach for locating type errors. ACM Trans. Softw. Eng. Methodol. 10(1): 5-55 (2001)
	2000
18		Frank Tip, Jens Palsberg: Scalable propagation-based call graph construction algorithms. OOPSLA 2000: 281-293
17		Peter F. Sweeney, Frank Tip: Extracting library-based object-oriented applications. SIGSOFT FSE 2000: 98-107
16		Gregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)
15		Frank Tip, Peter F. Sweeney: Class Hierarchy Specialization. Acta Inf. 36(12): 927-982 (2000)
	1999
14		Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter: Practical Experience with an Application Extractor for Java. OOPSLA 1999: 292-305
13		G. Ramalingam, John Field, Frank Tip: Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132
	1998
12		Peter F. Sweeney, Frank Tip: A Study of Dead Data Members in C++ Applications. PLDI 1998: 324-332
11		Gregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
10		John Field, Frank Tip: Dynamic dependence in term rewriting systems and its application to program slicing. Information & Software Technology 40(11-12): 609-636 (1998)
	1997
9		T. B. Dinesh, Frank Tip: A Slicing-Based Approach for Locating Type Errors. DSL 1997
8		Frank Tip, Peter F. Sweeney: Class Hierarchy Specialization. OOPSLA 1997: 271-285
	1996
7		Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam: Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197
	1995
6		John Field, G. Ramalingam, Frank Tip: Parametric Program Slicing. POPL 1995: 379-392
5		Frank Tip: Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. TAPSOFT 1995: 516-530
4		Frank Tip: A survey of program slicing techniques. J. Prog. Lang. 3(3): (1995)
	1994
3		John Field, Frank Tip: Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP 1994: 415-431
	1993
2		Frank Tip: Animators for Generated Programming Environments. AADEBUG 1993: 241-254
1		Arie van Deursen, Paul Klint, Frank Tip: Origin Tracking. J. Symb. Comput. 15(5/6): 523-545 (1993)

Coauthor Index

1	Shay Artzi	[45]
2	Mark W. Bailey	[32]
3	Ittai Balaban	[29]
4	Stephanie Balzer	[44]
5	Dirk Bäumer	[24]
6	Jan Becicka	[42]
7	Gavin M. Bierman	[44]
8	Ophelia Chesley	[26]
9	Ophelia C. Chesley	[39]
10	Jong-Deok Choi	[7]
11	Arie van Deursen	[1]
12	Danny Dig	[42] [45]
13	T. B. Dinesh	[9] [19]
14	Julian Dolby	[27] [31] [34] [41] [43] [45] [46]
15	Aldo Eisma	[21]
16	Michael D. Ernst	[40] [45]
17	John Field	[3] [6] [7] [10] [13]
18	Stephen J. Fink (Stephen Fink)	[43]
19	Robert M. Fuhrer	[25] [28] [29] [31] [40]
20	William G. Griswold	[42]
21	Christian Hammer	[46]
22	John Hatcliff	[32] [36]
23	Ralph Johnson	[42]
24	Markus Keller	[28] [31] [42]
25	Adam Kiezun	[24] [25] [28] [31] [40] [45]
26	Paul Klint	[1]
27	Chris Laffra	[14] [21] [23]
28	Erik Meijer	[44]
29	Oege de Moor	[42]
30	Stephen Nelson	[44]
31	Tobias Nipkow	[35] [37]
32	James Noble	[44]
33	Jens Palsberg	[18]
34	Amit M. Paradkar	[45]
35	David J. Pearce	[44]
36	G. Ramalingam (Ganesan Ramalingam)	[6] [7] [13]
37	Xiaoxia Ren	[26] [30] [33] [39] [48]
38	Barbara G. Ryder	[20] [26] [30] [33] [39] [47] [48]
39	Fenil Shah	[26]
40	Gregor Snelting	[11] [16] [22] [35] [37]
41	Jiri Soukup	[44]
42	Manu Sridharan	[49]
43	Maximilian Störzer	[30] [33]
44	David Streeter	[14] [21]
45	Bjorn De Sutter	[27]
46	Peter F. Sweeney	[8] [12] [14] [15] [17] [21] [23]
47	Mandana Vaziri	[34] [41] [43] [46]
48	Daniel Wasserrab	[35] [37]
49	Jan Wloka	[47] [48] [49]

Colors in the list of coauthors