Modular verification of MongoDB Transactions using TLA+
https://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html
Published: May 8, 2025 15:00
@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: 10
Followers: 1
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
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
https://muratbuffalo.blogspot.com/2025/03/cedar-new-language-for-expressive-fast.html
Published: March 24, 2025 18:11
ParallelRaft: Out-of-Order Executions in PolarFS
https://muratbuffalo.blogspot.com/2025/03/parallelraft-out-of-order-executions-in.html
Published: March 20, 2025 12:58
Publish and Perish: Why Ponder Stibbons Left the Ivory Tower
https://muratbuffalo.blogspot.com/2025/03/publish-and-perish-why-ponder-stibbons.html
Published: March 10, 2025 15:41
Our K-Drama Journey
https://muratbuffalo.blogspot.com/2025/02/our-k-drama-journey.html
Published: February 28, 2025 02:28