Lightnews — Scholar-powered news

Murat (Distributolog) @muratdemirbas.bsky.social · 1d

[new blog post]

Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks

muratbuffalo.blogspot.com/2025/10/tiga...

Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks

This paper (to appear at SOSP'25) is one of the latest efforts exploring the dream of a one-round commit for geo-replicated databases. TAPI...

muratbuffalo.blogspot.com

1 5

Reposted by Murat (Distributolog)

A. Jesse Jiryu Davis @emptysqua.re · 1d

My review of a classic of Argentine sci-fi comics, now a Netflix series in Spanish. emptysqua.re/blog/the-ete...

Versions of The Eternaut

A classic of Argentine sci-fi comics, now a Netflix series in Spanish.

emptysqua.re

1 2

Reposted by Murat (Distributolog)

A. Jesse Jiryu Davis @emptysqua.re · 1d

Kelsey Roman performing with aerial silks hanging from the West Trapps cliff in the Gunks, at sunset and moonrise. emptysqua.re/blog/aerial-...

1 4

Murat (Distributolog) @muratdemirbas.bsky.social · 5d

[new blog post]

The Invisible Curriculum of Research

muratbuffalo.blogspot.com/2025/10/the-...

The Invisible Curriculum of Research

Courses, textbooks, and papers provide the formal curriculum of research. But there is also an invisible curriculum. Unwritten rules and ski...

muratbuffalo.blogspot.com

1 3 16

Murat (Distributolog) @muratdemirbas.bsky.social · 14d

Four Ivies. Two Days.

muratbuffalo.blogspot.com/2025/09/four...

This is my long-overdue trip report from last summer. For campus visits, we toured Yale and Brown, followed by Princeton and UPenn the next day. Of course we drove, that's how we roll.

This time we got to rank the schools.

Four Ivies. Two days.

This is my long-overdue trip report from last summer: July 10–11, 2024. We toured Ivy League campuses to help our rising senior son weigh hi...

muratbuffalo.blogspot.com

2

Murat (Distributolog) @muratdemirbas.bsky.social · 21d

[new blog post]

Supporting our AI overlords: Redesigning data systems to be Agent-first

muratbuffalo.blogspot.com/2025/09/supp...

Supporting our AI overlords: Redesigning data systems to be Agent-first

This Berkeley systems group paper opens with the thesis that LLM agents will soon dominate data system workloads. These agents, acting on b...

muratbuffalo.blogspot.com

2 1 3

Murat (Distributolog) @muratdemirbas.bsky.social · Sep 8

[new blog post]

Disaggregation: A New Architecture for Cloud Databases

muratbuffalo.blogspot.com/2025/09/disa...

Disaggregation: A New Architecture for Cloud Databases

This short VLDB'25 paper surveys disaggregation for cloud databases. It has several insightful points, and I found it worth summarizing. T...

muratbuffalo.blogspot.com

1 12

Murat (Distributolog) @muratdemirbas.bsky.social · Sep 8

[new blog post]

Our Myrtle Beach vacation

muratbuffalo.blogspot.com/2025/09/myrt...

Our Myrtle Beach vacation

This year was a bastard. Not from work. God, no, I find work relaxing. Reading papers, inventing algorithms, ripping apart distributed syste...

muratbuffalo.blogspot.com

2

Reposted by Murat (Distributolog)

PVLDB @pvldb.bsky.social · Aug 1

Vol:18 No:8 → HoliPaxos: Towards More Predictable Performance in State Machine Replication
👥 Authors: Zhiying Liang, Vahab Jabrayilov, Abutalib Aghayev, Aleksey Charapko
📄 PDF: https://www.vldb.org/pvldb/vol18/p2505-charapko.pdf

Thumbnail: HoliPaxos: Towards More Predictable Performance in State Machine Replication

2 4

Murat (Distributolog) @muratdemirbas.bsky.social · Sep 4

Many books in discworld, but are you referring to maybe another miniseries about "Om"?
I am not that well-versed about the Pratchett's universe yet.

1 1

Murat (Distributolog) @muratdemirbas.bsky.social · Sep 3

[new blog post]

Recent Reads (September 25)

muratbuffalo.blogspot.com/2025/09/rece...

muratbuffalo.blogspot.com

1 3

Murat (Distributolog) @muratdemirbas.bsky.social · Sep 2

[new blog post]

Asymmetric Linearizable Local Reads

muratbuffalo.blogspot.com/2025/09/asym...

Asymmetric Linearizable Local Reads

People want data fast. They also want it consistent. Those two wants pull in opposite directions. This VLDB'25 paper does another take on t...

muratbuffalo.blogspot.com

3

Reposted by Murat (Distributolog)

PVLDB @pvldb.bsky.social · Sep 1

Vol:18 No:12 → Design and Modular Verification of Distributed Transactions in MongoDB
👥 Authors: William Schultz, Murat Demirbas
📄 PDF: https://www.vldb.org/pvldb/vol18/p5045-schultz.pdf

Thumbnail: Design and Modular Verification of Distributed Transactions in MongoDB

2 6

Reposted by Murat (Distributolog)

A. Jesse Jiryu Davis @emptysqua.re · Sep 1

VLDB has published my colleagues' terrific paper MongoDB distributed transactions: how they work, how we checked them with TLA+, how we checked that our code conforms to our TLA+ spec.

PVLDB @pvldb.bsky.social · Sep 1

Vol:18 No:12 → Design and Modular Verification of Distributed Transactions in MongoDB
👥 Authors: William Schultz, Murat Demirbas
📄 PDF: https://www.vldb.org/pvldb/vol18/p5045-schultz.pdf

2 8

Reposted by Murat (Distributolog)

Andy Pavlo @andypavlo.bsky.social · Aug 25

Today is the new semester for @db.cs.cmu.edu's Intro to Database Systems! We're going harder into material than before. More challenging projects but you can use LLMs to help. We also have 10min talks each Wed from leading DB companies: 15445.courses.cs.cmu.edu/fall2025

CMU 15-445/645 :: Intro to Database Systems (Fall 2025)

You want to know whether this is the premier course at Carnegie Mellon University on the design and implementation of database management systems? Well, it is. This course rips through data models (re...

15445.courses.cs.cmu.edu

1 18 63

Reposted by Murat (Distributolog)

A. Jesse Jiryu Davis @emptysqua.re · Aug 25

The epic continues: emptysqua.re/blog/review-...

Knowledge and Common Knowledge in a Distributed Environment, Part 2

Graph theory and epistemology, oh my!

emptysqua.re

2 4

Murat (Distributolog) @muratdemirbas.bsky.social · Aug 21

[new blog post]

Cabinet: Dynamically Weighted Consensus Made Fast

muratbuffalo.blogspot.com/2025/08/cabi...

Cabinet: Dynamically Weighted Consensus Made Fast

This paper (to appear in VLDB'25) proposes a consensus algorithm called "Cabinet", which dynamically adjusts node weights based on responsi...

muratbuffalo.blogspot.com

4

Reposted by Murat (Distributolog)

A. Jesse Jiryu Davis @emptysqua.re · Aug 13

I'm beginning an epic journey to understand the 1990 paper "Knowledge and Common Knowledge in a Distributed Environment" emptysqua.re/blog/review-...

Knowledge and Common Knowledge in a Distributed Environment, Part 1

A profound 1990 paper about epistomology in distributed systems.

emptysqua.re

1 2 5

Murat (Distributolog) @muratdemirbas.bsky.social · Aug 13

[new blog post]

Vive la Difference: Practical Diff Testing of Stateful Applications (VLDB'25)

muratbuffalo.blogspot.com/2025/08/vive...

Safe rollouts of stateful apps. Instantly branches Postgres DBs, replays prod-like requests on old & new versions, and shows 3-way diffs of outputs + DB state.

1 1 11

Murat (Distributolog) @muratdemirbas.bsky.social · Aug 13

[new blog post]

Towards Optimal Transaction Scheduling (VLDB'24)

muratbuffalo.blogspot.com/2025/08/towa...

Towards Optimal Transaction Scheduling

This paper (VLDB'2024) looks at boosting transaction throughput through better scheduling. The idea is to explore the schedule-space more s...

muratbuffalo.blogspot.com

2

Reposted by Murat (Distributolog)

lmstr.bsky.social @lmstr.bsky.social · Aug 12

🏆 Winners of the first-ever #ai meets #tlaplus challenge:

🥇 From code to TLA+ specs, automatically.
🥈 Grammar-constrained AI that speaks TLA+.
🥉 Generating correct Rust from TLA+ specs.

Full details 👉 foundation.tlapl.us/challenge

GenAI-accelerated TLA+ challenge

🏆 Announcement: Winners of the 2025 TLAi+ Challenge The TLA+ Foundation, in collaboration with NVIDIA, is pleased to announce the winners of the first GenAI-accelerated TLA+ Challenge—an open call for...

foundation.tlapl.us