@inproceedings{TACAS 2025,
  author       = {Shabnam Ghasemirad and
                  Christoph Sprenger and
                  Si Liu and
                  Luca Multazzu and
                  David A. Basin},
  editor       = {Arie Gurfinkel and
                  Marijn Heule},
  title        = {Pushing the Limit: Verified Performance-Optimal Causally-Consistent
                  Database Transactions},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 31st International Conference, {TACAS} 2025, Held as Part of the
                  International Joint Conferences on Theory and Practice of Software,
                  {ETAPS} 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part
                  {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15698},
  pages        = {43--62},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-90660-2\_3},
  doi          = {10.1007/978-3-031-90660-2\_3},
  biburl       = {https://dblp.org/rec/conf/tacas/GhasemiradSLMB25.bib},
}