Advanced Compilers Construction and Program Analysis

Core elective course, primary instructor · Innopolis University · Spring 2022 – present · Innopolis, Russia

A graduate-level course on the implementation of type systems and program analyses, taught using the Stella extensible pedagogical language. See the TFPiE 2024 paper for the course’s design rationale.