Articles by mad44
18

Taming LLMs: Using Executable Oracles to Prevent Bad Code (regehr.org)

5

Claude Code Experiment: Visualizing Hybrid Logical Clocks (muratbuffalo.blogspot.com)

4

LeaseGuard: Raft Leases Done Right (muratbuffalo.blogspot.com)

2

TLA from First Principles (buttondown.com/hillelwayne)

2

Best of 2023 in MuratBuffalo Distributed/Database Systems Blog (muratbuffalo.blogspot.com)

1

Best posts of 2023 in MuratBuffalo Distributed/Database systems blog (muratbuffalo.blogspot.com)

2

Epoxy: Acid Transactions Across Diverse Data Stores (VLDB'23) (muratbuffalo.blogspot.com)

4

Hints for Distributed Systems Design (2023) (muratbuffalo.blogspot.com)

1

How I Learn a Technical Subject (muratbuffalo.blogspot.com)

3

Detock: High Performance Multi-Region Transactions at Scale (Sigmod 2023) (muratbuffalo.blogspot.com)

2

New Directions in Cloud Computing (muratbuffalo.blogspot.com)

4

Aries: A Transaction Recovery Method W Fine-Granularity Locking and Rollbacks (muratbuffalo.blogspot.com)

3

Characterizing Microservice Dependency and Performance: Alibaba Trace Analysis (muratbuffalo.blogspot.com)

2

Is Scalable OLTP in the Cloud a Solved Problem? (CIDR 2023) (muratbuffalo.blogspot.com)

1

Best of Metadata Blog in 2022 (muratbuffalo.blogspot.com)

2

Noria: Dynamic, partially-stateful Rust dataflow for high-performance web apps (muratbuffalo.blogspot.com)

3

NoSQL: The Hangover of Dropping ACID (muratbuffalo.blogspot.com)

16

Silicon innovation and custom ASICs at Amazon [pdf] (mvdirona.com)

3

Fast Serializable Multi-Version Concurrency Control for Database Systems