BlogRun AI wherever your compliance framework demands. Read blog >

BlogRetrieval accuracy is now a competitive advantage Read blog >

MongoDB Research

MongoDB Research supports the company's growth and innovation by studying and solving challenging problems in computer science and by sharing knowledge with the larger research community.

Explore our Focus Areas

Cryptography

Research in cryptography at the intersection of databases, security, and privacy.

Learn more

Distributed Systems

Research in distributed systems particularly by applying formal methods to database design and performance.

Learn more

Machine Learning

Research in machine learning focused on information retrieval, application development and modernization, and database performance.

Learn more

Systems

Research in database performance, application modernization, and programming languages.

Learn more

Research Blog Posts

Distributed systems

LeaseGuard: Raft Leases Done Right!

Say goodbye to buggy Raft leases. LeaseGuard treats the log as the lease for fast, consistent reads and lightning-quick leader failovers.

Read now

Distributed systems

MongoDB Predictive Auto-Scaling: An Experiment

MongoDB Atlas can now predict load spikes. Discover how our experiment in predictive auto-scaling works to save time and money.

Read now

Distributed Systems

Towards Model-based Verification of a Key-Value Storage Engine

In our previous post, we talked about our process of specifying MongoDB’s distributed transactions...

Read now

Distributed Systems

Formal Methods Beyond Correctness: Isolation & Permissiveness of Distributed Transactions in MongoDB

MongoDB has supported distributed, multi-document transactions since 2019, enabling ACID...

Read now

Machine Learning

LEAF: Distillation of State‑of‑the‑Art Text Embedding Models

At MongoDB Research, we’re exploring how to make cutting‑edge AI models smaller, faster, and more flexible.

Read now

Distributed Systems

Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+

MongoDB provides high availability and fault tolerance using replica sets, which are a group of database...

Read now

Distributed Systems

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

At MongoDB, we design a lot of distributed algorithms—algorithms with lots of concurrency...

Read now

Machine Learning

ORiGAMi: A Machine Learning Architecture for the Document Model

The document model has proven to be the optimal paradigm for modern application schemas.

Read now

Distributed Systems

Cat-Herd's Crook: How YAML test specs improve driver conformance

At MongoDB we write open source database drivers in ten programming languages.

Read now