Cited By
View all- Ranjan NShang ZKrishnan SElmore A(2021)Version Reconciliation for Collaborative DatabasesProceedings of the ACM Symposium on Cloud Computing10.1145/3472883.3486980(473-488)Online publication date: 1-Nov-2021
- Albert EGrossman SRinetzky NRodríguez-Núñez CRubio ASagiv M(2020)Taming callbacks for smart contract modularityProceedings of the ACM on Programming Languages10.1145/34282774:OOPSLA(1-30)Online publication date: 13-Nov-2020
- Bansal KKoskinen ETripp O(2020)Synthesizing Precise and Useful Commutativity ConditionsJournal of Automated Reasoning10.1007/s10817-020-09573-wOnline publication date: 29-Aug-2020
- Show More Cited By