PhD Defense of Martin Bodin
Martin Bodin has successfully defended his PhD on “Certified Semantics and Analysis of JavaScript”, covering his work on the formalization of JavaScript in Coq and the development of a framework to systematically derive certified abstract semantics from concrete semantics. [More…]