Verification

JaVert (POPL 2018)

Paper title: JaVerT: JavaScript verification toolchain

Authors: José Fragoso Santos, Petar Maksimović, Daiva Naudžiunienė, Thomas Wood, Philippa Gardner

JaVert 2.0 (POPL 2019)

Paper title: JaVerT 2.0: Compositional Symbolic Execution for JavaScript

Authors: José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, Philippa Gardner