|
University Assembly Meeting May 10 2022
|
|
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…
|
|
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…
|
|
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…
|
|
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…
|
|
|
|
Title: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large WebAssembly modules can…
|
|
Mary Opperman, Vice President and Chief Human Resources Officer, outlines a pair of require trainings; [email protected] and Diversity Equity and Inclusion at Cornell. She also looks back at the…
|
|
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…
|
|
|
|
|
|
|
|
|
|
|
|
|