JSCert: Certified JavaScript
Table of Contents
body
In January 2014, Gareth presented the JSCert project and paper at POPL. A video will be available shortly, and the slides are here.
In August 2013, Philippa presented the JSCert semantics at Mozilla in California. You can watch that talk here, and follow along with the slides here.
In January 2012, Gareth presented a JavaScript program logic at Mozilla. You can watch that talk here, and follow along with the slides here