Programming language memory models have to have following properties: (1) support of compiler optimizations, (2) correctness of efficient compilation schemes to target platforms (x86, IBM Power, ARM and others), and (3) absence of so-called "out-of-thin-air" values. At the moment, none of the commonly used memory models satisfy all criteria.
Promising semantics 1.0  is an auspicious solution for the problem, however, the memory model doesn't support the optimal compilation scheme of ARMv8.3's RMWs as well as global optimizations. In the talk, a new semantics--Promising 2.0-- is going to be presented.
 Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer. A promising semantics for relaxed-memory concurrency. In POPL 2017, pp. 175-189. ACM (January 2017)
17.02.2020, 17:15. Venue:room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28