Static Analysis for Amy: Techniques and Implementations

Related lectures (32)

Page 1 of 4

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

Explores Datalog evaluation, DSL embedding, semantics, fixpoint algorithms, and multi-stage programming.

Covers program optimizations, abstract interpretation, algebraic transformations, and interval analyses.

Explores Dynamically Scheduled HLS and imperative language compilation for dataflow machines.

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Explores managing large codebases, higher abstraction levels, CodeDB, Datalog queries, and program analysis.

Covers VLIW architectures and compilers, focusing on instruction level parallelism and optimization techniques.

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

Explores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.

Explores code generation, performance optimization, and compilation trade-offs in DBMS.