Cited By
View all- Raad ADoko MRožić LLahav OVafeiadis V(2019)On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency modelsProceedings of the ACM on Programming Languages10.1145/32903813:POPL(1-31)Online publication date: 2-Jan-2019
- Lahav OGiannarakis NVafeiadis V(2016)Taming release-acquire consistencyACM SIGPLAN Notices10.1145/2914770.283764351:1(649-662)Online publication date: 11-Jan-2016
- Lahav OGiannarakis NVafeiadis VBodik RMajumdar R(2016)Taming release-acquire consistencyProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2837614.2837643(649-662)Online publication date: 11-Jan-2016
- Show More Cited By