|
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.…
Content Categories
Lectures Creation Date
September 19th, 2018 Creator 1 First Name
Morten Creator 1 Last Name
Christiansen Creator 1 Role
Lecturer Creator 1 NetID
mhc27 Contributing Unit
Psychology | Department Language
English Searchable
Yes
|
|
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…
Content Categories
Lectures Creation Date
December 4th, 2020 Creator 1 First Name
Morten Creator 1 Last Name
Christiansen Creator 1 Role
Lecturer Creator 1 NetID
mhc27 Contributing Unit
Psychology | Department Language
English Searchable
Yes
|
|
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 1st, 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 18th, 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 8th, 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
|
|
Music: https://www.bensound.comStock footage: https://www.videvo.net
|
|
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…
Content Categories
Instructional Recordings Creation Date
December 4th, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
|
|
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…
Creator 1 First Name
Luke Creator 1 Last Name
Wagner 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/#20201109
|
|
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 23rd, 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
|
|
Because a recursive function calls itself, it will have multiple call frames on the call stack. In this video we show exactly why we should be concerned about this and why it will affect our function…
Content Categories
Instructional Recordings Creation Date
October 19th, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
|
|
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 12th, 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
|
|
In this video we look at the call stack in much more detail. In particular, we see that is possible to have more than one call frame active at a time, and the stack is the way these frames are…
Content Categories
Instructional Recordings Creation Date
October 1st, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
In this video we introduce the three regions of memory in Python: global space, the heap, and the call stack. We need all of these to understand how Python executes code.
Content Categories
Instructional Recordings Creation Date
October 1st, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
Variables are tricky things because they are often invisible. To better understand them, we need to build a mental model of how they work. That is the purpose of this video.
Content Categories
Instructional Recordings Creation Date
September 5th, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|