corpus.blog
41554 blogs · [ { "id": "01a0bbaa-c67d-72a6-8287-b4ca8f6c901c", "title": "Chapter 6: Centralized Recovery (Concurrency Control Book)", "url": "http://muratbuffalo.blogspot.com/2025/06/chapter-6-centralized-recovery.html", "published_at": "2025-06-04T03:27:00+00:00" }, { "id": "01a0bbaa-cb56-7219-9d1b-060af00939c8", "title": "Chapter 6: Centralized Recovery (Concurrency Control Book)", "url": "https://muratbuffalo.blogspot.com/2025/06/chapter-6-centralized-recovery.html", "published_at": "2025-06-04T03:27:00+00:00" }, { "id": "01a0bbaa-c67d-72a6-8287-b4ca904eacd0", "title": "Chapter 5: Multiversion Concurrency Control (Concurrency Control Book)", "url": "http://muratbuffalo.blogspot.com/2025/05/chapter-5-multiversion-concurrency.html", "published_at": "2025-05-28T03:24:00+00:00" }, { "id": "01a0bbaa-cb56-7219-9d1b-060af0ca2fd8", "title": "Chapter 5: Multiversion Concurrency Control (Concurrency Control Book)", "url": "https://muratbuffalo.blogspot.com/2025/05/chapter-5-multiversion-concurrency.html", "published_at": "2025-05-28T03:24:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197eee27118b", "title": "Chapter 4: Non-Locking Schedulers (Concurrency Control Book)", "url": "http://muratbuffalo.blogspot.com/2025/05/chapter-4-non-locking-schedulers.html", "published_at": "2025-05-24T12:32:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea013e1f9", "title": "Chapter 4: Non-Locking Schedulers (Concurrency Control Book)", "url": "https://muratbuffalo.blogspot.com/2025/05/chapter-4-non-locking-schedulers.html", "published_at": "2025-05-24T12:32:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197eef249155", "title": "Chapter 3: Two Phase Locking (Concurrency Control Book)", "url": "http://muratbuffalo.blogspot.com/2025/05/chapter-3-two-phase-locking-concurrency.html", "published_at": "2025-05-18T03:00:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea0d8945b", "title": "Chapter 3: Two Phase Locking (Concurrency Control Book)", "url": "https://muratbuffalo.blogspot.com/2025/05/chapter-3-two-phase-locking-concurrency.html", "published_at": "2025-05-18T03:00:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197eef701c3d", "title": "Chapter 2: Serializability Theory (Concurrency Control Book)", "url": "http://muratbuffalo.blogspot.com/2025/05/chapter-2-serializability-theory.html", "published_at": "2025-05-14T17:13:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea1c44cf4", "title": "Chapter 2: Serializability Theory (Concurrency Control Book)", "url": "https://muratbuffalo.blogspot.com/2025/05/chapter-2-serializability-theory.html", "published_at": "2025-05-14T17:13:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef05dcc38", "title": "Modular verification of MongoDB Transactions using TLA+", "url": "http://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html", "published_at": "2025-05-08T15:00:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea2ac1378", "title": "Modular verification of MongoDB Transactions using TLA+", "url": "https://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html", "published_at": "2025-05-08T15:00:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef09fb853", "title": "Concurrency Control and Recovery in Database Systems: Preface and Chapter 1", "url": "http://muratbuffalo.blogspot.com/2025/05/concurrency-control-and-recovery-in.html", "published_at": "2025-05-07T02:54:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea2b6f079", "title": "Concurrency Control and Recovery in Database Systems: Preface and Chapter 1", "url": "https://muratbuffalo.blogspot.com/2025/05/concurrency-control-and-recovery-in.html", "published_at": "2025-05-07T02:54:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef13bc32d", "title": "Notes from the TLA+ Community Event", "url": "http://muratbuffalo.blogspot.com/2025/05/notes-from-tla-community-event.html", "published_at": "2025-05-06T14:39:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea372a34f", "title": "Notes from the TLA+ Community Event", "url": "https://muratbuffalo.blogspot.com/2025/05/notes-from-tla-community-event.html", "published_at": "2025-05-06T14:39:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef18cec99", "title": "TLA+ Community Event at ETAPS 2025", "url": "http://muratbuffalo.blogspot.com/2025/05/tla-community-event-at-etaps-2025.html", "published_at": "2025-05-01T13:31:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea4726bfe", "title": "TLA+ Community Event at ETAPS 2025", "url": "https://muratbuffalo.blogspot.com/2025/05/tla-community-event-at-etaps-2025.html", "published_at": "2025-05-01T13:31:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef1aa9839", "title": "Multi-Grained Specifications for Distributed System Model Checking and Verification", "url": "http://muratbuffalo.blogspot.com/2025/04/multi-grained-specifications-for.html", "published_at": "2025-04-22T18:11:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea4cf60d6", "title": "Multi-Grained Specifications for Distributed System Model Checking and Verification", "url": "https://muratbuffalo.blogspot.com/2025/04/multi-grained-specifications-for.html", "published_at": "2025-04-22T18:11:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef25c15dd", "title": "What I'd do as a College Freshman in 2025", "url": "http://muratbuffalo.blogspot.com/2025/04/what-id-do-as-college-freshman.html", "published_at": "2025-04-10T14:26:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea4f2f0aa", "title": "What I'd do as a College Freshman in 2025", "url": "https://muratbuffalo.blogspot.com/2025/04/what-id-do-as-college-freshman.html", "published_at": "2025-04-10T14:26:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef347b183", "title": "Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization", "url": "http://muratbuffalo.blogspot.com/2025/03/cedar-new-language-for-expressive-fast.html", "published_at": "2025-03-24T18:11:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea5e7981b", "title": "Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization", "url": "https://muratbuffalo.blogspot.com/2025/03/cedar-new-language-for-expressive-fast.html", "published_at": "2025-03-24T18:11:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef37380bf", "title": "ParallelRaft: Out-of-Order Executions in PolarFS", "url": "http://muratbuffalo.blogspot.com/2025/03/parallelraft-out-of-order-executions-in.html", "published_at": "2025-03-20T12:58:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea6b9d2a3", "title": "ParallelRaft: Out-of-Order Executions in PolarFS", "url": "https://muratbuffalo.blogspot.com/2025/03/parallelraft-out-of-order-executions-in.html", "published_at": "2025-03-20T12:58:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef39757b3", "title": "Publish and Perish: Why Ponder Stibbons Left the Ivory Tower", "url": "http://muratbuffalo.blogspot.com/2025/03/publish-and-perish-why-ponder-stibbons.html", "published_at": "2025-03-10T13:13:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea79d31f2", "title": "Publish and Perish: Why Ponder Stibbons Left the Ivory Tower", "url": "https://muratbuffalo.blogspot.com/2025/03/publish-and-perish-why-ponder-stibbons.html", "published_at": "2025-03-10T13:13:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef3a7c8ab", "title": "Our K-Drama Journey", "url": "http://muratbuffalo.blogspot.com/2025/02/our-k-drama-journey.html", "published_at": "2025-02-28T02:23:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea8679d88", "title": "Our K-Drama Journey", "url": "https://muratbuffalo.blogspot.com/2025/02/our-k-drama-journey.html", "published_at": "2025-02-28T02:23:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef4107542", "title": "Smart Casual Verification of the Confidential Consortium Framework", "url": "http://muratbuffalo.blogspot.com/2025/02/smart-casual-verification-of.html", "published_at": "2025-02-26T19:59:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea91404f2", "title": "Smart Casual Verification of the Confidential Consortium Framework", "url": "https://muratbuffalo.blogspot.com/2025/02/smart-casual-verification-of.html", "published_at": "2025-02-26T19:59:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef47d4ab8", "title": "What makes entrepreneurs entrepreneurial?", "url": "http://muratbuffalo.blogspot.com/2025/02/what-makes-entrepreneurs-entrepreneurial.html", "published_at": "2025-02-21T13:36:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbea921e488", "title": "What makes entrepreneurs entrepreneurial?", "url": "https://muratbuffalo.blogspot.com/2025/02/what-makes-entrepreneurs-entrepreneurial.html", "published_at": "2025-02-21T13:36:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef480dd1b", "title": "My Time at MIT", "url": "http://muratbuffalo.blogspot.com/2025/02/my-time-at-mit.html", "published_at": "2025-02-17T03:47:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeaa195f45", "title": "My Time at MIT", "url": "https://muratbuffalo.blogspot.com/2025/02/my-time-at-mit.html", "published_at": "2025-02-17T03:47:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef524e82f", "title": "Hanging in there", "url": "http://muratbuffalo.blogspot.com/2025/02/hanging-in-there.html", "published_at": "2025-02-06T16:26:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeaa219ce0", "title": "Hanging in there", "url": "https://muratbuffalo.blogspot.com/2025/02/hanging-in-there.html", "published_at": "2025-02-06T16:26:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef56a0f4c", "title": "Intelligence wants to be everywhere", "url": "http://muratbuffalo.blogspot.com/2025/01/intelligence-wants-to-be-everywhere.html", "published_at": "2025-01-31T19:04:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeaa26a476", "title": "Intelligence wants to be everywhere", "url": "https://muratbuffalo.blogspot.com/2025/01/intelligence-wants-to-be-everywhere.html", "published_at": "2025-01-31T19:04:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef6367236", "title": "GaussDB-Global: A Geographically Distributed Database System", "url": "http://muratbuffalo.blogspot.com/2025/01/gaussdb-global-geographically.html", "published_at": "2025-01-23T15:56:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeaa372f6f", "title": "GaussDB-Global: A Geographically Distributed Database System", "url": "https://muratbuffalo.blogspot.com/2025/01/gaussdb-global-geographically.html", "published_at": "2025-01-23T15:56:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef69c8a74", "title": "Use of Time in Distributed Databases (part 5): Lessons learned", "url": "http://muratbuffalo.blogspot.com/2025/01/use-of-time-in-distributed-databases_14.html", "published_at": "2025-01-14T19:04:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeaab35bdc", "title": "Use of Time in Distributed Databases (part 5): Lessons learned", "url": "https://muratbuffalo.blogspot.com/2025/01/use-of-time-in-distributed-databases_14.html", "published_at": "2025-01-14T19:04:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef6b58a7f", "title": "Use of Time in Distributed Databases (part 4): Synchronized clocks in production databases", "url": "http://muratbuffalo.blogspot.com/2025/01/use-of-time-in-distributed-databases.html", "published_at": "2025-01-10T17:56:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeab49b0d8", "title": "Use of Time in Distributed Databases (part 4): Synchronized clocks in production databases", "url": "https://muratbuffalo.blogspot.com/2025/01/use-of-time-in-distributed-databases.html", "published_at": "2025-01-10T17:56:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef6bc2edd", "title": "I Can’t Believe It’s Not Causal! Scalable Causal Consistency with No Slowdown Cascades", "url": "http://muratbuffalo.blogspot.com/2025/01/i-cant-believe-its-not-causal-scalable.html", "published_at": "2025-01-08T19:19:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeabe60f43", "title": "I Can’t Believe It’s Not Causal! Scalable Causal Consistency with No Slowdown Cascades", "url": "https://muratbuffalo.blogspot.com/2025/01/i-cant-believe-its-not-causal-scalable.html", "published_at": "2025-01-08T19:19:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef784862f", "title": "Use of Time in Distributed Databases (part 3): Synchronized clocks in databases", "url": "http://muratbuffalo.blogspot.com/2024/12/use-of-time-in-distributed-databases_30.html", "published_at": "2024-12-30T22:11:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeacaa1591", "title": "Use of Time in Distributed Databases (part 3): Synchronized clocks in databases", "url": "https://muratbuffalo.blogspot.com/2024/12/use-of-time-in-distributed-databases_30.html", "published_at": "2024-12-30T22:11:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef86ca8c9", "title": "Use of Time in Distributed Databases (part 2): Use of logical clocks in databases", "url": "http://muratbuffalo.blogspot.com/2024/12/use-of-time-in-distributed-databases_26.html", "published_at": "2024-12-26T19:28:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbead15caa5", "title": "Use of Time in Distributed Databases (part 2): Use of logical clocks in databases", "url": "https://muratbuffalo.blogspot.com/2024/12/use-of-time-in-distributed-databases_26.html", "published_at": "2024-12-26T19:28:00+00:00" }, { "id": "01a0bbaf-db95-7338-a77e-197ef933d77c", "title": "Use of Time in Distributed Databases (part 1)", "url": "http://muratbuffalo.blogspot.com/2024/12/use-of-time-in-distributed-databases.html", "published_at": "2024-12-23T16:30:00+00:00" }, { "id": "01a0bbaf-e00d-7043-a00e-6fbeadc9c78e", "title": "Use of Time in Distributed Databases (part 1)", "url": "https://muratbuffalo.blogspot.com/2024/12/use-of-time-in-distributed-databases.html", "published_at": "2024-12-23T16:30:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fde7f0f45", "title": "Utilizing highly synchronized clocks in distributed databases", "url": "http://muratbuffalo.blogspot.com/2024/12/utilizing-highly-synchronized-clocks-in.html", "published_at": "2024-12-16T17:52:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3312146b5", "title": "Utilizing highly synchronized clocks in distributed databases", "url": "https://muratbuffalo.blogspot.com/2024/12/utilizing-highly-synchronized-clocks-in.html", "published_at": "2024-12-16T17:52:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fdf4f8aa7", "title": "Best of Metadata in 2024", "url": "http://muratbuffalo.blogspot.com/2024/12/best-of-metadata-in-2024.html", "published_at": "2024-12-11T13:18:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3316bf9a7", "title": "Best of Metadata in 2024", "url": "https://muratbuffalo.blogspot.com/2024/12/best-of-metadata-in-2024.html", "published_at": "2024-12-11T13:18:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe000171a", "title": "Index for Designing Data Intensive Applications (DDIA) book", "url": "http://muratbuffalo.blogspot.com/2024/12/index-for-designing-data-intensive.html", "published_at": "2024-12-10T15:21:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c331a71a1d", "title": "Index for Designing Data Intensive Applications (DDIA) book", "url": "https://muratbuffalo.blogspot.com/2024/12/index-for-designing-data-intensive.html", "published_at": "2024-12-10T15:21:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe0398e17", "title": "DDIA: Chapter 11 - Stream Processing", "url": "http://muratbuffalo.blogspot.com/2024/12/ddia-chapter-11-stream-processing.html", "published_at": "2024-12-10T14:00:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c332783607", "title": "DDIA: Chapter 11 - Stream Processing", "url": "https://muratbuffalo.blogspot.com/2024/12/ddia-chapter-11-stream-processing.html", "published_at": "2024-12-10T14:00:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe04744be", "title": "Exploring the NaiadClock TLA+ model in TLA-Web", "url": "http://muratbuffalo.blogspot.com/2024/12/exploring-naiadclock-tla-model-in-tla.html", "published_at": "2024-12-09T16:18:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c332b4bf52", "title": "Exploring the NaiadClock TLA+ model in TLA-Web", "url": "https://muratbuffalo.blogspot.com/2024/12/exploring-naiadclock-tla-model-in-tla.html", "published_at": "2024-12-09T16:18:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe0f98f3c", "title": "Blood draw", "url": "http://muratbuffalo.blogspot.com/2024/11/blood-draw.html", "published_at": "2024-11-23T15:18:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3331205d2", "title": "Blood draw", "url": "https://muratbuffalo.blogspot.com/2024/11/blood-draw.html", "published_at": "2024-11-23T15:18:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe127a320", "title": "Everything is a Transaction: Unifying Logical Concurrency Control and Physical Data Structure Maintenance in Database Management Systems", "url": "http://muratbuffalo.blogspot.com/2024/11/everything-is-transaction-unifying.html", "published_at": "2024-11-23T01:25:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3337b6c01", "title": "Everything is a Transaction: Unifying Logical Concurrency Control and Physical Data Structure Maintenance in Database Management Systems", "url": "https://muratbuffalo.blogspot.com/2024/11/everything-is-transaction-unifying.html", "published_at": "2024-11-23T01:25:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe20ba9a5", "title": "DDIA: Chp 10. Batch Processing", "url": "http://muratbuffalo.blogspot.com/2024/11/ddia-chp-10-batch-processing.html", "published_at": "2024-11-21T21:14:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33386a9e0", "title": "DDIA: Chp 10. Batch Processing", "url": "https://muratbuffalo.blogspot.com/2024/11/ddia-chp-10-batch-processing.html", "published_at": "2024-11-21T21:14:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe2790fef", "title": "DBSP: Automatic Incremental View Maintenance for Rich Query Languages", "url": "http://muratbuffalo.blogspot.com/2024/11/dbsp-automatic-incremental-view.html", "published_at": "2024-11-20T02:15:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3344a5eeb", "title": "DBSP: Automatic Incremental View Maintenance for Rich Query Languages", "url": "https://muratbuffalo.blogspot.com/2024/11/dbsp-automatic-incremental-view.html", "published_at": "2024-11-20T02:15:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe28e1042", "title": "UB Hacking 2024", "url": "http://muratbuffalo.blogspot.com/2024/11/ub-hacking-2024.html", "published_at": "2024-11-11T16:22:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3350452b6", "title": "UB Hacking 2024", "url": "https://muratbuffalo.blogspot.com/2024/11/ub-hacking-2024.html", "published_at": "2024-11-11T16:22:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe3487d67", "title": "DDIA: Chp 9. Consistency and Consensus", "url": "http://muratbuffalo.blogspot.com/2024/10/ddia-chp-9-consistency-and-consensus.html", "published_at": "2024-10-25T16:02:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33529616a", "title": "DDIA: Chp 9. Consistency and Consensus", "url": "https://muratbuffalo.blogspot.com/2024/10/ddia-chp-9-consistency-and-consensus.html", "published_at": "2024-10-25T16:02:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe35ddbc0", "title": "Auto-WLM: machine learning enhanced workload management in Amazon Redshift", "url": "http://muratbuffalo.blogspot.com/2024/10/auto-wlm-machine-learning-enhanced.html", "published_at": "2024-10-16T19:40:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c335723b0a", "title": "Auto-WLM: machine learning enhanced workload management in Amazon Redshift", "url": "https://muratbuffalo.blogspot.com/2024/10/auto-wlm-machine-learning-enhanced.html", "published_at": "2024-10-16T19:40:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe425ffce", "title": "DDIA: Chp 8. The Trouble with Distributed Systems", "url": "http://muratbuffalo.blogspot.com/2024/10/ddia-chp-8-trouble-with-distributed.html", "published_at": "2024-10-12T22:54:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c336508c98", "title": "DDIA: Chp 8. The Trouble with Distributed Systems", "url": "https://muratbuffalo.blogspot.com/2024/10/ddia-chp-8-trouble-with-distributed.html", "published_at": "2024-10-12T22:54:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe49549df", "title": "DDIA: Chp 7. Transactions (Part 2): Serializability", "url": "http://muratbuffalo.blogspot.com/2024/10/ddia-chp-7-transactions-part-2.html", "published_at": "2024-10-09T12:32:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3370cf2a4", "title": "DDIA: Chp 7. Transactions (Part 2): Serializability", "url": "https://muratbuffalo.blogspot.com/2024/10/ddia-chp-7-transactions-part-2.html", "published_at": "2024-10-09T12:32:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe4e087e1", "title": "DDIA: Chp 7. Transactions (Part 1)", "url": "http://muratbuffalo.blogspot.com/2024/10/ddia-chp-7-transactions-part-1.html", "published_at": "2024-10-08T00:09:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3376c39ec", "title": "DDIA: Chp 7. Transactions (Part 1)", "url": "https://muratbuffalo.blogspot.com/2024/10/ddia-chp-7-transactions-part-1.html", "published_at": "2024-10-08T00:09:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe5216b0f", "title": "700", "url": "http://muratbuffalo.blogspot.com/2024/10/700.html", "published_at": "2024-10-04T15:08:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c337adf827", "title": "700", "url": "https://muratbuffalo.blogspot.com/2024/10/700.html", "published_at": "2024-10-04T15:08:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe53c93a4", "title": "SRDS Day 2", "url": "http://muratbuffalo.blogspot.com/2024/10/srds-day-2.html", "published_at": "2024-10-04T14:32:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c338457ab9", "title": "SRDS Day 2", "url": "https://muratbuffalo.blogspot.com/2024/10/srds-day-2.html", "published_at": "2024-10-04T14:32:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe5c4939e", "title": "SRDS Day 1", "url": "http://muratbuffalo.blogspot.com/2024/10/srds-day-1.html", "published_at": "2024-10-04T00:08:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33909e672", "title": "SRDS Day 1", "url": "https://muratbuffalo.blogspot.com/2024/10/srds-day-1.html", "published_at": "2024-10-04T00:08:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe65fea00", "title": "DDIA: Chp 6. Partitioning", "url": "http://muratbuffalo.blogspot.com/2024/09/ddia-chp-6-partitioning.html", "published_at": "2024-09-25T16:44:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33945b988", "title": "DDIA: Chp 6. Partitioning", "url": "https://muratbuffalo.blogspot.com/2024/09/ddia-chp-6-partitioning.html", "published_at": "2024-09-25T16:44:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe72b8bcb", "title": "HPTS day 2, part 2", "url": "http://muratbuffalo.blogspot.com/2024/09/hpts-day-2-part-2.html", "published_at": "2024-09-24T19:41:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c3394b81a9", "title": "HPTS day 2, part 2", "url": "https://muratbuffalo.blogspot.com/2024/09/hpts-day-2-part-2.html", "published_at": "2024-09-24T19:41:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe7e11a2c", "title": "HPTS day 2, part 1", "url": "http://muratbuffalo.blogspot.com/2024/09/hpts-day-2-part-1.html", "published_at": "2024-09-23T17:11:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33a3a925c", "title": "HPTS day 2, part 1", "url": "https://muratbuffalo.blogspot.com/2024/09/hpts-day-2-part-1.html", "published_at": "2024-09-23T17:11:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe80f25ca", "title": "Transactional storage for geo-replicated systems", "url": "http://muratbuffalo.blogspot.com/2024/09/transactional-storage-for-geo.html", "published_at": "2024-09-23T15:22:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33a514dfd", "title": "Transactional storage for geo-replicated systems", "url": "https://muratbuffalo.blogspot.com/2024/09/transactional-storage-for-geo.html", "published_at": "2024-09-23T15:22:00+00:00" }, { "id": "01a0bbb4-9b34-707c-a0ab-f18fe8b84562", "title": "HPTS'24 day 1, part 2", "url": "http://muratbuffalo.blogspot.com/2024/09/hpts24-day-1-part-2.html", "published_at": "2024-09-20T16:30:00+00:00" }, { "id": "01a0bbb4-a116-72bf-8930-17c33b18de14", "title": "HPTS'24 day 1, part 2", "url": "https://muratbuffalo.blogspot.com/2024/09/hpts24-day-1-part-2.html", "published_at": "2024-09-20T16:30:00+00:00" } ] posts Claim your blog
Back to Murat Demirbas
Blog · corpus.blog/blogs/muratbuffalo.blogspot.com/posts

Murat Demirbas

muratbuffalo.blogspot.com

2025

Chapter 6: Centralized Recovery (Concurrency Control Book)original ↗
4 Jun 2025
Chapter 6: Centralized Recovery (Concurrency Control Book)original ↗
4 Jun 2025
Chapter 5: Multiversion Concurrency Control (Concurrency Control Book)original ↗
28 May 2025
Chapter 5: Multiversion Concurrency Control (Concurrency Control Book)original ↗
28 May 2025
Chapter 4: Non-Locking Schedulers (Concurrency Control Book)original ↗
24 May 2025
Chapter 4: Non-Locking Schedulers (Concurrency Control Book)original ↗
24 May 2025
Chapter 3: Two Phase Locking (Concurrency Control Book)original ↗
18 May 2025
Chapter 3: Two Phase Locking (Concurrency Control Book)original ↗
18 May 2025
Chapter 2: Serializability Theory (Concurrency Control Book)original ↗
14 May 2025
Chapter 2: Serializability Theory (Concurrency Control Book)original ↗
14 May 2025
Modular verification of MongoDB Transactions using TLA+original ↗
8 May 2025
Modular verification of MongoDB Transactions using TLA+original ↗
8 May 2025
Concurrency Control and Recovery in Database Systems: Preface and Chapter 1original ↗
7 May 2025
Concurrency Control and Recovery in Database Systems: Preface and Chapter 1original ↗
7 May 2025
Notes from the TLA+ Community Eventoriginal ↗
6 May 2025
Notes from the TLA+ Community Eventoriginal ↗
6 May 2025
TLA+ Community Event at ETAPS 2025original ↗
1 May 2025
TLA+ Community Event at ETAPS 2025original ↗
1 May 2025
Multi-Grained Specifications for Distributed System Model Checking and Verificationoriginal ↗
22 Apr 2025
Multi-Grained Specifications for Distributed System Model Checking and Verificationoriginal ↗
22 Apr 2025
What I'd do as a College Freshman in 2025original ↗
10 Apr 2025
What I'd do as a College Freshman in 2025original ↗
10 Apr 2025
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorizationoriginal ↗
24 Mar 2025
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorizationoriginal ↗
24 Mar 2025
ParallelRaft: Out-of-Order Executions in PolarFSoriginal ↗
20 Mar 2025
ParallelRaft: Out-of-Order Executions in PolarFSoriginal ↗
20 Mar 2025
Publish and Perish: Why Ponder Stibbons Left the Ivory Toweroriginal ↗
10 Mar 2025
Publish and Perish: Why Ponder Stibbons Left the Ivory Toweroriginal ↗
10 Mar 2025
Our K-Drama Journeyoriginal ↗
28 Feb 2025
Our K-Drama Journeyoriginal ↗
28 Feb 2025
Smart Casual Verification of the Confidential Consortium Frameworkoriginal ↗
26 Feb 2025
Smart Casual Verification of the Confidential Consortium Frameworkoriginal ↗
26 Feb 2025
What makes entrepreneurs entrepreneurial?original ↗
21 Feb 2025
What makes entrepreneurs entrepreneurial?original ↗
21 Feb 2025
My Time at MIToriginal ↗
17 Feb 2025
My Time at MIToriginal ↗
17 Feb 2025
Hanging in thereoriginal ↗
6 Feb 2025
Hanging in thereoriginal ↗
6 Feb 2025
Intelligence wants to be everywhereoriginal ↗
31 Jan 2025
Intelligence wants to be everywhereoriginal ↗
31 Jan 2025
GaussDB-Global: A Geographically Distributed Database Systemoriginal ↗
23 Jan 2025
GaussDB-Global: A Geographically Distributed Database Systemoriginal ↗
23 Jan 2025
Use of Time in Distributed Databases (part 5): Lessons learnedoriginal ↗
14 Jan 2025
Use of Time in Distributed Databases (part 5): Lessons learnedoriginal ↗
14 Jan 2025
Use of Time in Distributed Databases (part 4): Synchronized clocks in production databasesoriginal ↗
10 Jan 2025
Use of Time in Distributed Databases (part 4): Synchronized clocks in production databasesoriginal ↗
10 Jan 2025
I Can’t Believe It’s Not Causal! Scalable Causal Consistency with No Slowdown Cascadesoriginal ↗
8 Jan 2025
I Can’t Believe It’s Not Causal! Scalable Causal Consistency with No Slowdown Cascadesoriginal ↗
8 Jan 2025

2024

Use of Time in Distributed Databases (part 3): Synchronized clocks in databasesoriginal ↗
30 Dec 2024
Use of Time in Distributed Databases (part 3): Synchronized clocks in databasesoriginal ↗
30 Dec 2024
Use of Time in Distributed Databases (part 2): Use of logical clocks in databasesoriginal ↗
26 Dec 2024
Use of Time in Distributed Databases (part 2): Use of logical clocks in databasesoriginal ↗
26 Dec 2024
Use of Time in Distributed Databases (part 1)original ↗
23 Dec 2024
Use of Time in Distributed Databases (part 1)original ↗
23 Dec 2024
Utilizing highly synchronized clocks in distributed databasesoriginal ↗
16 Dec 2024
Utilizing highly synchronized clocks in distributed databasesoriginal ↗
16 Dec 2024
Best of Metadata in 2024original ↗
11 Dec 2024
Best of Metadata in 2024original ↗
11 Dec 2024
Index for Designing Data Intensive Applications (DDIA) bookoriginal ↗
10 Dec 2024
Index for Designing Data Intensive Applications (DDIA) bookoriginal ↗
10 Dec 2024
DDIA: Chapter 11 - Stream Processingoriginal ↗
10 Dec 2024
DDIA: Chapter 11 - Stream Processingoriginal ↗
10 Dec 2024
Exploring the NaiadClock TLA+ model in TLA-Weboriginal ↗
9 Dec 2024
Exploring the NaiadClock TLA+ model in TLA-Weboriginal ↗
9 Dec 2024
Blood draworiginal ↗
23 Nov 2024
Blood draworiginal ↗
23 Nov 2024
Everything is a Transaction: Unifying Logical Concurrency Control and Physical Data Structure Maintenance in Database Management Systemsoriginal ↗
23 Nov 2024
Everything is a Transaction: Unifying Logical Concurrency Control and Physical Data Structure Maintenance in Database Management Systemsoriginal ↗
23 Nov 2024
DDIA: Chp 10. Batch Processingoriginal ↗
21 Nov 2024
DDIA: Chp 10. Batch Processingoriginal ↗
21 Nov 2024
DBSP: Automatic Incremental View Maintenance for Rich Query Languagesoriginal ↗
20 Nov 2024
DBSP: Automatic Incremental View Maintenance for Rich Query Languagesoriginal ↗
20 Nov 2024
UB Hacking 2024original ↗
11 Nov 2024
UB Hacking 2024original ↗
11 Nov 2024
DDIA: Chp 9. Consistency and Consensusoriginal ↗
25 Oct 2024
DDIA: Chp 9. Consistency and Consensusoriginal ↗
25 Oct 2024
Auto-WLM: machine learning enhanced workload management in Amazon Redshiftoriginal ↗
16 Oct 2024
Auto-WLM: machine learning enhanced workload management in Amazon Redshiftoriginal ↗
16 Oct 2024
DDIA: Chp 8. The Trouble with Distributed Systemsoriginal ↗
12 Oct 2024
DDIA: Chp 8. The Trouble with Distributed Systemsoriginal ↗
12 Oct 2024
DDIA: Chp 7. Transactions (Part 2): Serializabilityoriginal ↗
9 Oct 2024
DDIA: Chp 7. Transactions (Part 2): Serializabilityoriginal ↗
9 Oct 2024
DDIA: Chp 7. Transactions (Part 1)original ↗
8 Oct 2024
DDIA: Chp 7. Transactions (Part 1)original ↗
8 Oct 2024
700original ↗
4 Oct 2024
700original ↗
4 Oct 2024
SRDS Day 2original ↗
4 Oct 2024
SRDS Day 2original ↗
4 Oct 2024
SRDS Day 1original ↗
4 Oct 2024
SRDS Day 1original ↗
4 Oct 2024
DDIA: Chp 6. Partitioningoriginal ↗
25 Sept 2024
DDIA: Chp 6. Partitioningoriginal ↗
25 Sept 2024
HPTS day 2, part 2original ↗
24 Sept 2024
HPTS day 2, part 2original ↗
24 Sept 2024
HPTS day 2, part 1original ↗
23 Sept 2024
HPTS day 2, part 1original ↗
23 Sept 2024
Transactional storage for geo-replicated systemsoriginal ↗
23 Sept 2024
Transactional storage for geo-replicated systemsoriginal ↗
23 Sept 2024
HPTS'24 day 1, part 2original ↗
20 Sept 2024
HPTS'24 day 1, part 2original ↗
20 Sept 2024
Previous Next