Do Machine Learning Models Produce TypeScript Types that Type Check?
Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing programmers to start with imprecise types and gradually strengthen them. However, adding types is a manual effort and several migrations on large, industry codebases have been reported to have taken several years. In the research community, there has been significant interest in using machine learning to automate TypeScript type migration. Existing machine learning models report a high degree of accuracy in predicting individual TypeScript type annotations. However, in this paper we argue that accuracy can be misleading, and we should address a different question: can an automatic type migration tool produce code that passes the TypeScript type checker?
Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change
13:30 - 15:00
|Synthesis-Aided Crash Consistency for Storage Systems|
Jacob Van Geffen Veridise Inc., James Bornholt University of Texas at Austin, Emina Torlak Amazon Web Services and University of Washington, Xi Wang University of WashingtonDOI
|Synthesizing Conjunctive Queries for Code Search|
Chengpeng Wang Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Wensheng Tang Hong Kong University of Science and Technology, Gang Fan Ant Group, Charles Zhang Hong Kong University of Science and TechnologyDOI
|Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution|
Henrique Botelho Guerra INESC-ID and IST, University of Lisbon, João F. Ferreira INESC-ID and IST, University of Lisbon, João Costa Seco NOVA-LINCS; Nova University of LisbonDOI
|Building Code Transpilers for Domain-Specific Languages Using Program Synthesis|
Sahil Bhatia University of California, Berkeley, Sumer Kohli UC Berkeley, Sanjit Seshia UC Berkeley, Alvin Cheung University of California at BerkeleyDOI
|Do Machine Learning Models Produce TypeScript Types that Type Check?|
Research PapersDOI Media Attached File Attached
|Toward Tool-Independent Summaries for Symbolic Execution|
Frederico Ramos Instituto Superior Técnico, Nuno Sabino Instituto Superior Técnico, Carnegie Mellon University, Pedro Adão IST-ULisboa and Instituto de Telecomunicações, David Naumann Stevens Institute of Technology, José Fragoso Santos INESC-ID/Instituto Superior Técnico, PortugalDOI