Philippa Gardner was invited to give a talk about JavaScript Verification at the TC39 – ECMAScript Task group standards committee meeting held at Google, New York, this May.

Philippa gave a talk entitled: “Towards Trustworthy Verification of JavaScript” at the Visions for the future of ECMAScript / Emerging technologies session of the meeting. The TC39 Task Group oversees the standardization of the general purpose, cross platform, vendor-neutral ECMAScript (JavaScript) programming language. This includes the language syntax, semantics, and libraries and complementary technologies that support the language.