[tokenrove]

Leslie Lamport is a man. You could argue something about Barbara Liskov's Viewstamped Replication, though, I guess.

[striking]

Whoops. Thanks, I messed up pretty badly, didn't I.

[tokenrove]

It's an easy mistake to make. It's interesting, though, because there are at least three important women who were involved in related work at the same time -- I'm thinking of Liskov, Dwork, and Lynch.