@inproceedings{MongoDBCCC:Internetware2021,
  author = {Ouyang, Hongrong and Wei, Hengfeng and Huang, Yu},
  title = {Checking Causal Consistency of {MongoDB}},
  booktitle = {The 12th Asia-Pacific Symposium on Internetware (Internetware '21)},
  year = {2021},
  doi = {10.1145/3457913.3457928},
  url = {https://doi.org/10.1145/3457913.3457928}
}