Update 2018-01-12-popl.md

_posts/2018-01-12-popl.md

@@ -2,7 +2,7 @@
 title: Paper presented at POPL18
 ---
 
-[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) prsented his paper 
+[José Fragoso Santos](https://psvg.doc.ic.ac.uk/people/fragoso-santos.html) presented 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