Frank Tip  Frank Tip photo       

contact information

Manager, Program Analysis & Transformation Group
Thomas J. Watson Research Center, Hawthorne, NY USA
  +1dash914dash784dash6294

links

Professional Associations

Professional Associations:  ACM SIGPLAN  |  ACM SIGSOFT  |  IFIP WG 2.4


2012

Correlation Tracking for Points-to Analysis of Javascript
M. Sridharan, J. Dolby, S. Chandra, M. Schaefer, F. Tip
European Conference on Object Oriented Programming (ECOOP), pp. 435--458, Springer, 2012
Abstract

A Data-Centric Approach to Synchronization
J Dolby, C Hammer, D Marino, F Tip, M Vaziri, J Vitek
ACM Transactions on Programming Languages and Systems 34(1), 4, 2012

A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs
M Schaefer, A Thies, F Steimann, F Tip
IEEE Transactions on Software Engineering, 2012

Automated Repair of HTML Generation Errors in PHP Applications using String Constraint Solving
Hesam Samimi, Max Schaefer, Shay Artzi, Todd Millstein, Frank Tip, Laurie Hendren
International Conference on Software Engineering (ICSE), pp. 277--287, 2012

Fault Localization for Dynamic Web Applications
S Artzi, J Dolby, F Tip, M Pistoia
IEEE Transactions on Software Engineering 38(2), 314-335, Published by the IEEE Computer Society, 2012


2011

An Evaluation of Change-Based Coverage Criteria
M Fisher II, J Wloka, F Tip, BG Ryder, A Luchansky
Proceedings of the 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'2011)

Tool-supported Refactoring for JavaScript
Asger Feldthaus, Todd Millstein, Anders Moeller, Max Schaefer, Frank Tip
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 119-138, 2011

Refactoring using Type Constraints
F Tip, RM Fuhrer, A Kiezun, MD Ernst, I Balaban, B De Sutter
ACM Transactions on Programming Languages and Systems 33(3), 9:1-9:47, 2011

Refactoring Java Programs for Flexible Locking
Max Schaefer, Manu Sridharan, Julian Dolby, Frank Tip
International Conference on Software Engineering (ICSE), pp. 71--80, 2011

A Framework for Automated Testing of JavaScript Web Applications
S Artzi, J Dolby, S Jensen, A Moeller, F Tip
International Conference on Software Engineering (ICSE 2011), pp. 571--580


2010

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst
IEEE Transactions on Software Engineering 36(4), 453-473, IEEE, 2010

Directed Test Generation for Effective Fault Localization
S Artzi, J Dolby, F Tip, and M Pistoia
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2010), pp. 49-60

Correct Refactoring of Concurrent Java Code
M Schaefer, J Dolby, M Sridharan, E Torlak, F Tip
Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), pp. 225-249

A Type System for Data-Centric Synchronization
M Vaziri, F Tip, J Dolby, C Hammer, J Vitek
Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), pp. 304-328, Springer

Practical Fault Localization for Dynamic Web Applications
S Artzi, J Dolby, F Tip, M Pistoia
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), pp. 265-274


2009

Refactoring for Reentrancy
J Wloka, M Sridharan, F Tip
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), pp. 173-182

Safe-Commit Analysis to Facilitate Team Software Development
J Wloka, BG Ryder, F Tip, X Ren
Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pp. 265-274


2008

Dynamic Detection of Atomic-Set-Serializability Violations
C Hammer, J Dolby, M Vaziri, F Tip
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 231-240

Finding Bugs in Dynamic Web Applications
S Artzi, A Kiezun, J Dolby, F Tip, D Dig, A Paradkar, MD Ernst
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'08), pp. 261-272, 2008


2007

Refactoring Using Type Constraints
F Tip
Proceedings of the 14th International Static Analysis Symposium (SAS 2007), pp. 1-17

Refactoring for Parameterizing Java Classes
A Kiezun, MD Ernst, F Tip, RM Fuhrer
Proceedings of the 29th International Conference on Software Engineering (ICSE'07), pp. 437-446, 2007

Finding Bugs Efficiently with a SAT Solver
J Dolby, M Vaziri, F Tip
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), pp. 54-78

Declarative Object Identity Using Relation Types
M Vaziri, F Tip, S Fink, J Dolby
Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), pp. 54-78


2006

Finding Failure-Inducing Changes in Java programs using Change Classification
M Stoerzer, BG Ryder, X Ren, F Tip
Proceedings of the Fourteenth International Symposium on the Foundations of Software Engineering (FSE-14), pp. 57-68, 2006

An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++
D Wasserrab, T Nipkow, G Snelting, F Tip
Proceedings of the 21st Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'06), pp. 345-362, 2006

Associating Synchronization Constraints with Data in an Object-Oriented Language
M Vaziri, F Tip, J Dolby
Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), pp. 334-345, 2006


2005

Refactoring Support for Class Library Migration
I Balaban, F Tip, R Fuhrer
Proceedings of the 20th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05), pp. 265-279, 2005

Efficiently Refactoring Java Applications to Use Generic Libraries
R Fuhrer, F Tip, A Kiezun, J Dolby, M Keller
Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP'2005), pp. 71-96


2004

Chianti: A Tool for Change Impact Analysis of Java Programs
X Ren, F Shah, F Tip, BG Ryder, O Chesley
Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), pp. 432-448, 2004

Customization of Java Library Classes Using Type Constraints and Profile Information
B De Sutter, F Tip, J Dolby
Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'2004),, pp. 585-610


2003

Extracting Library-Based Java Applications
F Tip, PF Sweeney, C Laffra
Communications of the ACM 46(8), 35-40, 2003

Refactoring for Generalization using Type Constraints
F Tip, A Kiezun, D Bauemer
Proceedings of the Eighteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'03), pp. 13-26, 2003


2002

Semantics-Based Composition of Class Hierarchies
G Snelting, F Tip
Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP 2002), pp. 562-584

Practical Extraction Techniques for Java
F Tip, PF Sweeney, C Laffra, A Eisma, D Streeter
ACM Transactions on Programming Languages and Systems 24(6), 625-666, 2002


2001

Change Impact Analysis for Object-Oriented Programs
BG Ryder, F Tip
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), pp. 46-53, 2001

A Slicing-Based Approach for Locating Type Errors
F Tip, TB Dinesh
ACM Transactions on Software Engineering and Methodology 10(1), 5-55, 2001


2000

Extracting Library-Based Object-Oriented Applications
PF Sweeney, Frank Tip
Proceedings of the Eighth International Symposium on the Foundations of Software Engineering (FSE-8), pp. 98-107, 2000

Understanding Class Hierarchies Using Concept Analysis
G Snelting, F Tip
ACM Transactions on Programming Languages and Systems 22(3), 540-582, 2000

Class Hierarchy Specialization
F Tip, P F Sweeney
Acta Informatica36, 927-982, 2000

Scalable Propagation-Based Call Graph Construction Algorithms
F Tip, J Palsberg
Proceedings of the Fifteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00), pp. 281-293, 2000


1999

Practical Experience with an Application Extractor for Java
F Tip, C Laffra, PF Sweeney, D Streeter
Proceedings of the Fourteenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99), pp. 292-305, 1999

Aggregate Structure Identification and its Application to Program Analysis
G Ramalingam, J Field, F Tip
Conference Record of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'99), pp. 119-132, 1999


1998

Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing
J Field, F Tip
Information and Software Technology 40(11-12), 609 - 636, 1998

A Study of Dead Data Members in C++ Applications
PF Sweeney, F Tip
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI'98), pp. 324-332, 1998

Reengineering Class Hierarchies using Concept Analysis
G Snelting, F Tip
Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), pp. 99-110, 1998


1997

Class Hierarchy Specialization
F Tip, PF Sweeney
Proceedings of the Twelfth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97), pp. 271-285, 1997

A Case Study of a Slicing-Based Approach for Locating Type Errors
TB Dinesh, F Tip
Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Springer-Verlag's Electronic Workshops in Computing, 1997

A Slicing-Based Approach for Locating Type Errors
TB Dinesh, F Tip
Proceedings of the USENIX Conference on Domain-Specific Languages (DSL'97), pp. 77-88, 1997


1996

Origin Tracking and its Applications
A van Deursen, P Klint, F Tip
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

Slicing Class Hierarchies in C++
F Tip, J D Choi, J Field, G Ramalingam
Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'96), pp. 179-197, 1996


1995

A Survey of Program Slicing Techniques
F Tip
Journal of Programming Languages 3(3), 121-189, 1995

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
F Tip
Proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Development , pp. 516-530, Springer-Verlag, Lecture Notes in Computer Science, 1995

Generation of Program Analysis Tools
F Tip
1995 - illc.uva.nl, PhD Thesis, University of Amsterdam

Parametric Program Slicing
J Field, G Ramalingam, F Tip
Conference Record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'95), pp. 379--392, 1995


1994

Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing
J Field and F Tip
Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, pp. 415-431, Springer-Verlag, Lecture Notes in Computer Science, 1994


1993

Animators for Generated Programming Environments
F Tip
Proceedings of the First International Workshop on Automated and Algorithmic Debugging (AADEBUG'93), pp. 241-254, Springer-Verlag, Lecture Notes in Computer Science, 1993

Origin Tracking
A van Deursen, P Klint, F Tip
Journal of Symbolic Computation15, 523-545, 1993


1991

The Equation Debugger
F Tip
Master's thesis, Programming Research Group, University of Amsterdam, 1991