Research

Publications

  1. Proc. ACM Program. Lang. 10, OOPSLA2, Article 346 (2026)

    Composing CRDTs Convergent by Construction

    Alexander Städing Dominguez, George Zakhour, Pascal Weisenburger, Guido Salvaneschi

    PaperArtifact
    BibTeX
    @article{StadingDominguez2026Composing,
  title     = {Composing {CRDTs} Convergent by Construction},
  author    = {St{\"a}ding Dominguez, Alexander and Zakhour, George and
               Weisenburger, Pascal and Salvaneschi, Guido},
  journal   = {Proc. ACM Program. Lang.},
  volume    = {10},
  number    = {OOPSLA2},
  articleno = {346},
  year      = {2026},
  doi       = {10.1145/3839478}
}