Thank you so much for sharing this! I've been going through principles of Program Analysis (Nielson-Nielson-Hankin) and understanding 0 of it , this seems much more digestible and up to date.

I'm teaching assistant for a compilers course at University of Buenos Aires.