BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: cmm_of_wasm: From WebAssembly to Native Code via the OCaml Backen
 d - Simon Fowler
DTSTART:20180724T121500Z
DTEND:20180724T124500Z
UID:TALK107794@talks.cam.ac.uk
CONTACT:Gemma Gordon
DESCRIPTION:WebAssembly is a low-level yet platform-independent language d
 esigned to replace JavaScript as a compilation target for web applications
 . WebAssembly has been billed as "Neither Assembly\, nor just for the Web"
 \, but the main production implementations are JIT compilers implemented i
 n web browsers. As the WebAssembly specification evolves to incorporate ne
 w features such as garbage collection and threads\, and with plans to supp
 ort more advanced features such as handlers for algebraic effects on the h
 orizon\, it becomes important to prototype new features without having to 
 modify complex browser code.\n\nIn this talk\, I will describe cmm_of_wasm
 \, a feature-complete ahead-of-time compiler which compiles WebAssembly to
  native code via a translation to OCaml's CMM intermediate representation.
  I will give a tutorial introduction to WebAssembly\, discuss challenges w
 hich arise both due to the design of WebAssembly and the choice of CMM as 
 a compilation target\, and discuss a roadmap for future work.
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR