Automatic memory management techniques
Deep dive into state machines, Finite automata, and Regular expressions
Semantics of programming languages
Essentials of Low-level Interpretation
Syntactic analysis techniques and tools
Essentials of Type checking and Inference
Practical approach to programming languages
Techniques of high-level compilation