{"id":"https://openalex.org/W2034514008","doi":"https://doi.org/10.1145/2814270.2814286","title":"AutoMO: automatic inference of memory order parameters for C/C++11","display_name":"AutoMO: automatic inference of memory order parameters for C/C++11","publication_year":2015,"publication_date":"2015-10-23","ids":{"openalex":"https://openalex.org/W2034514008","doi":"https://doi.org/10.1145/2814270.2814286","mag":"2034514008"},"language":"en","primary_location":{"id":"doi:10.1145/2814270.2814286","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814270.2814286","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037992413","display_name":"Peizhao Ou","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Peizhao Ou","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016315666","display_name":"Brian Demsky","orcid":"https://orcid.org/0000-0003-1210-3130"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Demsky","raw_affiliation_strings":["University of California at Irvine, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5037992413"],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":0.9689,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75633054,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"240"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9986000061035156,"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/computer-science","display_name":"Computer science","score":0.8110815286636353},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.7545158267021179},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.7452151775360107},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6241405010223389},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5810333490371704},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.5275791883468628},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5144286751747131},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5116970539093018},{"id":"https://openalex.org/keywords/memory-address","display_name":"Memory address","score":0.4893169105052948},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.4817750155925751},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.46961694955825806},{"id":"https://openalex.org/keywords/memory-map","display_name":"Memory map","score":0.46118810772895813},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39381206035614014},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.34725236892700195},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32237017154693604},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.25895267724990845},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.20902973413467407},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14403486251831055},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.13441228866577148}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8110815286636353},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.7545158267021179},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.7452151775360107},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6241405010223389},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5810333490371704},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.5275791883468628},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5144286751747131},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5116970539093018},{"id":"https://openalex.org/C153247305","wikidata":"https://www.wikidata.org/wiki/Q835713","display_name":"Memory address","level":3,"score":0.4893169105052948},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4817750155925751},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.46961694955825806},{"id":"https://openalex.org/C74426580","wikidata":"https://www.wikidata.org/wiki/Q719484","display_name":"Memory map","level":3,"score":0.46118810772895813},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39381206035614014},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.34725236892700195},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32237017154693604},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.25895267724990845},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.20902973413467407},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14403486251831055},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13441228866577148}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2814270.2814286","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814270.2814286","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2511970079","display_name":null,"funder_award_id":"CCF-0846195, CCF-1217854, CNS-1228995, and CCF-1319786","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1507644","https://openalex.org/W1509000726","https://openalex.org/W1594825470","https://openalex.org/W1652742168","https://openalex.org/W1694765325","https://openalex.org/W1823635467","https://openalex.org/W1972544179","https://openalex.org/W1981393723","https://openalex.org/W1983206712","https://openalex.org/W1986463648","https://openalex.org/W1988777345","https://openalex.org/W1988877888","https://openalex.org/W2001738739","https://openalex.org/W2037683502","https://openalex.org/W2038543880","https://openalex.org/W2058943117","https://openalex.org/W2062678317","https://openalex.org/W2096004601","https://openalex.org/W2098643127","https://openalex.org/W2100374030","https://openalex.org/W2104966361","https://openalex.org/W2105980774","https://openalex.org/W2107529624","https://openalex.org/W2109639089","https://openalex.org/W2120339165","https://openalex.org/W2122168604","https://openalex.org/W2128551356","https://openalex.org/W2137443348","https://openalex.org/W2137650676","https://openalex.org/W2138074470","https://openalex.org/W2143535196","https://openalex.org/W2149984854","https://openalex.org/W2152885346","https://openalex.org/W2153174073","https://openalex.org/W2159392969","https://openalex.org/W2160781056","https://openalex.org/W2167744164","https://openalex.org/W2738891045","https://openalex.org/W4234066571","https://openalex.org/W4241790184","https://openalex.org/W4250000334","https://openalex.org/W4251803824"],"related_works":["https://openalex.org/W2036306661","https://openalex.org/W118795575","https://openalex.org/W2145655468","https://openalex.org/W1885534640","https://openalex.org/W1738788207","https://openalex.org/W2764757682","https://openalex.org/W2106389308","https://openalex.org/W2052172665","https://openalex.org/W4317827391","https://openalex.org/W278332018"],"abstract_inverted_index":{"Many":[0],"concurrent":[1,166],"data":[2,18,88,157,167],"structures":[3,19,89,158],"are":[4,170],"initially":[5],"designed":[6,90],"for":[7,72,91,114,153],"the":[8,37,42,46,51,63,92,97,105,115],"sequential":[9],"consistency":[10],"(SC)":[11],"memory":[12,25,39,48,60,74,94,99,116,150],"model.":[13,49,100],"Developers":[14],"often":[15],"implement":[16],"these":[17],"on":[20,36],"real-world":[21],"systems":[22],"with":[23],"weaker":[24],"models":[26,75],"by":[27],"adding":[28],"sufficient":[29],"fences":[30],"to":[31,62,85,96,128,137,141,147,160],"ensure":[32],"that":[33],"their":[34],"implementation":[35],"weak":[38,59,73],"model":[40,61,95],"exhibits":[41],"same":[43],"executions":[44,163],"as":[45],"SC":[47,93,130],"Recently,":[50],"C11":[52],"and":[53,65,69,132,159],"C++11":[54],"standards":[55],"have":[56,144],"added":[57],"a":[58,83,123,154],"C":[64],"C++":[66],"languages.":[67],"Developing":[68],"debugging":[70],"code":[71],"can":[76],"be":[77],"extremely":[78],"challenging.":[79],"We":[80,143],"present":[81],"AutoMO,":[82],"framework":[84],"support":[86,103],"porting":[87,106],"C/C++11":[98,124],"AutoMO":[101,146],"provides":[102],"across":[104],"process:":[107],"(1)":[108],"it":[109,120,134],"automatically":[110],"infers":[111],"initial":[112],"settings":[113],"order":[117,151],"parameters,":[118],"(2)":[119],"detects":[121],"whether":[122,162],"execution":[125],"is":[126],"equivalent":[127],"some":[129],"execution,":[131],"(3)":[133],"simplifies":[135],"traces":[136],"make":[138],"them":[139],"easier":[140],"understand.":[142],"used":[145],"successfully":[148],"infer":[149],"parameters":[152],"range":[155],"of":[156,164],"check":[161],"several":[165],"structure":[168],"implementations":[169],"SC.":[171]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}