dblp.uni-trier.dewww.uni-trier.de

Frank Tip Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
49EEJan Wloka, Manu Sridharan, Frank Tip: Refactoring for reentrancy. ESEC/SIGSOFT FSE 2009: 173-182
48EEJan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren: Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517
47EEJan Wloka, Barbara G. Ryder, Frank Tip: JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570
2008
46EEChristian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
45EEShay 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
44EEStephen 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
43EEMandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
42EEDanny Dig, Ralph Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller: Refactoring Tools. ECOOP Workshops 2007: 193-202
41EEJulian Dolby, Mandana Vaziri, Frank Tip: Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204
40EEAdam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
39EEOphelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779
38EEFrank 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
35EEDaniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362
34EEMandana Vaziri, Frank Tip, Julian Dolby: Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345
33EEMaximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip: Finding failure-inducing changes in java programs using change classification. SIGSOFT FSE 2006: 57-68
32EEMark W. Bailey, John Hatcliff, Frank Tip: PEPM 2006 paper abstracts. SIGPLAN Notices 41(3): 4-8 (2006)
2005
31EERobert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller: Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP 2005: 71-96
30EEXiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665
29EEIttai Balaban, Frank Tip, Robert M. Fuhrer: Refactoring support for class library migration. OOPSLA 2005: 265-279
28EEAdam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller: Generics-related refactorings in eclipse. OOPSLA Companion 2005: 170
2004
27EEBjorn De Sutter, Frank Tip, Julian Dolby: Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP 2004: 585-610
26EEXiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley: Chianti: a tool for change impact analysis of java programs. OOPSLA 2004: 432-448
25EERobert M. Fuhrer, Frank Tip, Adam Kiezun: Advanced refactorings in eclipse. OOPSLA Companion 2004: 8
2003
24EEFrank Tip, Adam Kiezun, Dirk Bäumer: Refactoring for generalization using type constraints. OOPSLA 2003: 13-26
23EEFrank Tip, Peter F. Sweeney, Chris Laffra: Extracting library-based Java applications. Commun. ACM 46(8): 35-40 (2003)
2002
22EEGregor Snelting, Frank Tip: Semantics-Based Composition of Class Hierarchies. ECOOP 2002: 562-584
21EEFrank 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
20EEBarbara G. Ryder, Frank Tip: Change impact analysis for object-oriented programs. PASTE 2001: 46-53
19EEFrank Tip, T. B. Dinesh: A slicing-based approach for locating type errors. ACM Trans. Softw. Eng. Methodol. 10(1): 5-55 (2001)
2000
18EEFrank Tip, Jens Palsberg: Scalable propagation-based call graph construction algorithms. OOPSLA 2000: 281-293
17EEPeter F. Sweeney, Frank Tip: Extracting library-based object-oriented applications. SIGSOFT FSE 2000: 98-107
16EEGregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)
15EEFrank Tip, Peter F. Sweeney: Class Hierarchy Specialization. Acta Inf. 36(12): 927-982 (2000)
1999
14EEFrank Tip, Chris Laffra, Peter F. Sweeney, David Streeter: Practical Experience with an Application Extractor for Java. OOPSLA 1999: 292-305
13EEG. 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
11EEGregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
10EEJohn 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
9EET. 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
5EEFrank Tip: Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. TAPSOFT 1995: 516-530
4EEFrank Tip: A survey of program slicing techniques. J. Prog. Lang. 3(3): (1995)
1994
3EEJohn 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)