Tue 16 Jun 2015 14:50 - 15:15 at PLDI Main RED (Portland 256) - Semantics I Chair(s): Hans-J. Boehm

This paper presents KJS, the most complete and throughly tested formal semantics of JavaScript to date. Being executable, KJS has been tested against the ECMAScript 5 conformance test suite, and passes all 2,782 core language tests. Among the existing implementations of JavaScript, only Chrome’s passes all the tests, and no other semantics passes more than 90%. In addition to a reference implementation for JavaScript, KJS also yields a simple coverage metric for a test suite: the set of semantic rules it exercises. Our semantics revealed that the ECMAScript 5 conformance test suite fails to cover several semantic rules. Guided by the semantics, we wrote tests to exercise those rules. The new tests revealed bugs both in production JavaScript engines (Chrome, Safari, Firefox) and in other semantics. KJS is symbolically executable, thus it can be used for formal analysis and verification of JavaScript programs. We verified non-trivial programs and found known security vulnerabilities.

PLDI 2015 Artifact Evaluated Badge

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

14:00 - 15:40: Semantics IResearch Papers at PLDI Main RED (Portland 256)
Chair(s): Hans-J. BoehmGoogle
14:00 - 14:25
Talk
Research Papers
Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, William ManskyUniversity of Pennsylvania, Dmitri GarbuzovUniversity of Pennsylvania, Steve Zdancewic, Viktor VafeiadisMPI-SWS, Germany
Media Attached
14:25 - 14:50
Talk
Research Papers
Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Media Attached
14:50 - 15:15
Talk
Research Papers
Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Media Attached
15:15 - 15:40
Talk
Research Papers
James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Media Attached