She's done both for a long time. She came up with the replication protocol that Lamport termed Paxos a year before Lamport did (she called it Viewstamped Replic

She's done both for a long time. She came up with the replication protocol that Lamport termed Paxos a year before Lamport did (she called it Viewstamped Replication). That was 1988.