Vafeiadis, Viktor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Lee, S.-H., Cho, M., Podkopaev, A., Chakraborty, S., Hur, C.-K., Lahav, O., et al. (2020). Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. In A. F. Donaldson, & E. Torlak (Eds.), PLDI '20 (pp. 362-376). New York, NY: ACM. doi:10.1145/3385412.3386010.