{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,5,14]]，“日期-时间”：“2024-05-14T15:09:30Z”，“时间戳”：1715699370727}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：45，“发布商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2020,3,9]]}，“DOI”：“10.1145\/337376.3378480”，“type”：“proceedings-article”，“created”：{-“date-ports”：[20200,3,13]]，“date-time”：“2020-03-13T22:37:01Z”，“timestamp”：1584139021000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“”source“：”Crossref“，”is-referenced-by-count“：19，”title“：[”HMC“]，”prefix“：“10.1145”，“作者”：[{“given”：“Michalis”，“family”：“Kokologianakis”，“sequence”：“first”，“affiliation”：[}“name”：“MPI-SWS，Kaiserslautern，Germany”}]}，{“given”:“Viktor”，“家族”：“Vafeiadis”，”sequence“：“additional”，“ffliation”:[{”name“MPI-WSS，Kaizerslauter，German”}]]，“member”：“320”，“published-online”：{“日期部分”：[[2020,3,13]]}，“参考”：[{“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3662-46681-0_28“}，{“key”：”e_1_ 3_2_1_2_1“，”doi-assert-by“：”publisher“，“doi”：“10.1145\/3073408”}，“key“：”e_ 1_3_2 _1_3_1“，{“key”：“e_1_3_2_1_4_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/3276505“}，{”key“：“e_1_3_2_1_5_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2535838.2535845“}，{“key”：“e_ 1_3_2 _1_6_1”、“volume-title”：“CAV”，“author”：“Albert Elvira”，“year”：“2018”}，“key“：”e_1_ 3_2_1 _7_1“，”doi-assert-by“：”publisher“，“doi”：“10.1007\/978-3642-39799-8_9”}、{“key”“：”e_1_3_2_1_8_1“，”volume-title“：”ASPLOS“，”author“：”Algale-Jade“，”year“：”2018“}，{“key”：“e_1_3_2_1_9_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2627752“}，{“key”：“e_e_3_2_1_10_1”1_3_2_12_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/3062341.3062353“}，{”key“：“e_1_3_2_13_1”，“volume-title”：“PLDI”，“author”：“Burckhardt Sebastian”，“year”：“2007”}，{“key”：“e\u1_3_2_14_1”、“doi-asserted-by”：“publisher”，”doi“：”10.1145\/3290383“}，”{“密钥”：“e_1_3_2 _15_1”，“年份”：“2017年”}，{“关键”：“e_1_3_2_1_16_1”，“卷时间”：“为医疗设备选择linux。[Online”，“author”：“Harold Ken”，“year”：“2019”}，{“key”：“e_1_3_2_17_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3-540-24730-2_15“}，”{“密钥”：“e_1_3_2_18_1”卷标题“：”CAV“，”作者“：”Gavrilenko Natalia“，”年份“：“2019”}，{“key”：“e_1_3_2_1_20_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/263699.263717“}，”{“密钥”：“e_1_3_2_1_21_1”，”doi-assert-by“：”publisher“，“doi”：“10.1007\/11537328”}，{“键”：“e_1_3_2_1_23_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/2737924.2737975”}，{“key”：“e_1_3_2_1_24_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145 \/2983990.2984025“}，{“key”：”e_1_ 3_2_1_2 5_1“，”doi-assert-by“：”publisher“，annakis Michalis“，“年份”：“2017”}，{“关键”：“e_1_3_2_1_27_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3314221.3314609”}，{“key”：“e_1_3_2_1_28_1”，”doi-assert-by“：”publisher“，”doi“：”10.1007\/s10009-019-00514-6“}，”{“key”：“e_1_3_2_1_29_1”、“doi-sserted-by“”：“publisher”，“doi”：”10.1145\/3062341.3062352“}”，{”key“：”e_1_ 3_2_1_30_1“”，“文章标题”：“How to make a multiprocessor computer that correctly execute multi-process programs”，“volume”：“28”，“author”：“Lamport Leslie”，“year”：“1979”，“journal-title”：“IEEE Trans.Computers”}，{“key”：”e_1_3_2_1_31_1“，”volume-title“：”OSDI“，”author“：”Musuvathi Madanal“，”year“2008”}、{“密钥”：“e_3_2_2_1_32_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2509136.2509514”}，{“key”：“e_1_3_2_1_33_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3642-03359-9_27“}，“key“：”e_1_ 3_2_1_1_34_1“，”doi-assert-by“：”publisher“，简化ARM并发：ARMv8的多副本原子公理和操作模型”，“volume”：“19”，“author”：“Pulte Christopher”，“year”：“2018”，“journal-title”：“Proc.ACM Program.Lang.，2，POPL”}，{“key”：”e_1_3_2_1_36_1“，”volume-title“：”PLDI“，”author“：”Pulte克里斯托弗“，”year“：”2019。[在线]，“年份”：“2019”}，{“key”：“e_1_3_2_1_38_1”，“volume-title”：“CONCUR 2015（LIPIcs）。”，“卷”：“42”，“作者”：“Rodr\u00edguez C\u00e9sar”，《年份》：“2015”}、{“密钥”：“e_1_3_2_1_39_1”、“doi-asserted-by”：“出版商”，“doi”：“10.1145\/1993498.1993520”}_1_40_1“，”volume-title“：”SPARC体系结构手册（第9版）“，”author“：”SPARC International Inc.1994。“}，{”key“：”e_1_3_2_1_41_1“，”volume-title“：”软件验证竞赛（SV-COMP）。[在线“，”author“：”SV-COMP.“，“年份”：“2019”}，“key”：“e_1_ 3_2_1 _42_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/3037697.3037719“}”，{2019年10月。RISC-V指令集手册第一卷：用户级ISA。https:\/\/content.riscv.org\/wpcontent\/uploads\/2019\/06\/riscv-spec.pdf。安德鲁·沃特曼和克里斯特·阿萨诺维？。2019.RISC-V指令集手册第一卷：用户级ISA。https:\/\/content.riscv.org\/wpcontent\/uploads\/2019\/06\/riscv-spec.pdf。“}，{”key“：”e_1_3_2_1_44_1“，”volume-title“：”Constantinides“，”author“：”Wickerson John“，“年份”：“2017”}，“{”key“：“e_1_ 3_2_1 _45_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2737924.2737956“}]，”event“：{”name“：”ASPLOS“20:编程语言和操作系统的体系结构支持”，“位置”：“瑞士洛桑”，“缩写”：“ASPLOS”PLOS'20“，”赞助商“：[”SIGPLAN ACM编程语言特别兴趣小组“，”SIGOPS ACM操作系统特别兴趣小组”，“SIGARCH ACM计算机体系结构特别兴趣小组第二十五届国际编程语言和操作系统体系结构支持会议记录“]，“original-title”：[]，“link”：[{“URL”：“https:\\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378480”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{date-parts“：[[2023,1,7]]，“date-time”：“2023-01-07T18:42:59Z”，“timestamp”：1673116979000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/33736.3378480”}}，”subtittle“：[”硬件内存模型检查“]，”shorttitle“：[]，”issued“：{”date-part“：[2020,3,9]]}，nces-count“：45，”alternative-id“：[”10.1145\/337376.3378480“，”10.1145\/3373376“]，”URL“：”http://\/dx.doi.org\/10.1145\/33763378480“，”relation“：{}，”subject“：[]，”published“：{”date-parts“：[[2020,3,9]]}，“assertion”：[{“value”：“2020-03-13”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”:“publication_history”，“标签”：“出版物历史”}}]}}