2018-03-14-formal-methods-meets-js.md

title: Formal Methods Meets JavaScript Workshop

On Monday 19th March, we hosted a day of research talks on Programming Languages Formal Methods researchers on topics including language specification, program verification, etc. with a focus on research relating to the JavaScript language and ecosystem.

This event was organised to coincide with the March 2018 TC39 ECMAScript standards committee meeting at Imperial and thus allow TC39 members and researchers working in the field to meet during an informal workshop.

You can find a list of the speakers and the slides for their talks below

• Avik Chaudhuri, Facebook California -- Safe Types in Untyped Contexts
• Anders Møller, Aarhus University -- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
• Karthik Bhargavan, Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
• Nadim Kobeissi, Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
• Andreas Rossberg, Dfinity -- WebAssembly
• Conrad Watt, Cambridge University -- Adventures in Mechanising and Verifying WebAssembly
• Mark S. Miller, Google -- Verify what? Navigating the Attack Surface
• Erik Krogh Kristensen, Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
• Sophia Drossopoulou, Imperial College London -- [Reasoning for Open Systems]Holistic Program Specification – Beyond Pre- and Post- Conditions
• José Fragoso Santos & Petar Maksimović, Imperial College London -- JS Program Verification
• Johannes Kinder, Royal Holloway, University of London -- Practical Dynamic Symbolic Execution of Standalone JavaScript
• Alan Schmitt, Inria Rennes -- From JSCert to JSExplain and Beyond