{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,3,13]]，“日期-时间”：“2024-03-13T21:36:02Z”，“时间戳”：1710365762132}，“参考-计数”：23，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1”，“许可证”：[{“开始”:{“日期-零件”：[2021,3,5]]，”日期-时间“：“2021-03-05T00:00:00Z”，“timestamp”：161490240000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springernature.com//gp\/researters\/text-and-data-mining”}，{“start”：{“date-parts”：[[2021,3,5]]，“date-time”：“2021-03-05T00:00:00Z”，“timetamp”：614902400000}：“https:\/\/wspringernature.com\/gp\/researchers\/text and data mining”｝]，“资助者”：[｛“DOI”：“10.13039\/100000001”，“名称”：“国家科学基金会”，“DOI断言者”：“出版商”，“奖项”：[“CCF-1138996”，“XPS-1337174”]｝]，“内容域”：｛“域”：[“link.springer.com”]，“交叉标记限制”：false｝，“短容器标题”：[“Form Methods Syst Des”]，“published-print”：{“date-parts”：[[2022,2]]}，“DOI”：“10.1007\/s10703-021-00362-8”，“type”：“journal-article”，“created”：{“date-ports”：[2021,3,5]]，“date-time”：“2021-03-05T11:02:56Z”，“timestamp”：1614942176000}，”page：“1-32”，“update-policy”：”http://\/dx.DOI.org \/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：2，“title”：[“静态检测GPU程序中的未缓冲访问”]，“prefix”：“10.1007”，“volume”：“60”，“author”：[{“given”：”Rajeev“，”family“：”Alur“，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Joseph”，“family”：“Devietti”，“segment”：“additional”，“filiance”：[]}，“givent”：“Omar S.Navarro”，“家族”：“Lei”ja“，”序列“：“additional”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0003-1345-0505”，“authenticated-ORCID”：false，“given”：”Nimit“，”family“：”Singhania“，”sequence“：”additional“，”affiliance“：[]2]，”member“：”297“，”published-online“：{”date-parts“：[2021,3,5]]}”，“reference”：[{“key“：”362_CR1“，”doi-asserted-by“：“publisher”，“unstructured”：“Allen JR，Kennedy K，Porterfield C，Warren J（1983）控制依赖到数据依赖的转换。摘自：第十届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集，POPL\u201983。ACM，美国纽约州纽约市，第177\u2013189页。https:\/\/doi.org\/10.1145\/567067.567085“，”doi“：”10.1145\/5670567085”}，{“key”：“362_CR2”，“doi-asserted-by”：“publisher”，“unstructured”：“Amilkanthwar M，Balachandran，S（2013）CUPL:CUDA的编译时非缓冲内存访问模式定位器。摘自：第27届国际ACM会议关于超级计算国际会议的会议记录，ICS\u201913。美国纽约州纽约市ACM，第459\u2013460页。https:\/\/doi.org\/10.1145\/2464996.2467288“，”doi“：”10.1145\/24649 96.24672“}，{”key“：”362_CR3“，”doi-asserted-by“：”publisher“，”unstructured“：”Baskaran MM，Bondhugula U，Krishnamoorthy S，Ramanujam J，Rountev A，Sadayappan P（2008）一种用于优化GPGPU仿射循环嵌套的编译器框架。摘自：第22届超级计算国际年会论文集，ICS\u201908。ACM，美国纽约州纽约市，第225\u2013234页。https:\/\/doi.org\/10.1145\/1375527.1375562“，”doi“：”10.1145\/137527.1375562“}，{”issue“：”10“，”key“：”362_CR4“，”doi-asserted-by“：”publisher“，”first page“：“113”，“doi”：“10.1145\/2398857.2384625”，“volume”：“47”，“author”：“A Betts”，“year”：“2012”，“unstructured”：“Betts A，Chong N，Donaldson A，Qa Deer S、Thomson P（2012）GPU验证：GPU内核的验证程序。SIGPLAN通知47（10）：113\u2013132。https:\/\/doi.org\/10.1145\/2398857.2384625“，”journal-title“：”SIGPLAN通知“}，{”issue“：”3“，”key“：”362_CR5“，”doi-asserted-by“：”publisher“，”first page“：“10:1”，“doi”：“10.1145\/2743017”，“volume”：“37”，“author”：“A Betts”，“year”：“2015”，“unstructured”：“Betts A，Chong N，Donaldson AF，Ketema J，Qadeer S、汤姆森·P、威克森·J（2015）GPU内核验证技术的设计与实现。ACM Trans Program Lang Syst 37（3）：10:1-10:49。https:\/\/doi.org\/10.1145\/2743017“，”journal-title“：”ACM Trans Program Lang Syst“}，{”key“：”362_CR6“，”doi-asserted-by“：”publisher“，”unstructured“：”Boyer RS，Elspa B，Levitt KN（1975）SELECT\u2013是一个通过符号执行测试和调试程序的正式系统。摘自：可靠软件国际会议论文集。ACM，美国纽约州纽约市，第234\u2013245页。https:\/\/doi.org\/10.1145\/800027.808445“，”doi“：”10.1145\/800027.808445“}，{”key“：”362_CR7“，”doi-asserted-by“：”publisher“，”unstructured“：”Che S，Boyer M，Meng J，Tarjan D，Sheaffer JW，Lee SH，Skadron K（2009）Rodinia：异构计算的基准套件。摘自：2009年IEEE工作负荷特性国际研讨会论文集，IISWC\u201909。IEEE计算机学会，美国华盛顿特区，第44\u201354页。https:\/\/doi.org\/10.109\/IISWC.2009.5306797“，”doi“：”10.1109\/IISVC.2009.5506797“}，{“key”：“362_CR8”，“doi-asserted-by”：“publisher”，“unstructured”：“Cousot P，Cousot R（1977）抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。摘自：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集，POPL\u201977。美国纽约州纽约市ACM，第238\u2013252页。https:\/\/doi.org\/10.1145\/512950.512973“，”doi“：”10.1145\/512950.512973“}，{”key“：”362_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Fauzia N，Pouchet LN，Sadayappan P（2015）描述和增强GPU上的全局内存数据合并。摘自：第13届IEEE/ACM代码生成和优化国际研讨会论文集，CGO\u201915。IEEE计算机学会，美国华盛顿特区，第12\u201322页。http://\/dl.acm.org\/citation.cfm？id=2738600.2738603“，”DOI“：”10.1109\/CGO.2015.7054183“}，{“key”：“362_CR10”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3658-10113-8”，“volume-title”：“基于SSA的控制流图的自动SIMD矢量化”，“author”：“R Karrenberg”，“year”：“2015”，“unstructured”：“Karrenberg R（2015）基于SSA的控制流图的自动SIMD矢量化。Springer，Berlin“}，{“key”：“362_CR11”，“doi-asserted-by”：“publisher”，“unstructured”：“Kim Y，Shrivastava A（2011）CuMAPz:分析CUDA内存访问模式的工具。收录：第48届设计自动化会议论文集，DAC\u201911。美国纽约州纽约市ACM，第128\u2013133页。https:\/\/doi.org\/10.1145\/2024724.2024754“，”doi“：”10.1145\/202472024754“}，{”key“：”362_CR12“，”doi-asserted-by“：”publisher“，”unstructured“：”King JC（1975）《程序测试的新方法》。摘自：《可靠软件国际会议论文集》。美国纽约州纽约市ACM，第228\u2013233页。https:\/\/doi.org\/10.1145\/800027.808444“，”doi“：”10.1145\/800027.808444“}，{”key“：”362_CR13“，”doi-asserted-by“：”publisher“，”unstructured“：”Li G，Gopalakrishnan G（2010）基于可伸缩SMT的GPU内核函数验证。摘自：第十八届ACM SIGSOFT软件工程基础国际研讨会论文集，FSE\u201910。ACM，美国纽约州纽约市，第187\u2013196页。https:\/\/doi.org\/10.1145\/1882291.1882320“，“doi”：“10.1145\/188291.1882320”}，{“key”：“362_CR14”，“doi-asserted-by”：“publisher”，“unstructured”：“Li G，Li P，Sawaya G，Gopalakrishnan G，Ghosh I，Rajan SP（2012）GKLEE:GPU的Concolic验证和测试生成。摘自：第17届ACM SIGPLAN并行编程原理与实践研讨会论文集，PPoPP\u201912。ACM，美国纽约州纽约市，第215页\u2013224。https:\/\/doi.org\/10.1145\/2145816.2145844“，”doi“：”10.1145\/21458216.2145844“}，{”key“：”362_CR15“，”doi-asserted-by“：”publisher“，”unstructured“：”Moll S，Hack S（2018）Partial control-flow linearization。摘自：第39届ACM SIGPLAN编程语言设计与实现会议论文集，PLDI 2018。美国纽约州纽约市ACM，第543\u2013556页。https:\/\/doi.org\/10.1145\/3192366.3192413“，”doi“：”10.1145\/319266.3192413“}，{”key“：”362_CR16“，”volume-title“：”程序分析原理“，”author“：”F Nielson“，”year“：”2010“，”unstructured“：”Nielson F，Nielson HR，Hankin C（2010）程序分析原理。Springer，Cham“}英伟达：CUDA C编程指南v9.0。http://\/docs.nvidia.com/cuda\/cuda-c-programming-guide//“}，{“key”：“362_CR18”，“unstructured”：“nvidia:nvidia性能分析工具。http://\/developer.nvidia.com/Performance-Analysis-Tools//”}，}，“key“：”362_CR19“，”doi-asserted-by“：”publisher“，”unstructure“：”Pharr M，Mark WR（2012）ispc：用于高性能cpu编程的spmd编译器。2012年创新并行计算（InPar），第1\u201313页。https:\/\/doi.org\/10.109\/InPar.2012.6339601“，”doi“：”10.1109\/InPar.2012.63339601“}，{“key”：“362_CR20”，“doi-asserted-by”：“publisher”，“unstructured”：“Sung IJ，Stratton JA，Hwu WMW（2010）数据布局转换利用结构化网格多核应用程序中的内存级并行性。摘自：第19届并行体系结构和编译技术国际会议论文集，PACT\u201910。美国纽约州纽约市ACM，第513\u2013522页。https:\/\/doi.org\/10.1145\/1854273.1854336“，”doi“：”10.1145\/18542873.18543“}，{”key“：”362_CR21“，”doi-asserted-by“：”publisher“，”unstructured“：”Ueng SZ，Lathara M，Baghsorkhi SS，Hwu WMW（2008）并行计算的语言和编译器。第CUDA-Lite章：降低GPU编程复杂性。柏林斯普林格，pp 1\u201315。https:\/\/doi.org\/10.1007\/978-3-540-89740-8_1“，“doi”：“10.1007\/978-23-540-8940-8_1”}，{“key”：“362_CR22”，“doi-asserted-by”：“publisher”，“unstructured”：“Wu J，Belevich A，Bendersky E，Heffernan M，Leary C，Pienaar J，Roune B，Springer R，Weng X，Hundt R（2016）Gpucc：一个开源GPGPU编译器。摘自：2016年代码生成与优化国际研讨会论文集，CGO\u201916。美国纽约州纽约市ACM，第105\u2013116页。https:\/\/doi.org\/10.1145\/2854038.2854041“，”doi“：”10.1145\/28540.382854041“}，{”key“：”362_CR23“，”doi-asserted-by“：”publisher“，”unstructured“：”Yang Y，Xiang P，Kong J，Zhou H（2010）用于内存优化和并行管理的GPGPU编译器。摘自：第31届ACM SIGPLAN编程语言设计与实现会议记录，PLDI\u201910。ACM，美国纽约州纽约市，第86页\u201397。https:\/\/doi.org\/10.1145\/1806596.1806606“，”doi“：”10.1145\/18065096.1806.606“}]，”container-title“：[”系统设计中的形式方法“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/10007\/s10703-021-00362-8.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”预期应用程序“：”text-mining“}，{“URL”：“https:\/\/link.springer.com/article\/10.1007\/s10703-021-00362-8\/fulltext.html”，“内容类型”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，}“URL“https:\\/link.stringer.com/content\/pdf\/10.10007\/s10703-021-003652-8.pdf”，“content-type”：“application\/pdf”，“content-vers”离子“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,2,8]]，”date-time“：”2023-02-08T17:30:09Z“，”timestamp“：1675877409000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/s10703-021-00362-8”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2021,3,5]]}，“引用计数”：23，“日志问题“：{”问题“：“1”，“published-print”：{“date-parts”：[[2022,2]}}，“alternative-id”：[“362”]，“URL”：“http://\/dx.doi.org\/10.1007\/s10703-021-00362-8”，“relation”：{}，”ISSN“：[”0925-9856“，”1572-8102“]，”ISSN-type“：[{”value“：”0925-8856“”，“type”：“print”}，{“value“：“1572-8102”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2021,3,5]]}，“断言“：[{”value“：”2018年11月18日“，”order“：1，”name“：”received“，”label“：”received“，“group”：{”name“:”Article History“，”table“：”Articles History”}}，{“value”：“2021年2月10日”，“order”：2，“name”：“accepted”，“label”：“accepted first_online“，”标签“：”第一联机“，”组“：{“name”：“ArticleHistory”，“label”：“文章历史”}}]}}