AegisSheet: A Compositional CRDT for Collaborative Spreadsheets. - Florian Pfeil; David Scandurra; Julian Haas (PaPoC@EuroSys, 2026)