Search for tag: "memory"

10-3 Review Session

Zoom Recording ID: 96965091159 UUID: Pht05PdGSQiCSKZ5f3JX6w== Meeting Time: 2021-10-03T20:31:06Z

From  Jake Lopez 19 plays

David Levinthal Lecture

From  Jennifer Todd 13 plays

M&I Special Seminar Colleen Lau - June 24, 2021

Zoom Recording ID: 99672757875 UUID: 0wzsQ1mcSVGH9U0LK6tdJw== Meeting Time: 2021-06-24T13:46:02Z

From  Jackie Creque 10 plays

CEE/EM Graduate Student Commencement Ceremony

Zoom Recording ID: 95481220563 UUID: hsLxRTepT9+/2MlDUEoFiA== Meeting Time: 2021-05-28T15:27:33Z

From  Tania Sharpsteen 15 plays

Diversity Includes Disability: Interview with Laurel Gromatsky

At Cornell, Diversity includes Disability. Laurel Gromatsky graciously shares her story. We have resources and programs to support staff and faculty with visible and invisible disabilities. We…

From  Gerald Deis 11 plays

Visit Day - Systems and Networking, Databases, and Security

From  Jake Lopez 9 plays

How cultural evolution has shaped language to fit the brain

This is the first talk in the 41st Annual Distinguished Scholar Lecture Series —How Does Language Work? Insights from Evolution, Acquisition and Processing — delivered by Dr. Morten H.…

From  Morten Christiansen 15 plays

Morten H. Christiansen - Rethinking Statistical Learning

Rethinking Statistical Learning is a colloquium that Dr. Morten Christiansen delivered to the Departments of Psychology and Human Development on December 4, 2020. It discusses current issues with…

From  Morten Christiansen 60 plays

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 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 41 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 16 plays

CS 6120: Lesson 13: Concurrency & Parallelism

Music: https://www.bensound.comStock footage: https://www.videvo.net

From  Adrian Sampson 327 plays

Lesson 28.1 Iterators

We are familiar with iterables, types that we can use in a for-loop. In this video we introduce the iterator. This is a type that can be used in a for-loop, but we can also manually step through the…

From  Hannah Lee 44 plays

CS 6120: Lesson 11: Tracing via Speculation

From  Adrian Sampson 154 plays

SOIL Seminar: Interface Types Introduction and Update

Title: Interface Types Introduction and Update Speaker: Luke Wagner—Fastly Summary: The presentation will recap the motivation and requirements for the Interface Types proposal as well as the…

From  Ross Tate 59 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 17 plays