1. Alibaba develops its own 5nm 128-core arm-based server chip. https://www.tomshardware.com/news/alibaba-unveils-128-core-server-cpu, 2021.
2. A formal hierarchy of weak memory models
3. Clarifying and compiling C/C++ concurrency
4. Martin Beck, Koustubha Bhat, Lazar Stričević, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, and Hermann Härtig. Atomig: Automatically migrating millions lines of code from tso to wmm. 2023.
5. Testing concurrent programs on relaxed memory models