Search for tag: "assembly"

SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly

Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified…

From  Ross Tate on February 1st, 2021 9 plays

SOIL Seminar: Julia Language on WebAssembly: Our Wish List and Experience So Far

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 the Julia run-time was…

From  Ross Tate on December 26th, 2020 17 plays

SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly

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., assembly languages), potentially…

From  Ross Tate on December 7th, 2020 16 plays

SOIL Seminar: Wasm/k: Delimited Continuations for WebAssembly

Title: Wasm/k: Delimited Continuations for WebAssembly Speaker: Donald Pinckney—University of Massachusetts, AmherstSummary: WebAssembly is designed to be an alternative to JavaScript that is a…

From  Ross Tate on October 23rd, 2020 16 plays

SOIL Seminar: Decomposing C++ Modules for Fast Load Times

Title: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large WebAssembly modules can…

From  Ross Tate on October 12th, 2020 65 plays

Fabricate Day Three VOD

RECORDED LIVE SESSIONSFabricate Day Three EastFabricate Day Three West FABRICATE 2020 is a four-day peer-reviewed international online conference and book, with supporting events, exploring the…

From  Andre Hafner on September 8th, 2020 1,026 plays

Fabricate Day One VOD

RECORDED LIVE SESSIONSFabricate Day One East Fabricate Day One West ARUP AFTER@FABRICATE2020 Day One East ARUP AFTER@FABRICATE2020 Day One West FABRICATE 2020 is a four-day peer-reviewed…

From  Andre Hafner on September 8th, 2020 3,044 plays

CNF 30th - A Tiny Revolution: New Tools for Synthetic Biology

From  Karlis Musa on February 19th, 2020 8 plays