{"id":"https://openalex.org/W1945229733","doi":"https://doi.org/10.1145/2837614.2837637","title":"Overhauling SC atomics in C11 and OpenCL","display_name":"Overhauling SC atomics in C11 and OpenCL","publication_year":2016,"publication_date":"2016-01-07","ids":{"openalex":"https://openalex.org/W1945229733","doi":"https://doi.org/10.1145/2837614.2837637","mag":"1945229733"},"language":"en","primary_location":{"id":"doi:10.1145/2837614.2837637","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2837614.2837637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1503.07073","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043076240","display_name":"Mark Batty","orcid":"https://orcid.org/0000-0001-7053-4364"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mark Batty","raw_affiliation_strings":["University of Kent, UK","University of Kent (UK)"],"affiliations":[{"raw_affiliation_string":"University of Kent, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent (UK)","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080781439","display_name":"Alastair F. Donaldson","orcid":"https://orcid.org/0000-0002-7448-7961"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alastair F. Donaldson","raw_affiliation_strings":["Imperial College London, UK","Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002846450","display_name":"John Wickerson","orcid":"https://orcid.org/0000-0001-6735-5533"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Wickerson","raw_affiliation_strings":["Imperial College London, UK","Imperial College , London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College , London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043076240"],"corresponding_institution_ids":["https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":13.651,"has_fulltext":false,"cited_by_count":90,"citation_normalized_percentile":{"value":0.99360272,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"634","last_page":"648"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10683","display_name":"Mass Spectrometry Techniques and Applications","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1607","display_name":"Spectroscopy"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10683","display_name":"Mass Spectrometry Techniques and Applications","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1607","display_name":"Spectroscopy"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9926000237464905,"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/T12579","display_name":"Muon and positron interactions and applications","score":0.9846000075340271,"subfield":{"id":"https://openalex.org/subfields/2211","display_name":"Mechanics of Materials"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.630652904510498},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4511593282222748},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.33563554286956787},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.33383846282958984},{"id":"https://openalex.org/keywords/nuclear-engineering","display_name":"Nuclear engineering","score":0.32717016339302063},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08842068910598755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.630652904510498},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4511593282222748},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.33563554286956787},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.33383846282958984},{"id":"https://openalex.org/C116915560","wikidata":"https://www.wikidata.org/wiki/Q83504","display_name":"Nuclear engineering","level":1,"score":0.32717016339302063},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08842068910598755}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2837614.2837637","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2837614.2837637","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:kar.kent.ac.uk:51385","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2837614.2837637>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:arXiv.org:1503.07073","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1503.07073","pdf_url":"https://arxiv.org/pdf/1503.07073","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/32075","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/32075","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","raw_type":"Conference Paper"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/39004","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/39004","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Principles of Programming Languages (POPL)","raw_type":"Conference Paper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1503.07073","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1503.07073","pdf_url":"https://arxiv.org/pdf/1503.07073","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5299827457","display_name":null,"funder_award_id":"EP/K015168/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5524266619","display_name":null,"funder_award_id":"EP/I020357/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7408661881","display_name":null,"funder_award_id":"EP/K011499/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7636327426","display_name":null,"funder_award_id":"CARP Project 287767","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"},{"id":"https://openalex.org/G8602959237","display_name":null,"funder_award_id":"grants EP/K011499/1, EP/I020357/1, EP/K015168/1, and EP/I01236/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W109545358","https://openalex.org/W867008410","https://openalex.org/W1482397304","https://openalex.org/W1525350307","https://openalex.org/W1789713128","https://openalex.org/W1808398105","https://openalex.org/W1945229733","https://openalex.org/W1983206712","https://openalex.org/W2000659103","https://openalex.org/W2003556922","https://openalex.org/W2006006495","https://openalex.org/W2014708731","https://openalex.org/W2021993413","https://openalex.org/W2022111223","https://openalex.org/W2026161190","https://openalex.org/W2039509099","https://openalex.org/W2054739713","https://openalex.org/W2058943117","https://openalex.org/W2083780331","https://openalex.org/W2094191591","https://openalex.org/W2111858071","https://openalex.org/W2120339165","https://openalex.org/W2122901568","https://openalex.org/W2132117132","https://openalex.org/W2138074470","https://openalex.org/W2144126367","https://openalex.org/W2150618958","https://openalex.org/W2152885346","https://openalex.org/W2153636750","https://openalex.org/W2164264520","https://openalex.org/W2168397157","https://openalex.org/W2169832991","https://openalex.org/W2169870841","https://openalex.org/W2199020522","https://openalex.org/W2234512370","https://openalex.org/W2280574045","https://openalex.org/W2293319505","https://openalex.org/W2738891045","https://openalex.org/W2949128647","https://openalex.org/W2987803397","https://openalex.org/W2998259759","https://openalex.org/W4205135337","https://openalex.org/W4231136532","https://openalex.org/W4234066571","https://openalex.org/W4240322740","https://openalex.org/W4242019954","https://openalex.org/W4247177090","https://openalex.org/W4248180156","https://openalex.org/W4255365726","https://openalex.org/W4256041698"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Despite":[0],"the":[1,8,17,46,61,78,100,118,123,155,158,179,208,232,241],"conceptual":[2],"simplicity":[3],"of":[4,10,40,56,85,153,178,186],"sequential":[5],"consistency":[6],"(SC),":[7],"semantics":[9,132],"SC":[11,41,62,90,124,134],"atomic":[12],"operations":[13,63,135],"and":[14,19,52,82,157,175,182,192],"fences":[15],"in":[16,43,49,64,203,223],"C11":[18,96,110,156,181,227],"OpenCL":[20,107,119,159,183],"memory":[21,103,160,210],"models":[22],"is":[23,59],"subtle,":[24],"leading":[25],"to":[26,32,70,98,128,133,141,145,165,219],"convoluted":[27],"prose":[28],"descriptions":[29],"that":[30,60,88,136,170,176,215],"translate":[31],"complex":[33],"axiomatic":[34],"formalisations.":[35],"We":[36,92,168],"conduct":[37],"an":[38,65,220],"overhaul":[39,149,217],"atomics":[42],"C11,":[44,196],"reducing":[45],"associated":[47],"axioms":[48,125],"both":[50,154],"number":[51],"complexity.":[53],"A":[54],"consequence":[55],"our":[57,94,204,216],"simplification":[58],"execution":[66],"no":[67],"longer":[68],"need":[69],"be":[71],"totally":[72],"ordered.":[73],"This":[74],"relaxation":[75],"enables,":[76],"for":[77,106,113,195,199,226],"first":[79,101],"time,":[80],"efficient":[81],"exhaustive":[83],"simulation":[84,224,237],"litmus":[86,228],"tests":[87,229],"use":[89],"atomics.":[91],"extend":[93],"improved":[95],"model":[97,104,211],"obtain":[99],"rigorous":[102],"formalisation":[105],"(which":[108],"extends":[109],"with":[111,231,240],"support":[112],"heterogeneous":[114],"many-core":[115],"programming).":[116],"In":[117],"setting,":[120],"we":[121,188,213],"refine":[122],"still":[126],"further":[127],"give":[129],"a":[130,138],"sensible":[131],"employ":[137],"\u2018memory":[139],"scope\u2019":[140],"restrict":[142],"their":[143],"visibility":[144],"specific":[146],"threads.":[147],"Our":[148],"requires":[150],"slight":[151],"strengthenings":[152,172],"models,":[161],"causing":[162],"some":[163],"behaviours":[164],"become":[166],"disallowed.":[167],"argue":[169],"these":[171],"are":[173,189],"natural,":[174],"all":[177],"formalised":[180],"compilation":[184],"schemes":[185],"which":[187],"aware":[190],"(Power":[191],"x86":[193],"CPUs":[194],"AMD":[197],"GPUs":[198],"OpenCL)":[200],"remain":[201],"valid":[202],"revised":[205],"models.":[206],"Using":[207],"HERD":[209],"simulator,":[212],"show":[214],"leads":[218],"exponential":[221],"improvement":[222],"time":[225],"compared":[230],"original":[233],"model,":[234],"making":[235],"*exhaustive*":[236],"competitive,":[238],"time-wise,":[239],"*non-exhaustive*":[242],"CDSChecker":[243],"tool.":[244]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":29},{"year":2016,"cited_by_count":12},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}