Jesse's 2025 TLA+ Community Event Notes
Summary of talks from the 2025 TLA+ Community Event, focusing on formal methods and model-guided fuzzing for distributed systems.
A. Jesse Jiryu Davis is a Senior Staff Research Engineer at MongoDB specializing in distributed systems, Python concurrency, and serverless architecture. He contributes to MongoDB drivers, async frameworks, and writes on software design and open source projects.
42 articles from this blog
Summary of talks from the 2025 TLA+ Community Event, focusing on formal methods and model-guided fuzzing for distributed systems.
Explores how long to run deterministic and non-deterministic tests to find bugs, analyzing fuzzing efficiency and exponential cost models.
A review of SwiftPaxos, a new Paxos variant designed for fast, geo-replicated state machines in high-latency networks.
An experiment by MongoDB to predict customer demand and auto-scale database resources in MongoDB Atlas, aiming to reduce costs and carbon emissions.
Announcement for a NYC Systems tech talk on predictive auto-scaling in MongoDB Atlas and instrumentation of compiled code.
A review of Amazon MemoryDB, a Redis-compatible cloud database service from AWS, focusing on its architecture and durability improvements.
A personal reflection on the state of women in tech, questioning the impact of diversity initiatives and exploring what truly drives inclusion.
A technical summary and analysis of the Detock research paper on high-performance, multi-region database transactions with strict serializability.
A review of a VLDB paper proposing a 'Timestamp as a Service' as a fault-tolerant alternative to traditional timestamp oracles in distributed databases.
Explains MongoDB's causal consistency feature, its API, and how it solves read-your-writes and monotonic read problems in replica sets.
A review of the Antipode research paper, which proposes a new cross-service causal consistency model for distributed systems.
A review and analysis of the classic 1989 paper on using timed leases for cache consistency in distributed file systems.
A review of the Huygens protocol, a method for achieving nanosecond-level clock synchronization and one-way latency measurement in data centers.
A technical review of the Nezha consensus protocol, which uses synchronized clocks for high-performance distributed systems.
Exploring Java Modelling Tools (JMT) for performance modeling and simulation of queue networks, as an alternative to formal methods.
Explains how Amazon DynamoDB implements distributed ACID transactions at massive scale without sacrificing performance for existing single-key operations.
Review of PolarDB-SCC, Alibaba's cloud-native database system that uses RDMA and new protocols to guarantee strongly consistent reads from read-only nodes.
A review of the book 'Performance Modeling and Design of Computer Systems' by a group of distributed systems engineers, assessing its utility for practical performance analysis.
Review of SelfTune, a research system for automatically and quickly tuning configuration parameters in cluster managers like Kubernetes.
A deep dive into database consistency and isolation levels for Python developers, with links to foundational papers and resources.