01-grammar.pdf

02-syntax.pdf

03-ast.pdf

04-semantics.pdf

05-machines.pdf

06-program-analysis.pdf

07-data-flow-analysis.pdf

08-symbolic-execution.pdf

09-model-checking.pdf

10-machine-learning.pdf

syllabus.pdf

Compiled on: Wed Apr 17 02:46:31 PM UTC 2024.

The sources are in GitHub.

Videos are in YouTube.