EdLambda 11th September: From WebAssembly to Native Code via the OCaml Backend

[Rob Stewart]

Hi all,

After some time off, EdLambda returns.

We're return to The Outhouse pub. 6:45pm for 7pm start upstairs, Tuesday 11th September. https://goo.gl/maps/BdSsLRkehWQ2

Speaker: Simon Fowler, University of Edinburgh
Title: cmm_of_wasm: From WebAssembly to Native Code via the OCaml Backend

Abstract

WebAssembly is a low-level yet platform-independent language designed
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 in web browsers. As the WebAssembly specification evolves
to incorporate new features such as garbage collection and threads,
and with plans to support more advanced features such as handlers for
algebraic effects on the horizon, it becomes important to prototype
new features without having to modify complex browser code.

In 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 which
arise both due to the design of WebAssembly and the choice of CMM as
a compilation target, and discuss a roadmap for future work.

[Rob Stewart]

Hi all,

A reminder about tomorrow night's (Tuesday) EdLambda meetup at 7pm in The Outhouse pub.

Speaker: Simon Fowler, University of Edinburgh
Title: cmm_of_wasm: From WebAssembly to Native Code via the OCaml Backend

--

Rob

---------- Forwarded message ---------
From: Rob Stewart <robste...@gmail.com>
Date: Mon, 20 Aug 2018 at 19:44
Subject: EdLambda 11th September: From WebAssembly to Native Code via the OCaml Backend
To: <edla...@googlegroups.com>

Hi all,

After some time off, EdLambda returns.

We return to The Outhouse pub. 6:45pm for 7pm start upstairs, Tuesday 11th September. https://goo.gl/maps/BdSsLRkehWQ2