02 Mar 2023 • updated 25 Mar 2023 • 3 minutes required • waynee95

Reading List

This is just a personal list of papers, books and other materials on certain topics.

📖 = Book, 📃 = Research Paper, 📋 = Lecture Notes, 🎓 = Thesis

Compilers

• 📖 Modern Compiler Design, 2nd ed by Grune et al.
• 📖 Essentials of Compilation by Jeremy Siek (draft version)
• 📖 Crafting a Compiler by Fisher, Cytron and LeBlanc
• 📖 Engineering a Compiler by Cooper and Torczon

Principles of Programming Languages

• 📖 Programming Language Concepts and Paradigms by David A. Watt
• 📖 Programming Languages: Principles and Paradigms by Gabrielli and Martini
• 📖 Concepts, Techniques, and Models of Computer Programming by Van Roy and Haridi
• 📖 Programming Language Concepts, 2nd edition by Peter Sestoft

Semantics of Programming Languages

• 📋 Programming Language Semantics by David A. Schmidt
• 📖 Semantics with Applications - An Appetizer by Nielson and Nielson
• 📖 Semantics of Programming Languages by Carl A. Gunter

Programming Language Theory

• 📖 Types and Programming Languages by Benjamin C. Pierce
• 📖 Practical Foundations of Programming Languages by Robert Harper
• 📖 Design Concepts in Programming Languages by Turbak and Gifford

Type Theory

• 📃 Type Systems by Luca Cardelli
• 📖 Type Theory and Formal Proof by Nederpelt and Geuvers
• 📖 Introduction to Homotopy Type Theory by Egbert Rijke
• 📖 Categories for Types by Roy L. Crole

Program Analysis

• 📖 Introduction to Static Analysis by Rival and Yi
• 📋 Static Program Analysis by Møller and Schwartzbach
• 📃 Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Bertrane et al.

High Performance Computing

• 📖 Programming Models for Parallel Computing edited by P. Balaji
• 📋 High-Performance Computing and Scientific Computing by van Engelen

Formal Languages and Automata Theory

• 📖 Parsing Techniques - A Practical Guide by Grune and Jacobs
• 📃 Derivatives of Regular Expressions by Brzozowski
• 📃 Regular-expression derivatives reexamined by Owens et al.

Mathematics

• 📋 Notes on Discrete Mathematics by James Aspnes
• 📖 A Book of Abstract Algebra by Charles C. Pinter
• 📖 Computability Theory: An Introduction to Recursion Theory by Enderton