Add Tom Leighton (Akamai), Frans Kaashoek (Mazu Networks), Dawson Engler (Coverity), and maybe David Brumley (ForAllSecure) to that list. Profitable startups are not uncommon among professors in top departments.
All the other companies I listed have had either successful exits, large fundraising rounds, or a successful IPO. David's company is much newer and doesn't meet that bar yet.