• Using Static Analysis to Find Bugs
• A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World
• Type Systems
• Book: Types and Programming Languages
• Book: Advanced Topics in Types and Programming Languages