大通诺曼 Adwait Godbole公司 亚丁·A·马内卡 PipeSynth：用于内存一致性的微体系结构公理的自动合成。 513-527 2023 阿斯普洛斯（3） https://doi.org/10.1145/3582016.3582058206 conf/asplos/2023-3 db/conf/asplos/asplos2023-3.html#NormanGM23