Taming release-acquire consistency

Ori Lahav, Nick Giannarakis, Viktor Vafeiadis
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016  
doi:10.1145/2837614.2837643 dblp:conf/popl/LahavGV16 fatcat:lp4lgfkxzvbhtn4vdeaevjj6ei