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 – Verifying Cryptographic Web Applications
• Nadim Kobeissi, Inria Paris & Symbolic Software – Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
• Andreas Rossberg, Dfinity – Neither Web nor Assembly
• 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
• Petar Maksimović, Imperial College London – Logic-based Verification of JavaScript Programs
• Johannes Kinder, Royal Holloway, University of London – Practical Dynamic Symbolic Execution of Standalone JavaScript
• Alan Schmitt, Inria Rennes – From JSCert to JSExplain and Beyond