Lectures related to Region-based memory management

Dynamic Memory Allocation in C

Explores dynamic memory allocation in C, covering malloc, calloc, and realloc functions, emphasizing proper memory management and dynamic arrays.

Memory Management in Computer Systems

Covers the fundamentals of memory management in computer systems.

Memory Management: Part I

Covers memory management concepts such as block headers, external fragmentation, reference counting, and mark & sweep garbage collection.

Memory Management: Dynamic Allocation and Deallocation

Covers dynamic memory management, focusing on allocation and deallocation practices in programming.

Programming Language Security

Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.

Dynamic Memory Management and Dynamic Dispatch

Explores memory management, safety, automated techniques, garbage collection, dynamic dispatch, and first-class functions.

Memory Reclamation: Techniques and Algorithms

Explores memory reclamation techniques, including Lock-free Reference Counting and Hazard Pointers, and introduces the hybrid approach of QSense.

Memory Management: Allocation and Deallocation

Covers memory management, focusing on allocation and deallocation of memory blocks, including garbage collection techniques and fragmentation issues.

Synthesis of Safe Pointer-Manipulating Programs

Introduces SuSLik, a program synthesizer generating safe low-level programs from logical specifications, showcasing its capabilities in handling linked data structures.

Virtual Machines: Memory Management and Control Flow

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Dynamic Memory Allocation in C++

Covers the concept of pointers in C++, dynamic memory allocation, and best practices.

Introduction: Course Administration

Covers the course objectives, administration, C language, program structure, variables, operators, and expressions.

Register Machine

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

Memory Retention: Implementation of Lists (III)

Covers the implementation of lists in Java, focusing on memory management techniques.

Effects of Array Overflow

Explores the impact of array overflow on function calls and memory allocation in C++.

C Programming Basics: Exercises and Solutions

Covers basic C programming concepts through a series of exercises and solutions.

Course Introduction: Compilation of High-Level Languages

Covers the course on compiling high-level languages and optimizing code.

Complex Data Structures: Pointers and Dynamic Allocation

Explores pointers for complex data structures, the main() function in C, and memory management, emphasizing dynamic allocation best practices.

Pointers and Arrays: Arithmetic, Buffer Overflow

Covers the arithmetic of pointers, the relationship between pointers and arrays, and the concept of buffer overflow in C programming.

Memory Management: Address Space Abstraction

Explains address space abstraction, focusing on memory management, stack and heap structures, and their roles in dynamic memory allocation.