Search for tag: "assembly"
SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssemblyTitle: 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
10 plays
|
|
SOIL Seminar: Julia Language on WebAssembly: Our Wish List and Experience So FarTitle: 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
88 plays
|
|
SOIL Seminar: An Indexed Type System for Fast and Safe WebAssemblyTitle: 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
22 plays
|
|
SOIL Seminar: Wasm/k: Delimited Continuations for WebAssemblyTitle: 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
21 plays
|
|
SOIL Seminar: Decomposing C++ Modules for Fast Load TimesTitle: 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
70 plays
|
|
Trainings and VRI Talent Tribute - Managers Forum 10/2Mary Opperman, Vice President and Chief Human Resources Officer, outlines a pair of require trainings; Responsbility@Cornell and Diversity Equity and Inclusion at Cornell. She also looks back at the…
From Gerald Deis
15 plays
|
|
Fabricate Day Three VODRECORDED 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
1,090 plays
|
|
Fabricate Day One VODRECORDED 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
3,235 plays
|
|
CNF 30th (2007) "A Tiny Revolution: New Tools for Synthetic Biology" with TimpCNF 30th (2007) "A Tiny Revolution: New Tools for Synthetic Biology" with Gregory Timp, Electrical Engineering and Biological Sciences, University of Notre Dame
From Karlis Musa
22 plays
|
|