Add new file

_posts/2018-01-12-popl.md

+--
+title: Paper presented at POPL18
+---
+The paper JaVerT: JavaScript Verification using Separation Logic, jointly authored 
+by Jose Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė 
+and Thomas Wood was presented at this year’s ACM SIGPLAN Symposium on Principles 
+of Programming Languages (POPL 2018).
+The paper introduces JaVerT a semi-automatic verification tool chain for JavaScript 
+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>
\ No newline at end of file