[new blog post]

Writing as a thinking tool

https://muratbuffalo.blogspot.com/2026/11/writing-as-thinking-tool.html

[new blog post]

HPTS 2026 (Day 1)

https://muratbuffalo.blogspot.com/2026/10/hpts-2026-day-1.html

[new blog post]

Towards Designing an Execution Control System with Metastability Resilience

https://muratbuffalo.blogspot.com/2026/08/towards-designing-execution-control.html

[new blog post]

Break Paxos

https://muratbuffalo.blogspot.com/2026/03/break-paxos.html

[new blog post]

TLA+ as a Design Accelerator: Lessons from the Industry

https://muratbuffalo.blogspot.com/2026/03/tla-as-design-accelerator-lessons-from.html

TLA+ Tilapias
#TLAplus

[new blog post]

Agentic AI and The Mythical Agent-Month

https://muratbuffalo.blogspot.com/2026/01/agentic-ai-and-mythical-agent-month.html

[new blog post]

TLA+ Community Event at ETAPS 2025

https://muratbuffalo.blogspot.com/2025/05/tla-community-event-at-etaps-2025.html

TLA+ in action: Talks on modeling MongoDB transactions, fuzzing, C-to-PlusCal, TLA+ in Python notebooks, and more.

[new blog post]

HPTS'24 Day 1, part 1

https://muratbuffalo.blogspot.com/2024/09/hpts24-day-1-part-1.html

[new blog post]

Spanner: Becoming a SQL system (VLDB'17)

https://muratbuffalo.blogspot.com/2023/07/spanner-becoming-sql-system.html

[new blog post]
Designing Access Methods: The RUM Conjecture

https://muratbuffalo.blogspot.com/2023/02/designing-access-methods-rum-conjecture.html