Topics in Programming Languages

This course explores advanced techniques and recent research in the theory and practice of programming language design. This year’s focus is program analysis: algorithms which deduce facts about programs to improve their correctness and performance. We will cover both static and dynamic analysis techniques used in ahead-of-time compilers, just-in-time compilers, bug-finders, and domain-specific languages. This course will provide hands-on experience designing analyses for a simple language targeting WebAssembly in a JIT compiler implemented in Rust.