{"id":"https://openalex.org/W2403352959","doi":"https://doi.org/10.3233/978-1-60750-530-3-693","title":"An Interface for Integrated MPI Correctness Checking","display_name":"An Interface for Integrated MPI Correctness Checking","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2403352959","doi":"https://doi.org/10.3233/978-1-60750-530-3-693","mag":"2403352959"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-60750-530-3-693","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-530-3-693","pdf_url":null,"source":{"id":"https://openalex.org/S4210175178","display_name":"Advances in parallel computing","issn_l":"0927-5452","issn":["0927-5452","1879-808X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Parallel Computing","raw_type":"book-chapter"},"type":"book-chapter","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/A5034838586","display_name":"Tobias Hilbrich","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hilbrich Tobias","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081492543","display_name":"Matthias Jurenz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jurenz Matthias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025486167","display_name":"Hartmut Mix","orcid":"https://orcid.org/0000-0001-6520-4563"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mix Hartmut","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063897980","display_name":"Holger Brunst","orcid":"https://orcid.org/0000-0003-2224-0630"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Brunst Holger","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Knüpfer Andreas","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Knüpfer Andreas","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108339675","display_name":"Matthias M\u00fcller","orcid":"https://orcid.org/0009-0005-8772-7775"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Müller Matthias S.","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040346332","display_name":"Wolfgang E. Nagel","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nagel Wolfgang E.","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26785714,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9995999932289124,"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.9995999932289124,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9977999925613403,"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/T11424","display_name":"Security and Verification in Computing","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8271505832672119},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7222554087638855},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6540642380714417},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41474583745002747},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3402901291847229}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8271505832672119},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7222554087638855},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6540642380714417},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41474583745002747},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3402901291847229},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-60750-530-3-693","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-60750-530-3-693","pdf_url":null,"source":{"id":"https://openalex.org/S4210175178","display_name":"Advances in parallel computing","issn_l":"0927-5452","issn":["0927-5452","1879-808X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Parallel Computing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W20481021","https://openalex.org/W1559603603","https://openalex.org/W1950832899","https://openalex.org/W1978562726","https://openalex.org/W2086824943","https://openalex.org/W2102542912","https://openalex.org/W2161957670","https://openalex.org/W2162989857","https://openalex.org/W2303756261"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709"],"abstract_inverted_index":{"Usage":[0],"errors":[1,23,160],"of":[2,16,21,50,79,119,167,178,193,236],"the":[3,13,48,57,76,80,103,112,120,138,146,168,176,185,194,197,226,232],"widely":[4],"accepted":[5],"Message-Passing":[6],"Interface":[7,142],"(MPI)":[8],"are":[9,24,99],"common":[10],"and":[11,157,189,234],"complicate":[12],"development":[14],"process":[15],"parallel":[17],"applications":[18],"considerably.":[19],"Some":[20],"these":[22,51],"hard":[25],"to":[26,70,75,88,114,123,144,230],"track,":[27],"especially":[28],"when":[29],"they":[30,54],"only":[31],"occur":[32],"in":[33,92,161,171],"certain":[34,39],"application":[35],"runs":[36],"or":[37],"on":[38,102],"platforms.":[40],"Runtime":[41],"correctness":[42,71,107,155,169,187,212],"checking":[43,108,156],"tools":[44,91,109],"for":[45,61,210,218],"MPI":[46,58,81,96,140],"simplify":[47],"detection":[49],"errors.":[52],"However,":[53],"usually":[55,110],"need":[56],"profiling":[59,82,104],"interface":[60,150,195],"their":[62],"analysis.":[63],"This":[64,149],"paper":[65],"addresses":[66],"two":[67],"issues":[68],"related":[69],"tools:":[72],"First,":[73],"due":[74],"exclusive":[77],"usage":[78],"interface,":[83],"it":[84],"is":[85,130,165],"not":[86],"possible":[87],"use":[89],"such":[90,127],"conjunction":[93],"with":[94,180],"other":[95],"tools,":[97],"which":[98,214],"also":[100],"based":[101],"interface.":[105],"Second,":[106],"lack":[111],"ability":[113],"provide":[115,207],"a":[116,128,162,203,208,223],"detailed":[117,216],"history":[118,129,209],"events":[121],"leading":[122],"an":[124,181,190],"error,":[125],"whereas":[126],"provided":[131],"naturally":[132],"by":[133],"tracing":[134],"frameworks.":[135],"We":[136],"introduce":[137],"Universal":[139],"Correctness":[141],"(UniMCI)":[143],"overcome":[145],"first":[147],"problem.":[148],"provides":[151,215],"functions":[152],"that":[153,164,183],"invoke":[154],"return":[158],"detected":[159,211],"manner":[163],"independent":[166],"checker":[170,188],"use.":[172],"Furthermore,":[173],"we":[174,205,221],"demonstrate":[175,231],"applicability":[177,235],"UniMCI":[179],"implementation":[182],"uses":[184],"Marmot":[186],"exemplary":[191],"integration":[192],"into":[196],"VampirTrace":[198],"performance":[199],"analysis":[200],"framework.":[201],"As":[202],"result,":[204],"can":[206],"events,":[213],"information":[217],"debugging.":[219],"Finally,":[220],"present":[222],"study":[224],"using":[225],"SPEC":[227],"MPI2007":[228],"benchmark":[229],"feasibility":[233],"our":[237],"approach.":[238]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}