@misc{indiciaec741819d4c36,
  title = {TxForest: A DSL for Concurrent Filestores},
  author = {Jonathan DiLorenzo and Katie Mancini and Kathleen Fisher and Nate Foster},
  year = {2019},
  url = {https://arxiv.org/abs/1908.10273},
  note = {Source identifier: 1908.10273}
}