{"id":"https://openalex.org/W2055813380","doi":"https://doi.org/10.1109/pact.2011.62","title":"Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU","display_name":"Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2055813380","doi":"https://doi.org/10.1109/pact.2011.62","mag":"2055813380"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.62","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5053834265","display_name":"Ziyu Guo","orcid":"https://orcid.org/0000-0002-4792-1398"},"institutions":[{"id":"https://openalex.org/I16285277","display_name":"William & Mary","ror":"https://ror.org/03hsf0573","country_code":"US","type":"education","lineage":["https://openalex.org/I16285277"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ziyu Guo","raw_affiliation_strings":["Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA","institution_ids":["https://openalex.org/I16285277"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070916346","display_name":"Eddy Zheng Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I16285277","display_name":"William & Mary","ror":"https://ror.org/03hsf0573","country_code":"US","type":"education","lineage":["https://openalex.org/I16285277"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eddy Zheng Zhang","raw_affiliation_strings":["Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA","institution_ids":["https://openalex.org/I16285277"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100624451","display_name":"Xipeng Shen","orcid":"https://orcid.org/0000-0003-3599-8010"},"institutions":[{"id":"https://openalex.org/I16285277","display_name":"William & Mary","ror":"https://ror.org/03hsf0573","country_code":"US","type":"education","lineage":["https://openalex.org/I16285277"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xipeng Shen","raw_affiliation_strings":["Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Comput. Sci. Dept., Coll. of William & Mary, Williamsburg, VA, USA","institution_ids":["https://openalex.org/I16285277"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.261,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":16,"citation_normalized_percentile":{"value":0.744052,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"310","last_page":"319"},"is_retracted":false,"is_paratext":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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9996,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9972,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/spmd","display_name":"SPMD","score":0.96001685},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4886108},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.48121455}],"concepts":[{"id":"https://openalex.org/C7042729","wikidata":"https://www.wikidata.org/wiki/Q2289219","display_name":"SPMD","level":2,"score":0.96001685},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.89270926},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.87267256},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.75967175},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7492537},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6690283},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4886108},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.48121455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38971823},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3363662},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.62","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":28,"referenced_works":["https://openalex.org/W1494930385","https://openalex.org/W1502558230","https://openalex.org/W1992851788","https://openalex.org/W2013247896","https://openalex.org/W2028798345","https://openalex.org/W2054625910","https://openalex.org/W2063186542","https://openalex.org/W2081829536","https://openalex.org/W2083056254","https://openalex.org/W2087725506","https://openalex.org/W2089482246","https://openalex.org/W2112121929","https://openalex.org/W2119010809","https://openalex.org/W2124556751","https://openalex.org/W2128329055","https://openalex.org/W2129232868","https://openalex.org/W2140375692","https://openalex.org/W2145866640","https://openalex.org/W2150476673","https://openalex.org/W2151788546","https://openalex.org/W2156831150","https://openalex.org/W2160428323","https://openalex.org/W2169880332","https://openalex.org/W2170634604","https://openalex.org/W2507749557","https://openalex.org/W3048716914","https://openalex.org/W3141650078","https://openalex.org/W4206909927"],"related_works":["https://openalex.org/W4252501555","https://openalex.org/W4245729919","https://openalex.org/W2363845072","https://openalex.org/W2135342109","https://openalex.org/W2113326345","https://openalex.org/W2111101208","https://openalex.org/W2003848320","https://openalex.org/W183653846","https://openalex.org/W1606512765","https://openalex.org/W1520729804"],"abstract_inverted_index":{"Automatic":[0],"compilation":[1,101],"for":[2,32,60],"multiple":[3],"types":[4],"of":[5],"devices":[6],"is":[7],"important,":[8],"especially":[9],"given":[10],"the":[11,69,86,91,96],"current":[12],"trends":[13],"towards":[14],"heterogeneous":[15],"computing.":[16],"This":[17],"paper":[18],"concentrates":[19],"on":[20],"some":[21,38],"issues":[22,98],"in":[23,41,45,64,99],"compiling":[24],"fine-grained":[25],"SPMD-threaded":[26,65],"code":[27],"(e.g.,":[28],"GPU":[29],"CUDA":[30],"code)":[31],"multicore":[33],"CPUs.":[34],"It":[35,51],"points":[36],"out":[37],"correctness":[39,97],"pitfalls":[40],"existing":[42,100],"techniques,":[43,102],"particularly":[44],"their":[46],"treatment":[47,77],"to":[48,78,85],"implicit":[49,62],"synchronizations.":[50],"then":[52],"describes":[53],"a":[54,82],"systematic":[55],"dependence":[56],"analysis":[57],"specially":[58],"designed":[59],"handling":[61],"synchronizations":[63],"programs.":[66],"By":[67],"unveiling":[68],"relations":[70],"between":[71],"inter-thread":[72],"data":[73],"dependences":[74],"and":[75,103,108],"correct":[76,107],"synchronizations,":[79],"it":[80],"presents":[81],"dependence-based":[83],"solution":[84],"problem.":[87],"Experiments":[88],"demonstrate":[89],"that":[90],"proposed":[92],"techniques":[93],"can":[94],"resolve":[95],"help":[104],"compilers":[105],"produce":[106],"efficient":[109],"translation":[110],"results.":[111]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2055813380","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":2}],"updated_date":"2024-12-12T13:49:54.622739","created_date":"2016-06-24"}