Textbooks and Related Courses

Here is the list of textbooks and courses that contain material used in this course. Some course topics are based on other external material, which will be additionally provided in lectures.

Courses

• [SPA] Anders Møller and Michael I. Schwartzbach. Static Program Analysis. Aarhus University. 2021.

• [CMUPA] Jonathan Aldrich, Claire Le Goues, and Rohan Padhye. Program Analysis. Lecture notes. Carnegie Mellon University. 2022.

• [FAPA] Wei Le. Foundations and Applications of Program Analysis. Iowa State University. 2021.

• [SAMSUNG] Eugene Zouev, Dmitry Botcharnikov, and Sergey Ignatov. Compiler Construction: Practical Introduction. Samsung Compiler Bootcamp, Samsung Research Russia, 2019.

• [NANJING] Tian Tan and Yue Li. Static Program Analysis. Nanjing University, 2020.

• [SOLA] Michael Pradel. Program Analysis. University of Stuttgart. 2021.

Compiler Books

• [DRAGON] Alfred Aho, Jeffrey Ullman, Ravi Sethi, and Monica Lam. Compilers: Principles, Techniques, and Tools. 2nd edition. 2006.

• [MUCHNIK] Steven Muchnick. Advanced Compiler Design and Implementation. 1st edition. 1997.

• [PARR] Terence Parr. Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages. 1st Edition. 2010.

• [HANKIN] Chris Hankin, Flemming Nielson, and Hanne Riis Nielson Principles of Program Analysis. 1999.

• [INTERP] Robert Nystrom. Crafting Interpreters. 2021.

Tool Books

• [ANTLR] Terence Parr. The Definitive ANTLR 4 Reference by Terence Parr 2013.

• [LLVM] Bruno Cardoso Lopes and Rafael Auler. Getting Started with LLVM Core Libraries 2014.