-
Title: An Indexed Type System for Fast and Safe WebAssembly Speaker: Adam Geller—University of British Columbia Summary: Often in low-level languages (i.e.,…
SOIL Seminar: An Indexed Type System for Fast and…
From Ross Tate
22 plays -
Title: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large…
SOIL Seminar: Decomposing C++ Modules for Fast…
From Ross Tate
72 plays -
Title: Interface Types Introduction and Update Speaker: Luke Wagner—Fastly Summary: The presentation will recap the motivation and requirements for the Interface…
SOIL Seminar: Interface Types Introduction and…
From Ross Tate
63 plays -
Title: Julia Language on WebAssembly: Our Wish List and Experience So Far Speaker: Jeff Bezanson—Julia Computing Summary: Last year a proof-of-concept WASM port of…
SOIL Seminar: Julia Language on WebAssembly: Our…
From Ross Tate
88 plays -
Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build…
SOIL Seminar: Project Everest: Verified Secure…
From Ross Tate
10 plays -
Title: Wasm/k: Delimited Continuations for WebAssembly Speaker: Donald Pinckney—University of Massachusetts, AmherstSummary: WebAssembly is designed to be an…
SOIL Seminar: Wasm/k: Delimited Continuations for…
From Ross Tate
21 plays
Search for ""