Search for tag: "stack"

Kim success story 2021 MRS conference MIP Forum (AM session)

(Morning-PARADIM success stories)

From  James Overhiser 0 plays

CNF PROLITH Video Training

Operational training video for PROLITH by KLA-Tencor. This software may be used by CNF registered University students or CNF staff ONLY.

From  David Botsch 10 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 40 plays

Lesson 25.3 Error Types and the Call Stack

After the last video, try-except looks less like an if-else statement and more like an if-elif-else statement. As we see in this video, this has profound effects on how errors interact with the call…

From  Hannah Lee 50 plays

Lesson 25.1 Error Types

In this video we revisit error messages in Python and show how to read the error type. This type is a class, which means that you can construct your own error objects.

From  Hannah Lee 54 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

Lesson 17.6 Divide and Conquer Visualization

Just because you know how to write a divide-and-conquer algorithm does not mean you understand it. In this video we try to improve our understanding by visualizing divide-and-conquer. When we do this…

From  Hannah Lee 69 plays

Lesson 17.3 Recursion and the Call Stack

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…

From  Hannah Lee 75 plays

Lesson 17.2 Recursive Functions

In this video we show how to take recursive definitions from mathematics and implement them in Python. To do this, we will need to have a function call itself in its own definition.

From  Hannah Lee 70 plays

SOIL Seminar: Decomposing C++ Modules for Fast Load Times

Title: 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 67 plays

Lesson 14.3 Try-Except and the Stack

The except-portion of an try-except statement is only executed when there is an error/crash. But, as we have seen, errors can occur anywhere in the call stack. In this video we show how try-except…

From  Hannah Lee 33 plays

Lesson 13.3 Assert Statements

Determining responsibility can get really tedious. In this video, we show how we can responsibility explicit by creating errors on purpose. We introduce the assert statement, which will allow us to…

From  Hannah Lee 46 plays

Lesson 13.2 Error Responsibility

When we introduced specifications, we talked about responsibility; if there is a problem with a function, it is either the fault of the definer or the caller. In this video, we show how we read an…

From  Hannah Lee 34 plays

Lesson 13.1 Error Messages

Most of you have seen error messages already, working on the course assignments. But what do these error messages mean? As we seen in this video, we could not really talk about them until now because…

From  Hannah Lee 38 plays

Lesson 12.7 The Call Stack

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…

From  Hannah Lee 47 plays