Cited By
View all- Patel NKrishna SShasha DWies T(2021)Verifying concurrent multicopy search structuresProceedings of the ACM on Programming Languages10.1145/34854905:OOPSLA(1-32)Online publication date: 15-Oct-2021
- Lykhenko TSoares RRodrigues LZhang KGherbi AVenkatasubramanian NVeiga L(2021)FaaSTCCProceedings of the 22nd International Middleware Conference10.1145/3464298.3493392(159-171)Online publication date: 6-Dec-2021
- Rahmani KNagar KDelaware BJagannathan SFreund SYahav E(2021)Repairing serializability bugs in distributed database programs via automated schema refactoringProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454028(32-47)Online publication date: 19-Jun-2021
- Show More Cited By