Paper accepted at POPL 2018

Philippa Gardner, José Fragoso Santos, 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, entitled JaVerT: JavaScript Verification using Separation Logic introduces JaVerT a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon!