Language Specifiaction and Program Verification

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

   POPL 2018

2. An Infrastructure for Tractable Verification of JavaScript Programs

   • Daiva Naudziuniene

   Ph.D. Thesis, Imperial College London, 2018

3. Towards Logic-based Verification of JavaScript Programs

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

   Conference on Automated Deduction (CADE) 2017

4. A Trusted Mechanised JavaScript Specification

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

   POPL 2014

5. JuS: Squeezing the Sense out of JavaScript Programs

   • Philipa Gardner
   • Daiva Naudziuniene
   • Gareth Smith

   Tools for JavaScript Analysis (JSTools) @ ECOOP 2013