Verified Software

Daiva defended her PhD on An Infrastructure for Tractable Verification of JavaScript Programs in March 2018.

Since 2017, Daiva has been working as a Research Scientist at Facebook as part of the engineering team led by Peter O’Hearn.

Group Publications

1. JaVerT: JavaScript Verification Toolchain

   • José Fragoso Santos
   • Petar Maksimovic
   • Daiva Naudziuniene
   • Thomas Wood
   • Philippa Gardner

   Proceedings of the 45^th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’18), pp. 50:1–50:33

2. An Infrastructure for Tractable Verification of JavaScript Programs

   • Daiva Naudziuniene

   Ph.D. Thesis, Imperial College London

3. Towards Logic-based Verification of JavaScript Programs

   • José Fragoso Santos
   • Philippa Gardner
   • Petar Maksimovic
   • Daiva Naudziuniene

   Proceedings of 26^th Conference on Automated Deduction (CADE 26)

4. A Trusted Mechanised JavaScript Specification

   • Martin Bodin
   • Arthur Charguéraud
   • Daniele Filaretti
   • Philippa Gardner
   • Sergio Maffeis
   • Daiva Naudziuniene
   • Alan Schmitt
   • Gareth Smith

   Proceedings of the 41^st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), pp. 87–100

5. JuS: Squeezing the Sense out of JavaScript Programs

   • Philipa Gardner
   • Daiva Naudziuniene
   • Gareth Smith

   2nd Annual Workshop on Tools for JavaScript Analysis (JSTools ’13)