Thoughts on program analysis, static analysis, and software engineering.
A brief introduction to this blog and what I plan to write about.
