{"id":"https://openalex.org/W2980293363","doi":"https://doi.org/10.1145/3357390.3361021","title":"A type system for data independence of loop iterations in a directive-based PGAS language","display_name":"A type system for data independence of loop iterations in a directive-based PGAS language","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2980293363","doi":"https://doi.org/10.1145/3357390.3361021","mag":"2980293363"},"language":"en","primary_location":{"id":"doi:10.1145/3357390.3361021","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357390.3361021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","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/A5076151369","display_name":"Tatsuya Abe","orcid":"https://orcid.org/0000-0002-3887-0787"},"institutions":[{"id":"https://openalex.org/I8488066","display_name":"Chiba Institute of Technology","ror":"https://ror.org/00qwnam72","country_code":"JP","type":"education","lineage":["https://openalex.org/I8488066"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Tatsuya Abe","raw_affiliation_strings":["Chiba Institute of Technology, Japan"],"affiliations":[{"raw_affiliation_string":"Chiba Institute of Technology, Japan","institution_ids":["https://openalex.org/I8488066"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076151369"],"corresponding_institution_ids":["https://openalex.org/I8488066"],"apc_list":null,"apc_paid":null,"fwci":0.2408,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50613097,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"50","last_page":"62"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994000196456909,"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.9990000128746033,"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/partitioned-global-address-space","display_name":"Partitioned global address space","score":0.8990997076034546},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7779884934425354},{"id":"https://openalex.org/keywords/directive","display_name":"Directive","score":0.634850025177002},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5804303288459778},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.5466448068618774},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5289181470870972},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.4913276731967926},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4699181616306305},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.41302645206451416},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3804318308830261},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14116910099983215},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.07720565795898438}],"concepts":[{"id":"https://openalex.org/C60832428","wikidata":"https://www.wikidata.org/wiki/Q945818","display_name":"Partitioned global address space","level":3,"score":0.8990997076034546},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7779884934425354},{"id":"https://openalex.org/C2779547435","wikidata":"https://www.wikidata.org/wiki/Q1121492","display_name":"Directive","level":2,"score":0.634850025177002},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5804303288459778},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.5466448068618774},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5289181470870972},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.4913276731967926},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4699181616306305},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.41302645206451416},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3804318308830261},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14116910099983215},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.07720565795898438},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3357390.3361021","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357390.3361021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W338128962","https://openalex.org/W1525663018","https://openalex.org/W1819989006","https://openalex.org/W1964727056","https://openalex.org/W1976458801","https://openalex.org/W2011974310","https://openalex.org/W2023223057","https://openalex.org/W2029917257","https://openalex.org/W2045271686","https://openalex.org/W2139595304","https://openalex.org/W2234212075","https://openalex.org/W2339638311","https://openalex.org/W4243208747"],"related_works":["https://openalex.org/W2494227547","https://openalex.org/W2133695315","https://openalex.org/W4236792535","https://openalex.org/W2052234289","https://openalex.org/W1786600822","https://openalex.org/W2072270916","https://openalex.org/W1997519367","https://openalex.org/W4245729919","https://openalex.org/W2135342109","https://openalex.org/W2363845072"],"abstract_inverted_index":{"Data":[0],"independence":[1,34,70],"of":[2,4,24,46,52,65,78,111,117,124],"iterations":[3,27],"a":[5,9,17,50,53,59,79],"loop":[6,26],"statement":[7,80],"in":[8,81],"partitioned":[10],"global":[11],"address":[12],"space":[13],"(PGAS)":[14],"language":[15,56],"is":[16,35],"sufficient":[18],"condition":[19],"to":[20],"enable":[21],"parallel":[22],"processing":[23],"the":[25,43,63,82,90,102,109],"on":[28,89,101],"distributed":[29],"memories.":[30],"However,":[31],"checking":[32,100],"data":[33,69,94],"generally":[36,74],"difficult.":[37],"In":[38],"this":[39],"paper,":[40],"we":[41],"propose":[42],"non-interference":[44,72,77],"property":[45],"statements":[47],"and":[48,71,107,120],"design":[49],"sub-language":[51],"directive-based":[54,118],"PGAS":[55],"XcalableMP":[57,106],"with":[58],"type":[60,91,99],"system":[61],"using":[62,114],"notion":[64],"vertex":[66],"centricity.":[67],"Although":[68],"are":[73],"mutually":[75],"orthogonal,":[76],"sub-language,":[83],"which":[84],"can":[85],"be":[86],"checked":[87],"easily":[88],"system,":[92],"implies":[93],"independence.":[95],"We":[96],"also":[97],"implemented":[98],"Omni":[103],"compiler":[104],"for":[105],"confirmed":[108],"effectiveness":[110],"our":[112],"approach":[113],"case":[115],"studies":[116],"parallelization":[119],"temporal":[121],"blocking":[122],"optimization":[123],"stencil":[125],"kernels.":[126]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}