Towards Verified Compilation of CakeML to WebAssembly

This talk was given at ViennaJS November 2018 by Lorenz Leutgeb.

WebAssembly should already be on your radar. I will approach it from formal methods and compilers, sharing my progress and challenges towards verified compilation of CakeML to WebAseembly. You'll not see much Javascript, but plain WebAssembly, some Higher Order Logic, and maybe CakeML.