Thomas Wood

According to our database, Thomas Wood authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

JaVerT: JavaScript verification toolchain.

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

Proc. ACM Program. Lang., 2018

JSExplain: A Double Debugger for JavaScript.

Arthur Charguéraud, Alan Schmitt, Thomas Wood

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

2015

A Trusted Mechanised Specification of JavaScript: One Year On.

Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood

Proceedings of the Computer Aided Verification - 27th International Conference, 2015