Program Analysis Reading List (by Category: CS, Math, PL) | Hacker News Reader