corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08773-4e97-732c-baa7-792998891977

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

A. Jesse Jiryu Davis · published 3 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at emptysqua.re Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
27
Words captured
4,300

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs
mongodb.com
https://arxiv.org/abs/1111.2826
arxiv.org
https://www.linkedin.com/in/judahschvimer/
linkedin.com
https://www.linkedin.com/in/maxhirschhorn/
linkedin.com
https://www.youtube.com/watch?v=-eAktIBUhHA
youtube.com
https://www.youtube.com/watch?v=x9zSynTfLDE
youtube.com
https://github.com/mongodb/mongo/blob/master/src/mongo/tla_plus/Replication/RaftMongo/RaftMongo.tla
github.com
https://www.usenix.org/conference/nsdi21/presentation/zhou
usenix.org
https://pron.github.io/files/Trace.pdf
pron.github.io
https://fhackett.com/
fhackett.com
https://www.mongodb.com/resources/resources/resource-library/docs-atlas-device-sync-getting-started?xs=494444
mongodb.com
https://en.wikipedia.org/wiki/Operational_transformation
en.wikipedia.org
https://lcamtuf.coredump.cx/afl/
lcamtuf.coredump.cx
https://arxiv.org/abs/2006.00915
arxiv.org
https://dl.acm.org/doi/abs/10.1145/3552326.3587442
dl.acm.org
Multi-Grained Specifications for Distributed System Model Checking and Verification Read at the source ↗
muratbuffalo.blogspot.com
https://github.com/tangruize/SandTable/blob/main/doc/SandTable-Paper.pdf
github.com
https://will62794.github.io/
will62794.github.io
http://muratbuffalo.blogspot.com/
muratbuffalo.blogspot.com
https://vldb.org/2025/
vldb.org
https://dariusf.github.io/cpluscal.pdf
dariusf.github.io
http://arxiv.org/pdf/2404.16075v2
arxiv.org
Smart Casual Verification of the Confidential Consortium Framework Read at the source ↗
muratbuffalo.blogspot.com
https://groups.google.com/d/msgid/tlaplus/2443fd1a-1c35-419a-95b8-72de361f28bdn%40googlegroups.com
groups.google.com
https://www.cs.ubc.ca/~bestchai/papers/asplos23-pgo.pdf
cs.ubc.ca
Jesse's Notes from the Antithesis BugBash Conference Read at the source ↗
emptysqua.re
https://github.com/tlaplus/tlaplus/issues/1073
github.com