{"id":"https://openalex.org/W4399360199","doi":"https://doi.org/10.1145/3670696","title":"Trace Semantics for C++11 Memory Model","display_name":"Trace Semantics for C++11 Memory Model","publication_year":2024,"publication_date":"2024-06-05","ids":{"openalex":"https://openalex.org/W4399360199","doi":"https://doi.org/10.1145/3670696"},"language":"en","primary_location":{"id":"doi:10.1145/3670696","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3670696","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3670696","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3670696","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009246972","display_name":"Lili Xiao","orcid":"https://orcid.org/0000-0002-9006-6219"},"institutions":[{"id":"https://openalex.org/I181326427","display_name":"Donghua University","ror":"https://ror.org/035psfh38","country_code":"CN","type":"education","lineage":["https://openalex.org/I181326427"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lili Xiao","raw_affiliation_strings":["School of Computer Science and Technology, Donghua University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-9006-6219","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Donghua University, Shanghai, China","institution_ids":["https://openalex.org/I181326427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-0214-8565","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005917912","display_name":"Sini Chen","orcid":"https://orcid.org/0000-0003-3923-7972"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sini Chen","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3923-7972","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060566171","display_name":"Mengda He","orcid":"https://orcid.org/0000-0002-1303-2760"},"institutions":[{"id":"https://openalex.org/I874055015","display_name":"Teesside University","ror":"https://ror.org/03z28gk75","country_code":"GB","type":"education","lineage":["https://openalex.org/I874055015"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mengda He","raw_affiliation_strings":["Teesside University, Middlesbrough, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-1303-2760","affiliations":[{"raw_affiliation_string":"Teesside University, Middlesbrough, United Kingdom","institution_ids":["https://openalex.org/I874055015"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042013137","display_name":"Shengchao Qin","orcid":"https://orcid.org/0000-0003-3028-8191"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shengchao Qin","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-3028-8191","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06452514,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"3","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7704789638519287},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6902769804000854},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6304532289505005},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.619071900844574},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5750061869621277},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.13764944672584534},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.13021862506866455}],"concepts":[{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7704789638519287},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6902769804000854},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6304532289505005},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.619071900844574},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5750061869621277},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.13764944672584534},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.13021862506866455}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3670696","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3670696","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3670696","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3670696","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3670696","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3670696","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5799999833106995}],"awards":[{"id":"https://openalex.org/G41279851","display_name":null,"funder_award_id":"62032024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399360199.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1525350307","https://openalex.org/W1592287058","https://openalex.org/W2054739713","https://openalex.org/W2061414465","https://openalex.org/W2085773946","https://openalex.org/W2147218830","https://openalex.org/W2163490397","https://openalex.org/W2550256838","https://openalex.org/W2769194423","https://openalex.org/W2964334533","https://openalex.org/W3049189160","https://openalex.org/W3134644061","https://openalex.org/W3140353777","https://openalex.org/W3214317778","https://openalex.org/W4200200653","https://openalex.org/W4210639184","https://openalex.org/W4214814721","https://openalex.org/W6745573286"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2098962004"],"abstract_inverted_index":{"The":[0,43],"C":[1],"and":[2,31,84,110,123,146,163,199],"C++":[3],"languages":[4],"introduced":[5],"the":[6,10,22,26,52,58,77,81,91,103,111,114,117,124,128,132,142,168,171,177,186,203,207,210,214],"relaxed-memory":[7],"concurrency":[8,60],"into":[9],"language":[11],"specification":[12],"for":[13,25,41,57,80,131,197,217],"efficiency":[14],"purposes":[15],"in":[16,71,90,102,116,159,181],"2011.":[17],"Trace":[18],"semantics":[19,40,56,79,93,130,180,216],"can":[20],"provide":[21],"mathematical":[23],"foundation":[24,208],"proposed":[27,178],"C++11":[28,59,136],"memory":[29,219],"model,":[30,61,98,155],"there":[32],"is":[33,101,137],"a":[34,99,106],"lack":[35],"of":[36,38,47,105,108,170,209,213],"investigation":[37],"trace":[39,78,100,129,154,179,192,215],"C++11.":[42],"Promising":[44],"Semantics":[45],"(PS)":[46],"Kang":[48],"et":[49],"al.":[50],"provides":[51],"standard":[53],"SC-style":[54],"operational":[55],"where":[62],"\u201cSC\u201d":[63],"refers":[64],"to":[65,205],"\u201cSequential":[66],"Consistency\u201d.":[67],"Inspired":[68],"by":[69],"PS,":[70],"this":[72,153,182],"article":[73,183],"we":[74],"first":[75],"investigate":[76],"relaxed":[82],"read":[83],"write":[85],"accesses":[86,134,157],"under":[87,135],"C++11,":[88],"acting":[89],"denotational":[92],"style.":[94],"In":[95],"our":[96,191],"semantic":[97],"form":[104],"sequence":[107],"snapshots,":[109,162],"snapshots":[112],"record":[113],"modification":[115],"relevant":[118],"global":[119],"or":[120],"local":[121],"variables,":[122],"thread":[125,144],"view.":[126],"Moreover,":[127],"release/acquire":[133],"also":[138],"explored,":[139],"based":[140],"on":[141,167],"separated":[143],"views":[145],"newly":[147],"added":[148],"message":[149],"views.":[150],"When":[151],"considering":[152],"different":[156],"bring":[158],"their":[160],"unique":[161],"make":[164],"distinguished":[165],"effects":[166],"production":[169],"sequences.":[172],"For":[173],"any":[174],"given":[175],"program,":[176],"produces":[184],"all":[185],"valid":[187],"traces":[188],"directly.":[189],"Furthermore,":[190],"semantics,":[193],"together":[194],"with":[195],"that":[196],"TSO":[198],"MCA":[200],"ARMv8,":[201],"has":[202],"possibility":[204],"be":[206],"meta":[211],"model":[212],"weak":[218],"models.":[220]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}