What We Know We Don't Know: Empirical Software Engineering

Performance Matters

Falsehoods Programmers Believe About Dogs

Modeling Missing Requirements

Probabilistic Modeling with PRISM

Modeling Adversaries with TLA+

At least one Vim trick you might not know

Alan Kay Did Not Invent Objects

Finding Property Tests

Metamorphic Testing