BibSLEIGH — Frank

Travelled to:

1 × China
1 × Croatia
1 × Denmark
1 × France
1 × Hungary
1 × Italy
1 × Norway
1 × Slovenia
1 × South Africa
1 × Sweden
1 × United Kingdom
2 × Germany
2 × Spain
2 × Switzerland
2 × The Netherlands
22 × USA
3 × Canada

Collaborated with:

J.Dolby B.G.Ryder P.F.Sweeney M.Sridharan M.Vaziri ∅ M.Schäfer J.Field G.Snelting O.Lhoták X.Ren J.Wloka S.Artzi A.Møller A.Kiezun M.Madsen G.Ramalingam R.M.Fuhrer C.Hammer C.Q.Adamsen M.Rapoport M.Pistoia M.Störzer J.Palsberg T.B.Dinesh S.Alimadadi O.C.Chesley A.Feldthaus M.D.Ernst J.Vitek T.D.Millstein S.Chandra I.Balaban B.D.Sutter D.Bäumer C.S.Gordon S.Fink D.Wasserrab T.Nipkow C.Laffra D.Streeter J.Choi Di Zhong Marija Selakovic M.Pradel R.Karim K.Ali S.H.Jensen M.F.II A.Luchansky E.Torlak M.Keller F.Shah D.Marino H.Samimi L.J.Hendren E.Andreasen S.C.0001 K.Sen D.Dig A.M.Paradkar J.Jeannin C.Schlesinger Y.Choi

Talks about:

applic (14) program (13) javascript (10) analysi (10) type (10) java (10) refactor (9) use (8) dynam (7) class (7)

Person: Frank Tip

DBLP: Tip:Frank

Facilitated 4 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

2018

1995

2016

2017

2018

Wrote 57 papers:

OOPSLA-2015-MadsenTL #javascript #static analysis: Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
SAS-2015-RapoportLT #analysis #correlation #data flow #precise: Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.
ECOOP-2014-AliRLDT #graph #scala #source code: Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
ICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance: Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
ICSE-2013-MarinoHDVTV #concurrent #detection #source code: Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
PLDI-2013-SchaferSDT #analysis: Dynamic determinacy analysis (MS, MS, JD, FT), pp. 165–174.
ECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to: Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using: Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web: A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
ICSE-2011-SchaferSDT #flexibility #java #refactoring #source code: Refactoring Java programs for flexible locking (MS, MS, JD, FT), pp. 71–80.
OOPSLA-2011-FeldthausMMST #javascript #refactoring: Tool-supported refactoring for JavaScript (AF, TDM, AM, MS, FT), pp. 119–138.
PASTE-2011-FisherWTRL #evaluation #test coverage: An evaluation of change-based coverage criteria (MFI, JW, FT, BGR, AL), pp. 21–28.
TOOLS-EUROPE-2011-Tip #debugging #web: Finding and Fixing Bugs in Web Applications (FT), p. 2.
ECOOP-2010-SchaferDSTT #concurrent #java #refactoring: Correct Refactoring of Concurrent Java Code (MS, JD, MS, ET, FT), pp. 225–249.
ECOOP-2010-VaziriTDHV #type system: A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.
ICSE-2010-ArtziDTP #fault #locality #web: Practical fault localization for dynamic web applications (SA, JD, FT, MP), pp. 265–274.
ISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing: Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
ESEC-FSE-2009-WlokaST #refactoring: Refactoring for reentrancy (JW, MS, FT), pp. 173–182.
ICSE-2009-WlokaRT #named #testing: JUnitMX — A change-aware unit testing tool (JW, BGR, FT), pp. 567–570.
ICSE-2009-WlokaRTR #analysis #development: Safe-commit analysis to facilitate team software development (JW, BGR, FT, XR), pp. 507–517.
ICSE-2008-HammerDVT #detection: Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
ISSTA-2008-ArtziKDTDPE #debugging #web: Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
ECOOP-2007-VaziriTFD #declarative #using: Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.
ESEC-FSE-2007-DolbyVT #debugging #satisfiability: Finding bugs efficiently with a SAT solver (JD, MV, FT), pp. 195–204.
ICSE-2007-ChesleyRRT #fault #java #locality #source code: Crisp- A Fault Localization Tool for Java Programs (OCC, XR, BGR, FT), pp. 775–779.
ICSE-2007-KiezunETF #java #refactoring: Refactoring for Parameterizing Java Classes (AK, MDE, FT, RMF), pp. 437–446.
SAS-2007-Tip #constraints #refactoring #using: Refactoring Using Type Constraints (FT), pp. 1–17.
FSE-2006-StorzerRRT #classification #java #source code #using: Finding failure-inducing changes in java programs using change classification (MS, BGR, XR, FT), pp. 57–68.
OOPSLA-2006-WasserrabNST #c++ #inheritance #multi #semantics #type safety: An operational semantics and type safety prooffor multiple inheritance in C++ (DW, TN, GS, FT), pp. 345–362.
POPL-2006-VaziriTD #constraints #object-oriented: Associating synchronization constraints with data in an object-oriented language (MV, FT, JD), pp. 334–345.
ECOOP-2005-FuhrerTKDK #java #library #refactoring: Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.
ICSE-2005-RenRST #impact analysis #java #named #source code: Chianti: a change impact analysis tool for java programs (XR, BGR, MS, FT), pp. 664–665.
OOPSLA-2005-BalabanTF #library #migration #refactoring: Refactoring support for class library migration (IB, FT, RMF), pp. 265–279.
ECOOP-2004-SutterTD #constraints #java #library #using: Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.
OOPSLA-2004-RenSTRC #impact analysis #java #named #source code: Chianti: a tool for change impact analysis of java programs (XR, FS, FT, BGR, OCC), pp. 432–448.
OOPSLA-2003-TipKB #constraints #refactoring #using: Refactoring for generalization using type constraints (FT, AK, DB), pp. 13–26.
ECOOP-2002-SneltingT #composition #semantics: Semantics-Based Composition of Class Hierarchies (GS, FT), pp. 562–584.
PASTE-2001-RyderT #impact analysis #object-oriented #source code: Change impact analysis for object-oriented programs (BGR, FT), pp. 46–53.
FSE-2000-SweeneyT #object-oriented: Extracting library-based object-oriented applications (PFS, FT), pp. 98–107.
OOPSLA-2000-TipP #algorithm #graph #scalability: Scalable propagation-based call graph construction algorithms (FT, JP), pp. 281–293.
OOPSLA-1999-TipLSS #experience #java: Practical Experience with an Application Extractor for Java (FT, CL, PFS, DS), pp. 292–305.
POPL-1999-RamalingamFT #identification #program analysis: Aggregate Structure Identification and Its Application to Program Analysis (GR, JF, FT), pp. 119–132.
FSE-1998-SneltingT #concept analysis #re-engineering #using: Reengineering Class Hierarchies Using Concept Analysis (GS, FT), pp. 99–110.
PLDI-1998-SweeneyT #c++ #case study: A Study of Dead Data Members in C++ Applications (PFS, FT), pp. 324–332.
ASF+SDF-1997-DineshT #approach #case study #fault: A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.
OOPSLA-1997-TipS: Class Hierarchy Specialization (FT, PFS), pp. 271–285.
OOPSLA-1996-TipCFR #c++ #slicing: Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
POPL-1995-FieldRT #parametricity #slicing: Parametric Program Slicing (JF, GR, FT), pp. 379–392.
PLILP-1994-FieldT #dependence #slicing #term rewriting: Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing (JF, FT), pp. 415–431.
ESEC-FSE-2018-AdamsenMAT #ajax #concurrent #detection #javascript #web: Practical AJAX race detection for JavaScript web applications (CQA, AM, SA, FT), pp. 38–48.
TAPSOFT-1995-Tip #debugging #slicing: Generic Techniques for Source-Level Debugging and Dynamic Program Slicing (FT), pp. 516–530.
ECOOP-2016-AndreasenGCSTS #approach #type system: Trace Typing: An Approach for Evaluating Retrofitted Type Systems (EA, CSG, SC0, MS, FT, KS), p. 26.
OOPSLA-2016-ChandraGJSSTC #compilation #javascript #type inference: Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
OOPSLA-2017-AdamsenMT #concurrent #detection #javascript #web: Practical initialization race detection for JavaScript web applications (CQA, AM, FT), p. 22.
OOPSLA-2017-MadsenLT #javascript #reasoning: A model for reasoning about JavaScript promises (MM, OL, FT), p. 24.
OOPSLA-2018-AlimadadiZMT #javascript #source code: Finding broken promises in asynchronous JavaScript programs (SA, DZ, MM, FT), p. 26.
OOPSLA-2018-SelakovicPKT #generative #higher-order #testing: Test generation for higher-order functions in dynamic languages (MS, MP, RK, FT), p. 27.