Alan Schmitt, a researcher in the Celtique team at Inria in Rennes visited the group this week. Alan’s research focuses on the certification of semantics and static analyses, in particular the semantics of JavaScript and analyses based on abstract interpretation.

During his visit, Alan worked with Thomas Wood on JSExplain, a symbolic interpreter and debugger for the JavaScript specification, following on the work Thomas did during his internship at Inria this year. Alan also worked with Thomas Wood, Philippa Gardner, and Petar Maksimović on the generation of tests from the description of a semantics.