@@ -9,12 +9,27 @@ This event is hosted prior to the March 2018 TC39 ECMAScript standards committee
...
@@ -9,12 +9,27 @@ This event is hosted prior to the March 2018 TC39 ECMAScript standards committee
Imperial, and we encourage TC39 members and researchers in the field to attend.
Imperial, and we encourage TC39 members and researchers in the field to attend.
* Date: Monday 19 March 2018
* Date: Monday 19 March 2018
* Time: 10:00-18:00 (Registration, tea & coffee from 9:30)
* 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))
* 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)
* 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)
* 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))
* Evening drinks/food at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly
*[Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
*[Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
*[José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
*[Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
*[Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- Practical Dynamic Symbolic Execution of Standalone JavaScript
*[Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
*[Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
*[Erik Krogh Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
*[Mark S. Miller](https://research.google.com/pubs/author35958.html), Google
## Schedule
## Schedule
* 09:30--10:00 --- Tea, Coffee and Pastries
* 09:30--10:00 --- Tea, Coffee and Pastries
* 10:00--11:30 --- First Session
* 10:00--11:30 --- First Session
...
@@ -24,25 +39,3 @@ Imperial, and we encourage TC39 members and researchers in the field to attend.
...
@@ -24,25 +39,3 @@ Imperial, and we encourage TC39 members and researchers in the field to attend.
*[Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University: Formal Model for WebAssembly
*[Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris: Crypto Protocols in JS & Generating WebAssembly from F*
### Second Session (12:00-13:00)
*[Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London: Holistic Program Specification – Beyond Pre- and Post- Conditions
*[Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software: Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
### Third Session (14:00-16:00)
*[Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes: From JSCert to JSExplain and Beyond
*[Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London: Logic-based Verification of JavaScript Programs
*[Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University: Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
*[Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London: Practical Dynamic Symbolic Execution of Standalone JavaScript
### Fourth Session (16:30-18:00)
*[Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California: Safe Types in Untyped Contexts
*[Erik Krogh Kristensen](https://webbies.dk/), Aarhus University: Testing and Evolving TypeScript Declaration Files with Program Analysis
*[Mark S. Miller](https://research.google.com/pubs/author35958.html), Google
