José Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė and Thomas Wood, have had a paper accepted at this year’s ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).

The paper is entitled JaVerT: JavaScript Verification using Separation Logic and introduces JaVerT a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon!