Semantics

KJS (PLDI 2015)

Paper title: KJS: A Complete Formal Semantics of JavaScript

Authors: Daejun Park, Andrei Stefanescu, Grigore Rosu

The Essence of JavaScript (ECOOP 2010)

Paper title: The Essence of JavaScript

Authors: Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi

Tested Semantics (DLS 2012)

Paper title: A Tested Semantics for Getters, Setters, and Eval in JavaScript

Authors: Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi

JISET (ASE 2020)

Paper title: JISET: JavaScript IR-based Semantics Extraction Toolchain

Authors: Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu