From e5283303222f190741e66c0304a2c983ebc574a2 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 31 Jan 2018 15:23:08 +0000 Subject: [PATCH] Update 2018-01-12-popl.md --- _posts/2018-01-12-popl.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/_posts/2018-01-12-popl.md b/_posts/2018-01-12-popl.md index 1ac2f4d..97f9bb8 100644 --- a/_posts/2018-01-12-popl.md +++ b/_posts/2018-01-12-popl.md @@ -2,13 +2,14 @@ title: Paper presented at POPL18 --- -The paper [JaVerT: JavaScript Verification using Separation Logic](https://psvg.doc.ic.ac.uk/publications/FragosoSantos2018JaVerT.html), jointly authored -by [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/), -[Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/), was presented at this year’s ACM SIGPLAN Symposium on Principles +[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) prsented his paper +[JaVerT: JavaScript Verification using Separation Logic](https://psvg.doc.ic.ac.uk/publications/FragosoSantos2018JaVerT.html), jointly authored +with [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/), +[Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/) and [Philippa Gardner](https://www.doc.ic.ac.uk/~pg/), at this year’s ACM SIGPLAN Symposium on Principles of Programming Languages [(POPL 2018)](https://popl18.sigplan.org/). The paper introduces JaVerT a semi-automatic verification tool chain for JavaScript -based on separation logic and you can see a video of the presentation below. +based on separation logic. <div style="position:relative;height:0;padding-bottom:56.25%"><iframe src="https://www.youtube.com/embed/HDf5PC0bzzo?ecver=2" style="position:absolute;width:100%;height:100%;left:0" width="640" height="360" frameborder="0" allow="autoplay; encrypted-media" allowfullscreen></iframe></div> -- GitLab