Update 2018-01-12-popl.md

26f72e29 · Teresa Carbajo-Garcia · aefe73c9 · 26f72e29
Commit 26f72e29 authored 7 years ago by Teresa Carbajo-Garcia
--- a/_posts/2018-01-12-popl.md
+++ b/_posts/2018-01-12-popl.md
@@ -3,8 +3,8 @@ 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/) 
-and [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 
+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 
 of Programming Languages [(POPL 2018)](https://popl18.sigplan.org/).

 The paper introduces JaVerT a semi-automatic verification tool chain for JavaScript