A forum for developers of and researchers of low-level languages to exchange thoughts, projects, updates, and questions.
…Read more
Less…
-
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…
-
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…
-
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…
-
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…
-
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…
-
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…
Search for ""