Daiva Naudžiūnienė -

Not registered as user yet

Name:Daiva Naudžiūnienė

Affiliation:Imperial College London

Personal website: http://www.doc.ic.ac.uk/~dn911/

Contributions

2018

POPL

Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track
Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track

2015

JSTools

Author of ES5strict -> IVL, Principled Translation using Operational Semantics within the JSTools-track