Daiva Naudziuniene

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Provably Correct

Face Verification

Top Venues

Proc. ACM Program. Lang.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner
JaVerT: JavaScript verification toolchain. Proc. ACM Program. Lang. 2 (POPL) (2018)
José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene
Towards Logic-Based Verification of JavaScript Programs. CADE (2017)
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
A trusted mechanised JavaScript specification. POPL (2014)
Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson
jStar-eclipse: an IDE for automated verification of Java programs. SIGSOFT FSE (2011)