Compilers

Related lectures (32)

Page 3 of 4

Explores dataflow analysis for optimization, including equations solving, live variables, reaching definitions, and very busy expressions.

Covers computer language processing, compilers, skills learned, and application examples.

Covers LL(1) parsing, formalization, automation, constraints, and parsing tables.

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

Addresses the challenges of high-level synthesis and optimizing loop constructs using the polyhedral model for improved performance and scheduling.

Covers context-free grammars, their equivalence to pushdown automata, and the hierarchy of grammar types.

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Covers advanced compiler construction topics on optimization techniques like dead code elimination, constant folding, and register allocation.

Covers multithreading, code generation, and type checking in compiler implementation.

Explores operational semantics and inductively defined relations in the Amyli language.