|
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…
Creation Date
February 01, 2021 Creator 1 First Name
Jonathan Creator 1 Last Name
Protzenko Creator 1 Role
Presenter Language
English Searchable
Yes Searchable On
Cornell Web Search
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20210201
|
|
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…
Content Categories
Presentations Creation Date
December 18, 2020 Creator 1 First Name
Jeff Creator 1 Last Name
Bezanson Creator 1 Role
Presenter Language
English Searchable
Yes Searchable On
Cornell Web Search
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201218
|
|
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…
Creation Date
December 08, 2020 Creator 1 First Name
Adam Creator 1 Last Name
Geller Creator 1 Role
Presenter Language
English Searchable
Yes Searchable On
Cornell Web Search
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201207
|
|
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…
Creation Date
October 23, 2020 Creator 1 First Name
Donald Creator 1 Last Name
Pinckney Creator 1 Role
Presenter Contributing Unit
Computer Science | Department Language
English Searchable
Yes Searchable On
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201023
|
|
|
|
Title: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large WebAssembly modules can…
Creation Date
October 12, 2020 Creator 1 First Name
Thomas Creator 1 Last Name
Lively Creator 1 Role
Presenter Contributing Unit
Computer Science | Department Language
English Searchable
Yes Searchable On
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201012
|
|
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…
|
|
RECORDED LIVE SESSIONSFabricate Day One East Fabricate Day One West ARUP [email protected] Day One East ARUP [email protected] Day One West FABRICATE 2020 is a four-day peer-reviewed…
|
|
|
|
|
|
|
|
Content Categories
Presentations Creation Date
June 14, 2007 Creator 1 First Name
Gregory Creator 1 Last Name
Timp
|
|
|
|
|