This program is tentative and subject to change.

Mon 13 Jun 2022 13:30 - 15:00 at Tutorials 1 - (Tutorial) JISET Part I
Mon 13 Jun 2022 15:30 - 16:30 at Tutorials 1 - (Tutorial) JISET Part II

Since 2015, the JavaScript language has rapidly evolved with a yearly release cadence and open development process. As a result, it makes the gap between the language specification written in English and tools, such as parsers, interpreters, and static analyzers. Therefore, language designers and tool developers for JavaScript suffer from manually filling the gap between them. JISET and its extensions lessen the burden by automatically extracting a mechanized specification from the language specification for JavaScript.


In this tutorial, we introduce three tools in the JISET family and demonstrate how they fill the gap between the language specification and tools:

We explain how to extract a mechanized specification from the language specification using JISET, a JavaScript IR-based Semantics Extraction Toolchain.

We explain how to synthesize conformance test programs and detect conformance bugs in both JavaScript engines and specifications using JEST, a JavaScript Engine and Specification Tester.

We explain how to analyze specification types and detect type-related bugs in the language specification using JSTAR, a JavaScript Specification Type Analyzer with Refinement.

This program is tentative and subject to change.

Mon 13 Jun

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
(Tutorial) JISET Part ITutorials at Tutorials 1
13:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST
15:30 - 16:30
(Tutorial) JISET Part IITutorials at Tutorials 1
15:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu KAIST, Jihyeok Park Oracle Labs, Australia, Seungmin An KAIST