Virtual Machines: Memory Management and Control Flow

Related lectures (31)

Page 2 of 4

Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

Explains the differences between pointers and references in programming, focusing on their definitions, uses, and limitations in C and C++.

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Covers the definition and applications of pointers in C programming, emphasizing their role in memory management and generic programming.

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.

Covers the essential role of operating systems in managing hardware and enabling applications across various devices.

Covers the basics of software security, focusing on memory safety and mitigation strategies against code execution attacks.

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