This is your work, valued

Buffalo, NY

Murat Demirbas

Elite
@muratdem

Working on distributed [systems, databases, consensus, blockchains]. Blogs at http://muratbuffalo.blogspot.com

cse.buffalo.edu/~demirbas/

PlusCal-examples. Pluscal/TLA+ modeling of distributed systems/protocols

82

HLC. TLA

17

MDBTLA. High level model for MongoDB consistency

15

RaftLeaderLeases. TLA+ model for Raft Leader Leases, and linearizable reads from leader

11

TLA-seminar. TLA+ introductory seminar examples

8

dataflow. TLA+ model for Dataflow protocols

1

hlc-visualizer. A Javascript visualization for Hybrid Logical Clocks, where you can create local/send events, and take consistent snapshots

1

BeatPaxos. A Paxos visualization, and a game where you try to delay or even break consensus, by killing a node and delaying messages.

1