{"id":"https://openalex.org/W2954603856","doi":"https://doi.org/10.1109/hpcs48598.2019.9188223","title":"Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules","display_name":"Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2954603856","doi":"https://doi.org/10.1109/hpcs48598.2019.9188223","mag":"2954603856"},"language":"en","primary_location":{"id":"doi:10.1109/hpcs48598.2019.9188223","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpcs48598.2019.9188223","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 International Conference on High Performance Computing & Simulation (HPCS)","raw_type":"proceedings-article"},"type":"preprint","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/A5088296904","display_name":"Wadoud Bousdira","orcid":"https://orcid.org/0000-0002-8393-9288"},"institutions":[{"id":"https://openalex.org/I12449238","display_name":"Universit\u00e9 d'Orl\u00e9ans","ror":"https://ror.org/014zrew76","country_code":"FR","type":"education","lineage":["https://openalex.org/I12449238"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Wadoud Bousdira","raw_affiliation_strings":["LIFO, University of Orl\u00e9ans, France"],"affiliations":[{"raw_affiliation_string":"LIFO, University of Orl\u00e9ans, France","institution_ids":["https://openalex.org/I12449238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5088296904"],"corresponding_institution_ids":["https://openalex.org/I12449238"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06774573,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"77","issue":null,"first_page":"982","last_page":"989"},"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.9998999834060669,"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.9998999834060669,"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.9998999834060669,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9991999864578247,"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.924124002456665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8056542873382568},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7924424409866333},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.68545001745224},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6717124581336975},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6102012395858765},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6082759499549866},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.564994752407074},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5485804677009583},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.48979902267456055},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4652017056941986},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4579514265060425},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.43708518147468567},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42554137110710144},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2749171555042267}],"concepts":[{"id":"https://openalex.org/C7042729","wikidata":"https://www.wikidata.org/wiki/Q2289219","display_name":"SPMD","level":2,"score":0.924124002456665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8056542873382568},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7924424409866333},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.68545001745224},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6717124581336975},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6102012395858765},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6082759499549866},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.564994752407074},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5485804677009583},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.48979902267456055},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4652017056941986},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4579514265060425},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.43708518147468567},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42554137110710144},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2749171555042267},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpcs48598.2019.9188223","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpcs48598.2019.9188223","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 International Conference on High Performance Computing & Simulation (HPCS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6800000071525574,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W125887274","https://openalex.org/W1509751206","https://openalex.org/W1553894716","https://openalex.org/W1555194821","https://openalex.org/W1569198079","https://openalex.org/W1585134931","https://openalex.org/W1598625331","https://openalex.org/W1775486228","https://openalex.org/W1839267307","https://openalex.org/W1939442430","https://openalex.org/W1968386045","https://openalex.org/W1988455648","https://openalex.org/W1996800645","https://openalex.org/W2041327854","https://openalex.org/W2086747974","https://openalex.org/W2094969361","https://openalex.org/W2097810778","https://openalex.org/W2109883071","https://openalex.org/W2121757274","https://openalex.org/W2145963487","https://openalex.org/W2292065303","https://openalex.org/W2295450001","https://openalex.org/W2323378191","https://openalex.org/W2496571351","https://openalex.org/W2885746554","https://openalex.org/W2898787727","https://openalex.org/W2929166152","https://openalex.org/W2962143507","https://openalex.org/W4230919050","https://openalex.org/W4234924236","https://openalex.org/W6628749569","https://openalex.org/W6632995737","https://openalex.org/W6634848083","https://openalex.org/W6642673056","https://openalex.org/W6681546677"],"related_works":["https://openalex.org/W1606512765","https://openalex.org/W2113326345","https://openalex.org/W2525144969","https://openalex.org/W2121660746","https://openalex.org/W2954603856","https://openalex.org/W1596766854","https://openalex.org/W2146293078","https://openalex.org/W2962143507","https://openalex.org/W2020259928","https://openalex.org/W2898787727"],"abstract_inverted_index":{"The":[0],"problem":[1],"of":[2,25,39,57,82,104,133],"analyzing":[3],"parallel":[4],"programs":[5,27],"that":[6,61,114,126],"access":[7],"shared":[8],"memory":[9],"and":[10,123],"use":[11],"barrier":[12],"synchronization":[13,59],"is":[14,62,71],"known":[15],"to":[16,19,90,96],"be":[17,97],"hard":[18],"study.":[20],"For":[21],"a":[22,36,80,92,105,119],"special":[23],"case":[24],"those":[26],"with":[28,43],"minimal":[29],"SPMD":[30,76],"(Single":[31],"Program":[32],"Multiple":[33],"Data)":[34],"constructs,":[35],"formal":[37],"definition":[38],"textually":[40,98],"aligned":[41,94],"barriers":[42,60],"an":[44],"operational":[45],"semantics":[46,132],"has":[47],"been":[48],"proposed":[49],"in":[50],"previous":[51],"work.":[52],"Then,":[53],"the":[54,58,67,115,127,131,134],"textual":[55,68],"alignement":[56,69],"defined":[63],"prevents":[64],"deadlocks.":[65],"However,":[66],"property":[70],"not":[72],"verified":[73],"by":[74],"all":[75],"programs.":[77,135],"We":[78,112],"propose":[79],"set":[81],"transformation":[83,128],"rules":[84,117,129],"using":[85],"rewriting":[86],"techniques":[87],"which":[88],"allows":[89],"turn":[91],"non-textually":[93],"program":[95],"aligned.":[99],"So,":[100],"we":[101,124],"can":[102],"benefit":[103],"simple":[106],"static":[107],"analysis":[108],"for":[109],"deadlock":[110],"detection.":[111],"show":[113],"rewrite":[116],"form":[118],"terminating":[120],"confluent":[121],"system":[122],"prove":[125],"preserve":[130]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}