Cited By
View all- Farka FNanevski ABanerjee ADelbianco GFábregas I(2021)On algebraic abstractions for concurrent separation logicsProceedings of the ACM on Programming Languages10.1145/34342865:POPL(1-32)Online publication date: 4-Jan-2021
- Margalit RLahav O(2021)Verifying observational robustness against a c11-style memory modelProceedings of the ACM on Programming Languages10.1145/34342855:POPL(1-33)Online publication date: 4-Jan-2021
- Anton EAyesta UJonckheere MVerloop I(2021)Improving the Performance of Heterogeneous Data Centers through RedundancyProceedings of the ACM on Measurement and Analysis of Computing Systems10.1145/34283334:3(1-29)Online publication date: 15-Jun-2021
- Show More Cited By