Add Chargueraud2018JSExplain

publications.bib

@@ -1516,6 +1516,26 @@ more complex code using JaVerT is feasible.
   with the execution of code that must be dynamically checked.},
 }
 
+@InProceedings{Chargueraud2018JSExplain,
+  author    = {Arthur Charguéraud and Alan Schmitt and Thomas Wood},
+  title     = {JSExplain: a Double Debugger for JavaScript},
+  booktitle = {WWW '18 Companion: The 2018 Web Conference Companion, April 23--27, 2018, Lyon, France},
+  year      = {2018},
+  month     = apr,
+  publisher = {ACM},
+  abstract  = {We present JSExplain, a reference interpreter for JavaScript that closely
+follows the specification and that produces execution traces.
+These traces may be interactively investigated in a browser, with an
+interface that displays not only the code and the state of the interpreter,
+but also the code and the state of the interpreted program.
+Conditional breakpoints may be expressed with respect to both the interpreter
+and the interpreted program. In that respect, JSExplain is a double-debugger
+for the specification of JavaScript.},
+  doi       = {10.1145/3184558.3185969},
+  file      = {:Chargueraud2018JSExplain.pdf:PDF},
+  project   = {web},
+}
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;