. . . . . “Chase Norman等人：PipeSynth：用于内存一致性的微体系结构公理的自动合成。（2023）”。 . . _：ID_8d149870358792431f05861生效。_：ID_8d149870358792431f05861生效 ._：ID_8d149870358792431f05861生效 ._：ID_8d149870358792431f05861生效“conf/asplos/NormanGM23”。 _：ID_7484a47b4717a140b08bee6ade5f4363。_：ID_7484a47b4717a140b08bee6ade5f4363 ._：ID_7484a47b4717a140b08bee6ade5f4363 ._：ID_7484a47b4717a140b08bee6ade5f4363"10.1145/3582016.3582056" . “PipeSynth：用于内存一致性的微体系结构公理的自动合成。”。 . . . . "3"^^. _：Sig_454ca03f04655387d73d8deab2cdbe08_1。_：Sig_454ca03f04655387d73d8deab2cdbe08_1 ._：Sig_454ca03f04655387d73d8deab2cdbe08_1《追逐诺曼》。_：Sig_454ca03f04655387d73d8deab2cdbe08_1 ._：Sig_454ca03f04655387d73d8deab2cdbe08_1"1"^^._：Sig_454ca03f04655387d73d8deab2cdbe08_1 . _：Sig_454ca03f04655387d73d8deab2cdbe08_2。_：Sig_454ca03f04655387d73d8deab2cdbe08_2 ._：信号_454ca03f04655387d73d8deab2cdbe08_2“Adwait Godbole”。_：Sig_454ca03f04655387d73d8deab2cdbe08_2 ._：Sig_454ca03f04655387d73d8deab2cdbe08_2"2"^^._：信号_454ca03f04655387d73d8deab2cdbe08_2 . _：Sig_454ca03f04655387d73d8deab2cdbe08_3。_：Sig_454ca03f04655387d73d8deab2cdbe08_3 ._：Sig_454ca03f04655387d73d8deab2cdbe08_3“Yatin A.Manerkar”。_：Sig_454ca03f04655387d73d8deab2cdbe08_3 ._：Sig_454ca03f04655387d73d8deab2cdbe08_3"3"^^._：Sig_454ca03f04655387d73d8deab2cdbe08_3 . . . . "513-527" . “ASPLOS（3）”。 “ASPLOS（3）”。 "2023"^^. "2023"^^. . “dblp记录'conf/asplos/NormanGM23'的RDF数据的出处信息”。 . . . “2023-03-21T11:31:03+0100”。