Hi,
for you interest: the slides and the material are also available via git
https://github.uio.no/msteffen/staticanalysis
the course is under the sub-dir ./course. A parser for the while language, a CFG generation etc is also available there (in ocaml). The monotone framework itself is not part of the public repos though (in case someone wants to try oneself).