A Trusted Mechanised Specification of JavaScript: One Year On. - Philippa Gardner; Gareth Smith; Conrad Watt; Thomas Wood 001 (CAV (1), 2015)

JSExplain: A Double Debugger for JavaScript. - Arthur Charguéraud; Alan Schmitt; Thomas Wood 001 (WWW (Companion Volume), 2018)

JaVerT: JavaScript verification toolchain. - José Fragoso Santos; Petar Maksimovic 001; Daiva Naudziuniene; Thomas Wood 001; Philippa Gardner (Proc. ACM Program. Lang., 2018)