Author:
Alvaro Peter,Conway Neil,Hellerstein Joseph M.,Maier David
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LoRe: A Programming Model for Verifiably Safe Local-first Software;ACM Transactions on Programming Languages and Systems;2024-01-15
2. Keep CALM and CRDT On;Proceedings of the VLDB Endowment;2022-12
3. LoRe: Local-First Reactive Programming with Verified Safety Guarantees;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29
4. Katara: synthesizing CRDTs with verified lifting;Proceedings of the ACM on Programming Languages;2022-10-31
5. Technical Perspective;ACM SIGMOD Record;2022-05-31