Semantics
==========

KJS (PLDI 2015)
^^^^^^^^^^^^^^^^^^

*Paper title:* `KJS: A Complete Formal Semantics of JavaScript <https://dl.acm.org/doi/pdf/10.1145/2737924.2737991>`__

*Authors:* Daejun Park, Andrei Stefanescu, Grigore Rosu


The Essence of JavaScript (ECOOP 2010)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

*Paper title:* `The Essence of JavaScript <https://link.springer.com/chapter/10.1007/978-3-642-14107-2_7>`__

*Authors:* Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi



Tested Semantics (DLS 2012)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

*Paper title:*  `A Tested
Semantics for Getters, Setters, and Eval in JavaScript <https://dl.acm.org/doi/pdf/10.1145/2384577.2384579>`__

*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 <https://dl.acm.org/doi/pdf/10.1145/3324884.3416632>`__

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