Recovering academic trying to squash memory-safety bugs for good.