Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feeder
muratbuffalo.blogspot.com
Metadata
Get the latest updates from Metadata directly as they happen.
Follow now 19 followers
Latest posts
Last updated 3 days ago
Modular verification of MongoDB Transactions using TLA+
3 days ago
Joint work with Will Schultz.A transaction groups multiple operations into an all-or-nothing...
Concurrency Control and Recovery in Database Systems: Preface and Chapter 1
4 days ago
I'm catching up on Phil Eaton's book club and just finished the...
Notes from the TLA+ Community Event
5 days ago
I attended the TLA+ Community Event at Hamilton, Ontario on Sunday. Several...
TLA+ Community Event at ETAPS 2025
10 days ago
This Sunday, I'll be attending (and speaking at) the TLA+ Community Event...
Multi-Grained Specifications for Distributed System Model Checking and Verification
19 days ago
This EuroSys 2025 paper wrestles with the messy interface between formal specification...
What I'd do as a College Freshman in 2025
about 1 month ago
Do Computer ScienceAbsolutely. Still would.Many are spooked by LLMs. Some, like Jensen...
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
about 2 months ago
This paper (2024) presents Cedar, AWS's new authorization policy language. By providing...
ParallelRaft: Out-of-Order Executions in PolarFS
about 2 months ago
This paper (2021) dives deeper in the Parallel Raft protocol introduced with...
Publish and Perish: Why Ponder Stibbons Left the Ivory Tower
2 months ago
(With apologies to Terry Pratchett)Ponder Stibbons sat in the shadowy recesses of...
Our K-Drama Journey
2 months ago
Finding a show that suits everyone in our family has always been...
Smart Casual Verification of the Confidential Consortium Framework
2 months ago
This paper (NSDI'25) applies lightweight formal methods (hence the pun "smart casual"...
What makes entrepreneurs entrepreneurial?
3 months ago
Entrepreneurs think and act differently from managers and strategists.This 2008 paper argues...