Submissions from muratbuffalo.blogspot.com

		Morty: Scaling Concurrency Control with Re-Execution (muratbuffalo.blogspot.com)
		2 points by matt_d 5 months ago \| past
		Serializable Isolation for Snapshot Databases (muratbuffalo.blogspot.com)
		3 points by r4um 5 months ago \| past
		ATC/OSDI 2025 Impressions (muratbuffalo.blogspot.com)
		5 points by qianli_cs 5 months ago \| past
		ATC/OSDI'25 Technical Sessions (muratbuffalo.blogspot.com)
		2 points by ArneVogel 5 months ago \| past
		Analyzing Metastable Failures in Distributed Systems (muratbuffalo.blogspot.com)
		2 points by MordodeMaru 6 months ago \| past \| 1 comment
		Analyzing Metastable Failures in Distributed Systems (muratbuffalo.blogspot.com)
		4 points by qianli_cs 6 months ago \| past
		Chapter 2: Serializability Theory (1987 Concurrency Control Book) (muratbuffalo.blogspot.com)
		32 points by matt_d 7 months ago \| past
		Modular verification of MongoDB Transactions using TLA+ (muratbuffalo.blogspot.com)
		2 points by todsacerdoti 7 months ago \| past
		Concurrency Control and Recovery in Database Systems: Preface and Chapter 1 (muratbuffalo.blogspot.com)
		2 points by speckx 7 months ago \| past
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		4 points by PaulHoule 8 months ago \| past
		Multi-Grained Specs for Distributed System Model Checking and Verification (muratbuffalo.blogspot.com)
		3 points by matt_d 8 months ago \| past
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		4 points by plinkplonk 8 months ago \| past
		What I'd do as a College Freshman in 2025 (muratbuffalo.blogspot.com)
		5 points by tanelpoder 8 months ago \| past
		Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (muratbuffalo.blogspot.com)
		3 points by mark4 9 months ago \| past
		DBSP: Automatic incremental view maintenance for rich query languages (muratbuffalo.blogspot.com)
		1 point by fanf2 9 months ago \| past
		Publish and Perish: Why Ponder Stibbons Left the Ivory Tower (muratbuffalo.blogspot.com)
		3 points by mark4 9 months ago \| past
		What Makes Entrepreneurs Entrepreneurial? (muratbuffalo.blogspot.com)
		2 points by mark4 10 months ago \| past
		Tell me about your thought-process, not just your results (muratbuffalo.blogspot.com)
		4 points by sebg 10 months ago \| past
		How I read a research paper (2013) (muratbuffalo.blogspot.com)
		2 points by susam 10 months ago \| past
		My Time at MIT (muratbuffalo.blogspot.com)
		181 points by rrampage 10 months ago \| past \| 78 comments
		Hanging in there (muratbuffalo.blogspot.com)
		5 points by azhenley 10 months ago \| past
		Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com)
		93 points by SchwKatze 11 months ago \| past \| 49 comments
		Use of Time in Distributed Databases (muratbuffalo.blogspot.com)
		3 points by qianli_cs 11 months ago \| past
		Distributed Transactions at Scale in Amazon DynamoDB (2023) (muratbuffalo.blogspot.com)
		82 points by lambrospetrou 11 months ago \| past \| 60 comments
		Use of Time in Distributed Databases (part 4): Synchronized clocks in prod DBs (muratbuffalo.blogspot.com)
		2 points by emschwartz 11 months ago \| past
		Scalable Causal Consistency with No Slowdown Cascades (muratbuffalo.blogspot.com)
		2 points by teivah 11 months ago \| past
		Exploring the NaiadClock TLA+ Model in TLA-Web (muratbuffalo.blogspot.com)
		2 points by mooreds 12 months ago \| past
		Use of Time in Distributed Databases-part 2: Use of logical clocks in databases (muratbuffalo.blogspot.com)
		2 points by thunderbong on Dec 28, 2024 \| past
		Use of Logical Clocks in Databases (muratbuffalo.blogspot.com)
		16 points by emschwartz on Dec 26, 2024 \| past
		Utilizing highly synchronized clocks in distributed databases (muratbuffalo.blogspot.com)
		1 point by emschwartz on Dec 17, 2024 \| past
		More