{"id":"https://openalex.org/W2909660786","doi":"https://doi.org/10.1109/correctness.2018.00011","title":"Compiler-aided Type Tracking for Correctness Checking of MPI Applications","display_name":"Compiler-aided Type Tracking for Correctness Checking of MPI Applications","publication_year":2018,"publication_date":"2018-11-01","ids":{"openalex":"https://openalex.org/W2909660786","doi":"https://doi.org/10.1109/correctness.2018.00011","mag":"2909660786"},"language":"en","primary_location":{"id":"doi:10.1109/correctness.2018.00011","is_oa":false,"landing_page_url":"https://doi.org/10.1109/correctness.2018.00011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)","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/A5058127608","display_name":"Alexander H\u00fcck","orcid":"https://orcid.org/0000-0003-1931-773X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alexander Huck","raw_affiliation_strings":["Institute for Scientific Computing"],"affiliations":[{"raw_affiliation_string":"Institute for Scientific Computing","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065745154","display_name":"Jan-Patrick Lehr","orcid":"https://orcid.org/0000-0002-6330-4816"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan-Patrick Lehr","raw_affiliation_strings":["Graduate School of Computational Engineering, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Graduate School of Computational Engineering, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046800570","display_name":"Sebastian Kreutzer","orcid":"https://orcid.org/0000-0002-1641-4342"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sebastian Kreutzer","raw_affiliation_strings":["Institute for Scientific Computing"],"affiliations":[{"raw_affiliation_string":"Institute for Scientific Computing","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109841789","display_name":"Joachim Protze","orcid":null},"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 Protze","raw_affiliation_strings":["IT Center, RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023057979","display_name":"Christian Terboven","orcid":"https://orcid.org/0000-0003-2284-2957"},"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":"Christian Terboven","raw_affiliation_strings":["IT Center, RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020597086","display_name":"Christian Bischof","orcid":"https://orcid.org/0000-0003-2711-3032"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Bischof","raw_affiliation_strings":["Graduate School of Computational Engineering, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Graduate School of Computational Engineering, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108339675","display_name":"Matthias M\u00fcller","orcid":"https://orcid.org/0009-0005-8772-7775"},"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":"Matthias S. Muller","raw_affiliation_strings":["IT Center, RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"IT Center, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5058127608"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1846,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.85016894,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization 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/T11005","display_name":"Radiation Effects in Electronics","score":0.998199999332428,"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.9023828506469727},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.69269859790802},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6719071865081787},{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.5368407964706421},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.46478793025016785},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4631485342979431},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.45785295963287354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43076974153518677},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4144655466079712},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.36379480361938477},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3326520323753357},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.3137568533420563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9023828506469727},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.69269859790802},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6719071865081787},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.5368407964706421},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.46478793025016785},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4631485342979431},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.45785295963287354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43076974153518677},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4144655466079712},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.36379480361938477},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3326520323753357},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.3137568533420563}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/correctness.2018.00011","is_oa":false,"landing_page_url":"https://doi.org/10.1109/correctness.2018.00011","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness)","raw_type":"proceedings-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:110839","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Konferenz- oder Workshop-Beitrag"},{"id":"pmh:oai:publications.rwth-aachen.de:758462","is_oa":false,"landing_page_url":"http://publications.rwth-aachen.de/record/758462","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Piscataway, NJ : IEEE 51-58 (2018). doi:10.1109/Correctness.2018.00011","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:114173","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/114173/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Konferenzver\u00f6ffentlichung"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1431078357","https://openalex.org/W1990128020","https://openalex.org/W2023728230","https://openalex.org/W2066278930","https://openalex.org/W2153185479","https://openalex.org/W2160611910","https://openalex.org/W2161957670","https://openalex.org/W2273799252","https://openalex.org/W2303756261","https://openalex.org/W2534135179","https://openalex.org/W2767161562","https://openalex.org/W2767180444","https://openalex.org/W2807810763","https://openalex.org/W3103543923","https://openalex.org/W4232616607","https://openalex.org/W4235112428","https://openalex.org/W4246166885","https://openalex.org/W4252566889","https://openalex.org/W6628570494"],"related_works":["https://openalex.org/W4243844743","https://openalex.org/W3208184694","https://openalex.org/W1780344158","https://openalex.org/W2498758832","https://openalex.org/W4233541614","https://openalex.org/W1578042825","https://openalex.org/W3163622116","https://openalex.org/W2146401083","https://openalex.org/W4287181807","https://openalex.org/W1998761481"],"abstract_inverted_index":{"MUST,":[0],"a":[1,9],"dynamic":[2],"MPI":[3,43,61,68,91],"correctness":[4],"checker,":[5],"is":[6],"extended":[7],"with":[8],"type":[10,30,51],"and":[11,32,39,58,75,93,108],"memory":[12,37,109,114],"allocation":[13],"tracking":[14],"sanitizer":[15,28],"called":[16],"TypeART":[17],"for":[18,50],"C/C++":[19],"codes":[20],"based":[21],"on":[22,86],"the":[23,54,59,67,79,113],"LLVM":[24],"compiler":[25],"framework.":[26],"The":[27,98],"extracts":[29],"information":[31],"inserts":[33],"instrumentation":[34],"to":[35,42,48],"track":[36],"allocations":[38],"deallocations":[40],"relevant":[41],"communication.":[44],"This":[45],"allows":[46],"MUST":[47],"check":[49],"compatibility":[52],"between":[53],"type-less":[55],"communication":[56],"buffer":[57],"declared":[60],"datatype":[62],"at":[63],"all":[64,120],"phases":[65],"of":[66],"communication,":[69],"namely":[70],"message":[71,73,76],"assembly,":[72],"transfer":[74],"disassembly":[77],"into":[78],"receiving":[80],"buffer.":[81],"We":[82],"evaluate":[83],"our":[84,102],"approach":[85,103],"benchmarks":[87],"taken":[88],"from":[89],"SPEC":[90],"2007":[92],"two":[94],"CORAL":[95],"mini":[96],"applications.":[97],"results":[99],"show":[100],"that":[101],"typically":[104],"exhibits":[105],"acceptable":[106],"runtime":[107],"overheads.":[110],"In":[111],"particular,":[112],"overhead":[115],"was":[116],"below":[117],"20%":[118],"in":[119],"cases.":[121]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":6}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}