Frank Tip

According to our database1, Frank Tip
  • authored at least 82 papers between 1993 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Type Inference for Static Compilation of JavaScript (Extended Version).
CoRR, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR, 2016

Type inference for static compilation of JavaScript.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Feedback-directed instrumentation for deployed JavaScript applications.
Proceedings of the 38th International Conference on Software Engineering, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Type-Based Call Graph Construction Algorithms for Scala.
ACM Trans. Softw. Eng. Methodol., 2015

Infeasible paths in object-oriented programs.
Sci. Comput. Program., 2015

Precise Data Flow Analysis in the Presence of Correlated Method Calls.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Static analysis of event-driven Node.js JavaScript applications.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
Constructing Call Graphs of Scala Programs.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061).
Dagstuhl Reports, 2013

Dynamic determinacy analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Detecting deadlock in programs with data-centric synchronization.
Proceedings of the 35th International Conference on Software Engineering, 2013

Efficient construction of approximate call graphs for JavaScript IDE services.
Proceedings of the 35th International Conference on Software Engineering, 2013

12th Compiler-Driven Performance Workshop.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2012
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs.
IEEE Trans. Software Eng., 2012

Fault Localization for Dynamic Web Applications.
IEEE Trans. Software Eng., 2012

A data-centric approach to synchronization.
ACM Trans. Program. Lang. Syst., 2012

Automated repair of HTML generation errors in PHP applications using string constraint solving.
Proceedings of the 34th International Conference on Software Engineering, 2012

Correlation Tracking for Points-To Analysis of JavaScript.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Refactoring using type constraints.
ACM Trans. Program. Lang. Syst., 2011

Finding and Fixing Bugs in Web Applications (Invited Talk).
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

An evaluation of change-based coverage criteria.
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, 2011

Refactoring towards the good parts of javascript.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Tool-supported refactoring for JavaScript.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Refactoring Java programs for flexible locking.
Proceedings of the 33rd International Conference on Software Engineering, 2011

A framework for automated testing of javascript web applications.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
IEEE Trans. Software Eng., 2010

Directed test generation for effective fault localization.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Practical fault localization for dynamic web applications.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Type System for Data-Centric Synchronization.
Proceedings of the ECOOP 2010, 2010

Correct Refactoring of Concurrent Java Code.
Proceedings of the ECOOP 2010, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.
Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.
Proceedings of the Relationships, Objects, 2010

2009
Refactoring for reentrancy.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Safe-commit analysis to facilitate team software development.
Proceedings of the 31st International Conference on Software Engineering, 2009

JUnitMX - A change-aware unit testing tool.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Relationships and associations in object-oriented languages.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Finding bugs in dynamic web applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Dynamic detection of atomic-set-serializability violations.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Finding bugs efficiently with a SAT solver.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

C++ ist typsicher? Garantiert!
Proceedings of the Software Engineering 2007, 2007

Refactoring Using Type Constraints.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Refactoring for Parameterizing Java Classes.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Crisp-A Fault Localization Tool for Java Programs.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Refactoring Tools.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Declarative Object Identity Using Relation Types.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006
PEPM 2006 paper abstracts.
SIGPLAN Notices, 2006

Finding failure-inducing changes in java programs using change classification.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Associating synchronization constraints with data in an object-oriented language.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

An operational semantics and type safety prooffor multiple inheritance in C++.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Generics-related refactorings in eclipse.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Refactoring support for class library migration.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Chianti: a change impact analysis tool for java programs.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Efficiently Refactoring Java Applications to Use Generic Libraries.
Proceedings of the ECOOP 2005, 2005

2004
Chianti: a tool for change impact analysis of java programs.
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Advanced refactorings in eclipse.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Customization of Java Library Classes Using Type Constraints and Profile Information.
Proceedings of the ECOOP 2004, 2004

2003
Extracting library-based Java applications.
Commun. ACM, 2003

Refactoring for generalization using type constraints.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002
Practical extraction techniques for Java.
ACM Trans. Program. Lang. Syst., 2002

Semantics-Based Composition of Class Hierarchies.
Proceedings of the ECOOP 2002, 2002

2001
A slicing-based approach for locating type errors.
ACM Trans. Softw. Eng. Methodol., 2001

Change impact analysis for object-oriented programs.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000
Understanding class hierarchies using concept analysis.
ACM Trans. Program. Lang. Syst., 2000

Class Hierarchy Specialization.
Acta Inf., 2000

Extracting library-based object-oriented applications.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Scalable propagation-based call graph construction algorithms.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999
Aggregate Structure Identification and Its Application to Program Analysis.
Proceedings of the POPL '99, 1999

Practical Experience with an Application Extractor for Java.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1998
Dynamic dependence in term rewriting systems and its application to program slicing.
Information & Software Technology, 1998

Reengineering Class Hierarchies Using Concept Analysis.
Proceedings of the SIGSOFT '98, 1998

A Study of Dead Data Members in C++ Applications.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997
Class Hierarchy Specialization.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

A Slicing-Based Approach for Locating Type Errors.
Proceedings of the Conference on Domain-Specific Languages, 1997

1996
Slicing Class Hierarchies in C++.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1995
A survey of program slicing techniques.
J. Prog. Lang., 1995

Generic Techniques for Source-Level Debugging and Dynamic Program Slicing.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Parametric Program Slicing.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993
Origin Tracking.
J. Symb. Comput., 1993

Animators for Generated Programming Environments.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993


  Loading...