Explores memory organization, virtualization, dynamic memory allocation, stack, heap, and memory virtualization techniques like base register and segmentation.
Explores MIPS assembly language, covering function calls, memory management, and data structures, including recursive functions, programming constructs, arrays, and linked lists.
Introduces SuSLik, a program synthesizer generating safe low-level programs from logical specifications, showcasing its capabilities in handling linked data structures.
Covers the fundamentals of reactive programming, emphasizing event-driven, scalable, resilient, and responsive systems, and proposes using functional programming for composable event abstractions.
