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.