Analyzing Metastable Failures in Distributed Systems
https://muratbuffalo.blogspot.com/2025/06/analyzing-metastable-failures-in.html
Published: June 5, 2025 17:53
🦜 Verifying Transactional Consistency of MongoDB
@muratbuffalo.blogspot.com.2024.02.verifying-transactional-consistency-of.html@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Site URL: muratbuffalo.blogspot.com/2024/02/verifying-transactional-consistency-of.html
Feed URL: muratbuffalo.blogspot.com/feeds/posts/default
Posts: 12
Followers: 1
Chapter 6: Centralized Recovery (Concurrency Control Book)
https://muratbuffalo.blogspot.com/2025/06/chapter-6-centralized-recovery.html
Published: June 4, 2025 03:43
Chapter 5: Multiversion Concurrency Control (Concurrency Control Book)
https://muratbuffalo.blogspot.com/2025/05/chapter-5-multiversion-concurrency.html
Published: May 28, 2025 04:14
Chapter 4: Non-Locking Schedulers (Concurrency Control Book)
https://muratbuffalo.blogspot.com/2025/05/chapter-4-non-locking-schedulers.html
Published: May 24, 2025 12:32
Chapter 3: Two Phase Locking (Concurrency Control Book)
https://muratbuffalo.blogspot.com/2025/05/chapter-3-two-phase-locking-concurrency.html
Published: May 18, 2025 03:00
Chapter 2: Serializability Theory (Concurrency Control Book)
https://muratbuffalo.blogspot.com/2025/05/chapter-2-serializability-theory.html
Published: May 14, 2025 17:18
Modular verification of MongoDB Transactions using TLA+
https://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html
Published: May 8, 2025 15:00
Concurrency Control and Recovery in Database Systems: Preface and Chapter 1
https://muratbuffalo.blogspot.com/2025/05/concurrency-control-and-recovery-in.html
Published: May 7, 2025 02:54
Notes from the TLA+ Community Event
https://muratbuffalo.blogspot.com/2025/05/notes-from-tla-community-event.html
Published: May 6, 2025 14:39
TLA+ Community Event at ETAPS 2025
https://muratbuffalo.blogspot.com/2025/05/tla-community-event-at-etaps-2025.html
Published: May 1, 2025 13:31
Multi-Grained Specifications for Distributed System Model Checking and Verification
https://muratbuffalo.blogspot.com/2025/04/multi-grained-specifications-for.html
Published: April 22, 2025 18:11
What I'd do as a College Freshman in 2025
https://muratbuffalo.blogspot.com/2025/04/what-id-do-as-college-freshman.html
Published: April 10, 2025 14:36