Language Specifiaction and Program Verification

Thomas was a PhD student with the group, working on software automated testing, verification and reasoning techniques and theory.

Group Publications

1. JaVerT: JavaScript Verification Toolchain

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

   POPL 2018

2. JSExplain: a Double Debugger for JavaScript

   • Arthur Charguéraud
   • Alan Schmitt
   • Thomas Wood

   Companion Proceedings of The Web Conference (WWW) 2018

3. A Trusted Mechanised Specification of JavaScript: One Year On

   • Philippa Gardner
   • Gareth Smith
   • Conrad Watt
   • Thomas Wood

   CAV 2015