Model Interpretation and Compilation

Related lectures (32)

Page 2 of 4

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Explores the development of a WebAssembly Virtual Machine by Group 13, covering pipeline stages, interpreter structure, and stack management.

Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.

Introduces functions in Python, covering predefined and user-defined functions, formal and effective parameters, and the importance of docstrings.

Explores the analysis of structures and mechanisms through a sample problem of opening a box with a string-held lid.

Delves into Grace Hopper's pioneering work in computer programming, making it more accessible and efficient.

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Covers the implementation of a foreign-function interface to JavaScript in Scala, focusing on features like opening and reading files.

Explores the CEPA, compilers, and the origin of the term 'bug' in computing.