Frank Tip

2008
46	EE	Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
45	EE	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	EE	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	EE	Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
42	EE	Danny Dig, Ralph Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller: Refactoring Tools. ECOOP Workshops 2007: 193-202
41	EE	Julian Dolby, Mandana Vaziri, Frank Tip: Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204
40	EE	Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
39	EE	Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779
38	EE	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	EE	Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362
34	EE	Mandana Vaziri, Frank Tip, Julian Dolby: Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345
33	EE	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	EE	Mark W. Bailey, John Hatcliff, Frank Tip: PEPM 2006 paper abstracts. SIGPLAN Notices 41(3): 4-8 (2006)
2005
31	EE	Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller: Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP 2005: 71-96
30	EE	Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665
29	EE	Ittai Balaban, Frank Tip, Robert M. Fuhrer: Refactoring support for class library migration. OOPSLA 2005: 265-279
28	EE	Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller: Generics-related refactorings in eclipse. OOPSLA Companion 2005: 170
2004
27	EE	Bjorn De Sutter, Frank Tip, Julian Dolby: Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP 2004: 585-610
26	EE	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	EE	Robert M. Fuhrer, Frank Tip, Adam Kiezun: Advanced refactorings in eclipse. OOPSLA Companion 2004: 8
2003
24	EE	Frank Tip, Adam Kiezun, Dirk Bäumer: Refactoring for generalization using type constraints. OOPSLA 2003: 13-26
23	EE	Frank Tip, Peter F. Sweeney, Chris Laffra: Extracting library-based Java applications. Commun. ACM 46(8): 35-40 (2003)
2002
22	EE	Gregor Snelting, Frank Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584
21	EE	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	EE	Barbara G. Ryder, Frank Tip: Change impact analysis for object-oriented programs. PASTE 2001: 46-53
19	EE	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	EE	Frank Tip, Jens Palsberg: Scalable propagation-based call graph construction algorithms. OOPSLA 2000: 281-293
17	EE	Peter F. Sweeney, Frank Tip: Extracting library-based object-oriented applications. SIGSOFT FSE 2000: 98-107
16	EE	Gregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)
15	EE	Frank Tip, Peter F. Sweeney: Class Hierarchy Specialization. Acta Inf. 36(12): 927-982 (2000)
1999
14	EE	Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter: Practical Experience with an Application Extractor for Java. OOPSLA 1999: 292-305
13	EE	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	EE	Gregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
10	EE	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	EE	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	EE	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]
38	Barbara G. Ryder	[20] [26] [30] [33] [39]
39	Fenil Shah	[26]
40	Gregor Snelting	[11] [16] [22] [35] [37]
41	Jiri Soukup	[44]
42	Maximilian Störzer	[30] [33]
43	David Streeter	[14] [21]
44	Bjorn De Sutter	[27]
45	Peter F. Sweeney	[8] [12] [14] [15] [17] [21] [23]
46	Mandana Vaziri	[34] [41] [43] [46]
47	Daniel Wasserrab	[35] [37]

Colors in the list of coauthors