Murat Demirbas - Distributed Systems Blog
muratbuffalo.blogspot.com

On distributed systems broadly defined and other curiosities. The opinions on this site are my own.

Academic Doomerism

Murat DemirbasBlogger4 min read
Read on Scour →
Feeds

Jetpack: Consensus Made Generally Fast (OSDI '26)

Murat DemirbasHN4 min read
Read on Scour →
Feeds

Metastability as a failed conditional discharge of rely-guarantee composition

Murat DemirbasHN9 min read
Read on Scour →
Feeds

The Safest Job from AI may be Writing

Murat DemirbasHNCovered by73 min read
Read on Scour →
Feeds

Composition and Modular Verification of TLA+ specs

Murat DemirbasHN8 min read
Read on Scour →
Feeds

Thoughts on LLMs

Murat DemirbasBlogger4 min read
Read on Scour →
Feeds

Specula: Scaling formal specifications for autonomous model checking of system code

Murat DemirbasHNCovered by29 min read
Read on Scour →
Feeds

Towards Designing an Execution Control System with Metastability Resilience

Murat DemirbasHN8 min read
Read on Scour →
Feeds

Aurora DSQL: Scalable, Multi-Region OLTP

Murat DemirbasHN5 min read
Read on Scour →
Feeds

Characterizing Metastable Faults and Failures

Murat DemirbasHN27 min read
Read on Scour →
Feeds

Leaving Buffalo: A Move-ing Story

Murat DemirbasBlogger7 min read
Read on Scour →
Feeds

5 Lessons at 50

Murat DemirbasBlogger3 min read
Read on Scour →
Feeds

Our Collective Bike Shed Moment

Murat DemirbasBlogger1 min read
Read on Scour →
Feeds

Our Italy trip

Murat DemirbasBlogger2 min read
Read on Scour →
Feeds

Our MongoDB TLA+ Workshop

Murat DemirbasBlogger6 min read
Read on Scour →
Feeds

Writing Code vs. Shipping Code: Productivity Effects Across Generations of AI Coding Tools

Murat DemirbasHN6 min read
Read on Scour →
Feeds

A Case for Simulation-Driven Resilience in Agentic Data Systems

Murat DemirbasHN5 min read
Read on Scour →
Feeds

ACM CAIS: Conference on AI and Agentic Systems

Murat DemirbasBlogger9 min read
Read on Scour →
Feeds

Chess invariants

Murat DemirbasHN1 min read
Read on Scour →
Feeds

OSTEP Chapter 15: Address Translation

Murat DemirbasBlogger1 min read
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help