Lorenz Leutgeb

Lorenz Leutgeb
Zur Meetup-Seite


Talks:

Towards Verified Compilation of CakeML to WebAssembly

Towards Verified Compilation of CakeML to WebAssembly
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, ...