Murat (Distributolog)
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
https://muratbuffalo.blogspot.com/
[new blog post]
Vive la Difference: Practical Diff Testing of Stateful Applications (VLDB'25)
muratbuffalo.blogspot.com/2025/08/vive...
Safe rollouts of stateful apps. Instantly branches Postgres DBs, replays prod-like requests on old & new versions, and shows 3-way diffs of outputs + DB state.
Vive la Difference: Practical Diff Testing of Stateful Applications (VLDB'25)
muratbuffalo.blogspot.com/2025/08/vive...
Safe rollouts of stateful apps. Instantly branches Postgres DBs, replays prod-like requests on old & new versions, and shows 3-way diffs of outputs + DB state.
August 13, 2025 at 4:32 PM
[new blog post]
Vive la Difference: Practical Diff Testing of Stateful Applications (VLDB'25)
muratbuffalo.blogspot.com/2025/08/vive...
Safe rollouts of stateful apps. Instantly branches Postgres DBs, replays prod-like requests on old & new versions, and shows 3-way diffs of outputs + DB state.
Vive la Difference: Practical Diff Testing of Stateful Applications (VLDB'25)
muratbuffalo.blogspot.com/2025/08/vive...
Safe rollouts of stateful apps. Instantly branches Postgres DBs, replays prod-like requests on old & new versions, and shows 3-way diffs of outputs + DB state.
Tupac?? Is wikipedia trolling me?
First time I am hearing 2PC referred to as Tupac.
First time I am hearing 2PC referred to as Tupac.
July 2, 2025 at 2:54 AM
Tupac?? Is wikipedia trolling me?
First time I am hearing 2PC referred to as Tupac.
First time I am hearing 2PC referred to as Tupac.
Data Panzer
November 21, 2024 at 12:26 AM
Data Panzer