Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Wed 22 Oct 2014 10:30 - 10:52 at Salon E - Program Analysis and the Web Chair(s): Stephen Chong

The TypeScript programming language adds optional types to JavaScript, with support for interaction with existing JavaScript libraries via interface declarations. Such declarations have been written for hundreds of libraries, but they can be difficult to write and often contain errors, which may affect the type checking and misguide code completion for the application code in IDEs.

We present a pragmatic approach to check correctness of TypeScript declaration files with respect to JavaScript library implementations. The key idea in our algorithm is that many declaration errors can be detected by an analysis of the library initialization state combined with a light-weight static analysis of library function code.

Our experimental results demonstrate the effectiveness of the approach: it has found 142 errors in the declaration files of 10 libraries, with an analysis time of a few minutes per library and with a low number of false positives. Our analysis of how programmers use library interface declarations furthermore reveals some practical limitations of the TypeScript type system.

Wed 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: OOPSLA - Program Analysis and the Web at Salon E
Chair(s): Stephen ChongHarvard University
oopsla201410:30 - 10:52
Asger FeldthausAarhus University, Anders MøllerAarhus University
Link to publication
oopsla201410:52 - 11:15
Esben AndreasenAarhus University, Anders MøllerAarhus University
Link to publication
oopsla201411:15 - 11:37
Michael PradelUniversity of California, Berkeley, USA, Parker SchuhUniversity of California, Berkeley, George NeculaUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
Link to publication
oopsla201411:37 - 12:00
Chun-Hung HsiaoUniversity of Michigan, Michael CafarellaUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication