Add new file

_posts/2016-09-26-popl.md

+---
+title: Paper accepted at POPL 2018
+---
+[José Fragoso Santos]9https://psvg.doc.ic.ac.uk/people/fragoso-santos.html), [Philippa Gardner]9https://www.doc.ic.ac.uk/~pg/), 
+[Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/) 
+and [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/), have had a paper accepted at this year’s ACM SIGPLAN Symposium on Principles of Programming Languages 
+[(POPL 2018)](https://popl18.sigplan.org/).
+
+The paper is entitled JaVerT: JavaScript Verification using Separation Logic and introduces 
+[JaVerT], (http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert ) 
+a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon!