diff --git a/_posts/2016-09-26-popl.md b/_posts/2016-09-26-popl.md
new file mode 100644
index 0000000000000000000000000000000000000000..09407932790a0bb82844d385917d5c2a5513a7e1
--- /dev/null
+++ b/_posts/2016-09-26-popl.md
@@ -0,0 +1,11 @@
+---
+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!