Chakraborty, S., & Vafeiadis, V. (2016). Taming Release-acquire Consistency. In R., Bodik, & R., Majumdar (Eds.), POPL'16 (pp. 649-662). New York, NY: ACM. doi:10.1145/2837614.2837643.