Compiler Extension LabCovers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Code Generation LabCovers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Optimizing Recursive QueriesExplores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.
Register MachineCovers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Memory ModelExplores the formalization of memory models and their crucial role in program optimization.
