On Monday 19th March, we're hosting a day of research talks on Programming Languages Formal Methods
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 is hosted prior to the March 2018 TC39 ECMAScript standards committee meeting at
Imperial, and we encourage TC39 members and researchers in the field to attend.
This event was organised to coincide with the March 2018 TC39 ECMAScript standards committee meeting at
Imperial to allow TC39 members and researchers working in the field to meet as part of an informal workshop.
You can find a list of the speaers and their and slides below
Spekers
* Date: Monday 19 March 2018
* Time: 10:00--18:00 (Registration, tea & coffee from 9:30)
* Location: Pippard Lecture Theatre, 5th Floor, Sherfield Building, Imperial College London ([Building 20 on the campus map](https://www.imperial.ac.uk/media/imperial-college/visit/public/SouthKensingtonCampus.pdf))
* Organisers: [Prof. Philippa Gardner](https://www.doc.ic.ac.uk/~pg/)(Imperial College London), [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/)(Inria, France)
* Registration: free, open to all interested, [Registration Form](https://goo.gl/forms/DM3UxMiVLfOwL5xO2)
* Evening drinks/food at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
## Schedule
* 09:30--10:00 --- Tea, Coffee and Pastries
* 10:00--11:00 --- First Session
*[Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
*[Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
* 11:00--11:30 --- Refreshment Break
* 11:30--13:00 --- Second Session
*[Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
*[Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly
* 13:00--14:00 --- Lunch in Huxley Building Room 218, ask an attendee from Imperial to show the way.
* 14:00--15:30 --- Third Session
*[Mark S. Miller](https://research.google.com/pubs/author35958.html), Google -- Verify what? Navigating the Attack Surface
*[Erik Krogh Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
*[Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions
* 15:30--16:00 --- Refreshment Break
* 16:00--18:00 --- Fourth Session
*[José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
*[Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- Practical Dynamic Symbolic Execution of Standalone JavaScript
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
* 18:00 --- Food/drinks at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
