{"id":"https://openalex.org/W4388556631","doi":"https://doi.org/10.1145/3624062.3624089","title":"Towards Correctness Checking of MPI Partitioned Communication in MUST","display_name":"Towards Correctness Checking of MPI Partitioned Communication in MUST","publication_year":2023,"publication_date":"2023-11-10","ids":{"openalex":"https://openalex.org/W4388556631","doi":"https://doi.org/10.1145/3624062.3624089"},"language":"en","primary_location":{"id":"doi:10.1145/3624062.3624089","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3624062.3624089","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3624062.3624089","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SC '23 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3624062.3624089","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065295830","display_name":"Simon Schwitanski","orcid":"https://orcid.org/0000-0001-7121-7205"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Schwitanski","raw_affiliation_strings":["IT Center, RWTH Aachen University, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7121-7205","affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092240730","display_name":"Niko Sakic","orcid":"https://orcid.org/0009-0005-8204-6065"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Niko Sakic","raw_affiliation_strings":["IT Center, RWTH Aachen University, Germany"],"raw_orcid":"https://orcid.org/0009-0005-8204-6065","affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044273470","display_name":"Joachim Jenke","orcid":"https://orcid.org/0000-0003-0640-8966"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Joachim Jenke","raw_affiliation_strings":["IT Center, RWTH Aachen University, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0640-8966","affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019167697","display_name":"Felix Tomski","orcid":"https://orcid.org/0000-0003-3137-5596"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Tomski","raw_affiliation_strings":["IT Center, RWTH Aachen University, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3137-5596","affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031942550","display_name":"Marc-Andr\u00e9 Hermanns","orcid":"https://orcid.org/0000-0003-3895-7791"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marc-Andr\u00e9 Hermanns","raw_affiliation_strings":["IT Center, RWTH Aachen University, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3895-7791","affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16393897,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"224","last_page":"227"},"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.9995999932289124,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"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.8988217711448669},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8353890180587769},{"id":"https://openalex.org/keywords/communication-source","display_name":"Communication source","score":0.7495083808898926},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5510441064834595},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5082058906555176},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49593386054039},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.425446480512619},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32766053080558777},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3202322721481323},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2949952483177185},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.26222532987594604}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8988217711448669},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8353890180587769},{"id":"https://openalex.org/C198104137","wikidata":"https://www.wikidata.org/wiki/Q974688","display_name":"Communication source","level":2,"score":0.7495083808898926},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5510441064834595},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5082058906555176},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49593386054039},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.425446480512619},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32766053080558777},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3202322721481323},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2949952483177185},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.26222532987594604},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3624062.3624089","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3624062.3624089","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3624062.3624089","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SC '23 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3624062.3624089","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3624062.3624089","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3624062.3624089","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SC '23 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388556631.pdf","grobid_xml":"https://content.openalex.org/works/W4388556631.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W2097004344","https://openalex.org/W2985025837","https://openalex.org/W3174952775","https://openalex.org/W3198396876","https://openalex.org/W4200631433","https://openalex.org/W4385749643","https://openalex.org/W4388581027"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1569254270","https://openalex.org/W4254638342","https://openalex.org/W2098482419","https://openalex.org/W2054468904"],"abstract_inverted_index":{"The":[0,86,125],"partitioned":[1,67,110,142],"point-to-point":[2],"communication":[3,13,37,41,68,111],"concept":[4],"introduced":[5],"with":[6,52],"the":[7,12,24,27,40,128],"MPI-4.0":[8],"standard":[9],"can":[10,135],"improve":[11],"efficiency":[14],"of":[15,35,73],"hybrid":[16],"parallel":[17],"execution":[18],"models.":[19],"It":[20],"allows":[21],"threads":[22],"on":[23,33,127],"sender":[25],"and":[26,69,95,118],"receiver":[28],"side":[29],"to":[30,77,109],"start":[31],"working":[32],"parts":[34],"a":[36,71],"buffer":[38,97],"before":[39],"operation":[42],"is":[43],"fully":[44],"completed.":[45],"This":[46],"new":[47,53],"concept,":[48],"however,":[49],"also":[50],"comes":[51],"possible":[54],"programming":[55],"mistakes.":[56],"In":[57],"this":[58],"paper,":[59],"we":[60,100,103],"discuss":[61,119],"erroneous":[62,91],"usage":[63],"patterns":[64],"in":[65,80,112,139],"MPI":[66],"provide":[70],"set":[72],"example":[74,129],"test":[75,130],"cases":[76,131],"be":[78],"integrated":[79],"future":[81],"classification":[82],"quality":[83],"benchmark":[84],"suites.":[85],"tests":[87],"include":[88],"invalid":[89],"arguments,":[90],"partition":[92],"activations,":[93],"deadlocks,":[94],"local":[96],"races.":[98],"Further,":[99],"explain":[101],"how":[102],"implemented":[104],"first":[105],"basic":[106],"checks":[107],"specific":[108],"our":[113],"correctness":[114],"checking":[115],"tool":[116],"MUST":[117,134],"required":[120],"extensions":[121],"for":[122],"existing":[123],"analyses.":[124],"evaluation":[126],"shows":[132],"that":[133],"correctly":[136],"pinpoint":[137],"bugs":[138],"applications":[140],"using":[141],"communication.":[143]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}