Thomas Wood

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Programming Concepts

Top Venues

Proc. ACM Program. Lang.

WWW (Companion Volume)

Publications

Arthur Charguéraud, Alan Schmitt, Thomas Wood
JSExplain: A Double Debugger for JavaScript. WWW (Companion Volume) (2018)
José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner
JaVerT: JavaScript verification toolchain. Proc. ACM Program. Lang. 2 (POPL) (2018)
Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood
A Trusted Mechanised Specification of JavaScript: One Year On. CAV (1) (2015)