skip to main content
10.1145/2993600.2996280acmconferencesArticle/Chapter ViewAbstractPublication PagespldiConference Proceedingsconference-collections
invited-talk

Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond

Published: 24 October 2016 Publication History

Abstract

Flow (https://flowtype.org) is a powerful type checker for JavaScript that we built at Facebook, with significant contributions from the open-source community. It is heavily used for web and mobile development at Facebook.
In this talk we give an overview of the design and implementation of Flow, how it works, and how it can be adapted to do more than type checking in the future.

Cited By

View all
  • (2022)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages10.1145/35633056:OOPSLA2(479-504)Online publication date: 31-Oct-2022
  • (2022)A Typed Lambda Calculus with Gradual Intersection TypesProceedings of the 24th International Symposium on Principles and Practice of Declarative Programming10.1145/3551357.3551382(1-13)Online publication date: 20-Sep-2022
  • (2020)Type Inference for Rank 2 Gradual Intersection TypesTrends in Functional Programming10.1007/978-3-030-47147-7_5(84-120)Online publication date: 11-May-2020
  • Show More Cited By

Index Terms

  1. Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    PLAS '16: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security
    October 2016
    116 pages
    ISBN:9781450345743
    DOI:10.1145/2993600
    Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 24 October 2016

    Check for updates

    Author Tags

    1. javascript
    2. static analysis
    3. type inference

    Qualifiers

    • Invited-talk

    Conference

    CCS'16
    Sponsor:

    Acceptance Rates

    PLAS '16 Paper Acceptance Rate 6 of 11 submissions, 55%;
    Overall Acceptance Rate 43 of 77 submissions, 56%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)10
    • Downloads (Last 6 weeks)2
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages10.1145/35633056:OOPSLA2(479-504)Online publication date: 31-Oct-2022
    • (2022)A Typed Lambda Calculus with Gradual Intersection TypesProceedings of the 24th International Symposium on Principles and Practice of Declarative Programming10.1145/3551357.3551382(1-13)Online publication date: 20-Sep-2022
    • (2020)Type Inference for Rank 2 Gradual Intersection TypesTrends in Functional Programming10.1007/978-3-030-47147-7_5(84-120)Online publication date: 11-May-2020
    • (2017)Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate2017 IEEE Symposium on Security and Privacy (SP)10.1109/SP.2017.26(483-502)Online publication date: May-2017
    • (2017)Conventionality analysis of array objects in JavaScript2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER.2017.7884677(561-562)Online publication date: Feb-2017
    • (2017)Statically Checking Conventionality of Array Objects in JavaScriptTools and Methods of Program Analysis10.1007/978-3-319-71734-0_16(183-195)Online publication date: 30-Dec-2017

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media