José Fragoso Santos presented his paper JaVerT: JavaScript Verification using Separation Logic, jointly authored with Petar Maksimović, Daiva Naudžiūnienė, Thomas Wood and Philippa Gardner, 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.

More videos recorded during the conference are available on the POPL18 YouTube channel.