Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Frank Tip
2010 – today
- 2013
[c54]Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek: Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331- [c53]Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip: Efficient construction of approximate call graphs for JavaScript IDE services. ICSE 2013: 752-761
- [c52]Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip: Dynamic determinacy analysis. PLDI 2013: 165-174
- [i1]Mary Jean Harrold, Friedrich Steimann, Frank Tip, Andreas Zeller: Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061). Dagstuhl Reports 3(2): 1-21 (2013)
- 2012
- [j14]Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek: A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4 (2012)
- [j13]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38(2): 314-335 (2012)
- [j12]Max Schäfer, Andreas Thies, Friedrich Steimann, Frank Tip: A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs. IEEE Trans. Software Eng. 38(6): 1233-1257 (2012)
- [c51]Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip: Correlation Tracking for Points-To Analysis of JavaScript. ECOOP 2012: 435-458
- [c50]Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren: Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE 2012: 277-287
- [e4]
- 2011
- [j11]Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter: Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33(3): 9 (2011)
- [c49]Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip: Refactoring Java programs for flexible locking. ICSE 2011: 71-80
- [c48]Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip: A framework for automated testing of javascript web applications. ICSE 2011: 571-580
- [c47]Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip: Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138
- [c46]Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip: Refactoring towards the good parts of javascript. OOPSLA Companion 2011: 189-190
- [c45]Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky: An evaluation of change-based coverage criteria. PASTE 2011: 21-28
- [c44]
- [e3]Matthew B. Dwyer, Frank Tip (Eds.): Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0562-4
- 2010
- [j10]Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010)
- [c43]Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip: Correct Refactoring of Concurrent Java Code. ECOOP 2010: 225-249
- [c42]Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek: A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328
- [c41]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Practical fault localization for dynamic web applications. ICSE (1) 2010: 265-274
- [c40]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Directed test generation for effective fault localization. ISSTA 2010: 49-60
2000 – 2009
- 2009
- [c39]Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren: Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517
- [c38]Jan Wloka, Barbara G. Ryder, Frank Tip: JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570
- [c37]
- 2008
- [c36]Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
- [c35]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
- [c34]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
- [c33]Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
- [c32]Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller: Refactoring Tools. ECOOP Workshops 2007: 193-202
- [c31]Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
- [c30]Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779
- [c29]
- [c28]Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: C++ ist typsicher? Garantiert! Software Engineering 2007: 29-34
- [c27]Julian Dolby, Mandana Vaziri, Frank Tip: Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204
- 2006
- [j9]Mark W. Bailey, John Hatcliff, Frank Tip: PEPM 2006 paper abstracts. SIGPLAN Notices 41(3): 4-8 (2006)
- [c26]Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362
- [c25]Mandana Vaziri, Frank Tip, Julian Dolby: Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345
- [c24]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
- [e2]John Hatcliff, Frank Tip (Eds.): 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, ISBN 1-59593-196-1
- 2005
- [c23]Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller: Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP 2005: 71-96
- [c22]Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665
- [c21]Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller: Generics-related refactorings in eclipse. OOPSLA Companion 2005: 170
- [c20]Ittai Balaban, Frank Tip, Robert M. Fuhrer: Refactoring support for class library migration. OOPSLA 2005: 265-279
- 2004
- [c19]Bjorn De Sutter, Frank Tip, Julian Dolby: Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP 2004: 585-610
- [c18]Robert M. Fuhrer, Frank Tip, Adam Kiezun: Advanced refactorings in eclipse. OOPSLA Companion 2004: 8
- [c17]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
- 2003
- [j8]Frank Tip, Peter F. Sweeney, Chris Laffra: Extracting library-based Java applications. Commun. ACM 46(8): 35-40 (2003)
- [c16]Frank Tip, Adam Kiezun, Dirk Bäumer: Refactoring for generalization using type constraints. OOPSLA 2003: 13-26
- 2002
- [j7]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)
- [c15]
- 2001
- [j6]Frank Tip, T. B. Dinesh: A slicing-based approach for locating type errors. ACM Trans. Softw. Eng. Methodol. 10(1): 5-55 (2001)
- [c14]
- 2000
- [j5]
- [j4]Gregor Snelting, Frank Tip: Understanding class hierarchies using concept analysis. ACM Trans. Program. Lang. Syst. 22(3): 540-582 (2000)
- [c13]Frank Tip, Jens Palsberg: Scalable propagation-based call graph construction algorithms. OOPSLA 2000: 281-293
- [c12]Peter F. Sweeney, Frank Tip: Extracting library-based object-oriented applications. SIGSOFT FSE 2000: 98-107
1990 – 1999
- 1999
- [c11]Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter: Practical Experience with an Application Extractor for Java. OOPSLA 1999: 292-305
- [c10]G. Ramalingam, John Field, Frank Tip: Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132
- 1998
- [j3]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)
- [c9]
- [c8]Gregor Snelting, Frank Tip: Reengineering Class Hierarchies Using Concept Analysis. SIGSOFT FSE 1998: 99-110
- [e1]Thomas Ball, Frank Tip, A. Michael Berman (Eds.): Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998. ACM 1998, ISBN 1-58113-055-4
- 1997
- [c7]
- [c6]
- 1996
- [c5]Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam: Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197
- 1995
- [j2]
- [c4]
- [c3]Frank Tip: Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. TAPSOFT 1995: 516-530
- 1994
- [c2]John Field, Frank Tip: Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP 1994: 415-431
- 1993
- [j1]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:05 CEST by the dblp team