ViennaJS November 2018

Bring your Minitalks! Everybody is welcome & feel free to share this invitation!


Wednesday, 28th November 2018 at 7pm


Pater-Schwartz-Gasse 11A
1150 Vienna
Via Public Transportation: U6 Gumpendorfer Strasse


We are currently looking for sponsors to cover free beer and maybe free pizza.
Contact us at


Async/await in JS

By Ondrej Zara

Selected by community request – This talk will explain how ES2017 async/await works with respect to older approaches and non-blocking code. We will see how this integrates into legacy codebases, what problems need to be dealt with and how to transpile the stuff for older browsers.

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, some Higher Order Logic, and maybe CakeML.

V8-GC-optimizations for WeakMaps

By Dominik Inführ

Describe/explain GC-optimizations on V8 for WeakMaps I did in my internship in the V8 team in Munich.