Verified Software

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

Group Publications

1. JSExplain: a Double Debugger for JavaScript

   • Arthur Charguéraud
   • Alan Schmitt
   • Thomas Wood

   WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France

2. 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

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

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

   Proceedings of the 27^th International Conference on Computer Aided Verification (CAV’15), pp. 3–10