<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of cea-03014171</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-26T14:46:59+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation</title>
            <author role="crp">
              <persName>
                <forename type="first">Van-Man</forename>
                <surname>Nguyen</surname>
              </persName>
              <email type="md5">283e65d5e4499e985fbf51dbd9038415</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">1082020</idno>
              <idno type="halauthorid" notation="string">2073892-1082020</idno>
              <affiliation ref="#struct-5981"/>
              <affiliation ref="#struct-409747"/>
              <affiliation ref="#struct-1055205"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Emmanuelle</forename>
                <surname>Saillard</surname>
              </persName>
              <email type="md5">721fc7af897aa512cc3efb52dfbdd79b</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">emmanuelle-saillard</idno>
              <idno type="idhal" notation="numeric">12486</idno>
              <idno type="halauthorid" notation="string">23413-12486</idno>
              <idno type="IDREF">https://www.idref.fr/189408715</idno>
              <affiliation ref="#struct-409747"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Jaeger</surname>
              </persName>
              <email type="md5">55c8d5482f72624ac22fb93dda13515d</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">974416</idno>
              <idno type="halauthorid" notation="string">519235-974416</idno>
              <affiliation ref="#struct-5981"/>
              <affiliation ref="#struct-1055205"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Denis</forename>
                <surname>Barthou</surname>
              </persName>
              <email type="md5">b42e1a54397e9d9162f27521f6604699</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">denisbarthou</idno>
              <idno type="idhal" notation="numeric">1653710</idno>
              <idno type="halauthorid" notation="string">144107-1653710</idno>
              <idno type="ORCID">https://orcid.org/0009-0000-8547-5395</idno>
              <affiliation ref="#struct-409747"/>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Patrick</forename>
                <surname>Carribault</surname>
              </persName>
              <email type="md5">b8fec6c5bf2a98d8260db23553ccb09b</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">974412</idno>
              <idno type="halauthorid" notation="string">201461-974412</idno>
              <affiliation ref="#struct-5981"/>
              <affiliation ref="#struct-1055205"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Van Man</forename>
                <surname>Nguyen</surname>
              </persName>
              <email type="md5">5d8ffe607a58b80248d03c07eb9ace8d</email>
              <email type="domain">outlook.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-11-19 12:12:09</date>
              <date type="whenWritten">2020-08-10</date>
              <date type="whenModified">2026-04-03 03:03:15</date>
              <date type="whenReleased">2020-11-19 14:46:18</date>
              <date type="whenProduced">2020-11-11</date>
              <date type="whenEndEmbargoed">2020-11-19</date>
              <ref type="file" target="https://cea.hal.science/cea-03014171v1/document">
                <date notBefore="2020-11-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://cea.hal.science/cea-03014171v1/file/correctness_2020.pdf" id="file-3014171-2654275">
                <date notBefore="2020-11-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="905505">
                <persName>
                  <forename>Van Man</forename>
                  <surname>Nguyen</surname>
                </persName>
                <email type="md5">5d8ffe607a58b80248d03c07eb9ace8d</email>
                <email type="domain">outlook.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">cea-03014171</idno>
            <idno type="halUri">https://cea.hal.science/cea-03014171</idno>
            <idno type="halBibtex">nguyen:cea-03014171</idno>
            <idno type="halRefHtml">&lt;i&gt;Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications&lt;/i&gt;, Nov 2020, Atlanta / Virtual, United States. &lt;a target="_blank" href="https://dx.doi.org/10.1109/Correctness51934.2020.00009"&gt;&amp;#x27E8;10.1109/Correctness51934.2020.00009&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, Nov 2020, Atlanta / Virtual, United States. &amp;#x27E8;10.1109/Correctness51934.2020.00009&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3014171-2654275"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="INRIA-BORDEAUX">INRIA Bordeaux - Sud-Ouest</idno>
            <idno type="stamp" n="LABRI">Laboratoire Bordelais de Recherche en Informatique</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="DSV" corresp="CEA">Direction de la recherche fondamentale - sciences du vivant</idno>
            <idno type="stamp" n="DAM" corresp="CEA">Direction des applications militaires</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="CEA-UPSAY" corresp="CEA">CEA - Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="CEA-DRF" corresp="CEA">Direction de Recherche Fondamentale</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Van-Man</forename>
                    <surname>Nguyen</surname>
                  </persName>
                  <email type="md5">283e65d5e4499e985fbf51dbd9038415</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">1082020</idno>
                  <idno type="halauthorid" notation="string">2073892-1082020</idno>
                  <affiliation ref="#struct-5981"/>
                  <affiliation ref="#struct-409747"/>
                  <affiliation ref="#struct-1055205"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Emmanuelle</forename>
                    <surname>Saillard</surname>
                  </persName>
                  <email type="md5">721fc7af897aa512cc3efb52dfbdd79b</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">emmanuelle-saillard</idno>
                  <idno type="idhal" notation="numeric">12486</idno>
                  <idno type="halauthorid" notation="string">23413-12486</idno>
                  <idno type="IDREF">https://www.idref.fr/189408715</idno>
                  <affiliation ref="#struct-409747"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Jaeger</surname>
                  </persName>
                  <email type="md5">55c8d5482f72624ac22fb93dda13515d</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">974416</idno>
                  <idno type="halauthorid" notation="string">519235-974416</idno>
                  <affiliation ref="#struct-5981"/>
                  <affiliation ref="#struct-1055205"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Denis</forename>
                    <surname>Barthou</surname>
                  </persName>
                  <email type="md5">b42e1a54397e9d9162f27521f6604699</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">denisbarthou</idno>
                  <idno type="idhal" notation="numeric">1653710</idno>
                  <idno type="halauthorid" notation="string">144107-1653710</idno>
                  <idno type="ORCID">https://orcid.org/0009-0000-8547-5395</idno>
                  <affiliation ref="#struct-409747"/>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Patrick</forename>
                    <surname>Carribault</surname>
                  </persName>
                  <email type="md5">b8fec6c5bf2a98d8260db23553ccb09b</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">974412</idno>
                  <idno type="halauthorid" notation="string">201461-974412</idno>
                  <affiliation ref="#struct-5981"/>
                  <affiliation ref="#struct-1055205"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)</title>
                <meeting>
                  <title>Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications</title>
                  <date type="start">2020-11-11</date>
                  <date type="end">2020-11-11</date>
                  <settlement>Atlanta / Virtual</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1109/Correctness51934.2020.00009</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Persistent Communication</term>
                <term xml:lang="en">Static Analysis</term>
                <term xml:lang="en">Correctness</term>
                <term xml:lang="en">Nonblocking Communication</term>
                <term xml:lang="en">MPI</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The Message Passing Interface (MPI) is a parallel programming model used to exchange data between working units in different nodes of a supercomputer. While MPI blocking operations return when the communication is complete, non-blocking and persistent operations return before the communication is complete, enabling a developer to hide communication latency. However the usage of these latter comes with additional rules the user has to abide to. This is error prone, which makes verification tools valuable for MPI program writers. PARCOACH is a framework that detects MPI collective errors using a static/dynamic analysis. The static phase studies the control-and data-flow of a program to detect potential errors while the dynamic phase uses compile-time information to verify the potential errors. In this paper we present an extension of PARCOACH static analysis to detect misuse of MPI nonblocking and persistent communications. Our new analysis adds the detection of four new error classes related to these types of communications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regrouplaboratory" xml:id="struct-5981" status="VALID">
          <idno type="IdRef">026372096</idno>
          <idno type="ISNI">0000000119569481</idno>
          <idno type="ROR">https://ror.org/00kn4eb29</idno>
          <idno type="Wikidata">Q2931222</idno>
          <orgName>Direction des Applications Militaires</orgName>
          <orgName type="acronym">DAM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-dam.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DAM" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-409747" status="VALID">
          <idno type="RNSR">201521157L</idno>
          <idno type="ROR">https://ror.org/00zzgef46</idno>
          <orgName>STatic Optimizations, Runtime Methods</orgName>
          <orgName type="acronym">STORM</orgName>
          <date type="start">2015-01-01</date>
          <date type="end">2026-06-30</date>
          <desc>
            <address>
              <addrLine>200, avenue de la Vieille Tour 33405 Talence cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/storm</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3102" type="direct"/>
            <relation active="#struct-259761" type="indirect"/>
            <relation active="#struct-300366" type="indirect"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="indirect"/>
            <relation active="#struct-104751" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1055205" status="VALID">
          <orgName>Laboratoire en Informatique Haute Performance pour le Calcul et la simulation</orgName>
          <orgName type="acronym">LIHPC</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>CEA Bruyères-le-Châtel 91297 Arpajon cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-119523" type="direct"/>
            <relation name="DAM/DIF" active="#struct-5981" type="indirect"/>
            <relation name="DAM" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-3102" status="VALID">
          <idno type="IdRef">155054465</idno>
          <idno type="ISNI">0000000122898198</idno>
          <idno type="RNSR">199511665F</idno>
          <idno type="ROR">https://ror.org/03adqg323</idno>
          <idno type="Wikidata">Q3214395</idno>
          <orgName>Laboratoire Bordelais de Recherche en Informatique</orgName>
          <orgName type="acronym">LaBRI</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.labri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-259761" type="direct"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-259761" status="VALID">
          <idno type="IdRef">175206562</idno>
          <idno type="ROR">https://ror.org/057qpr032</idno>
          <orgName>Université de Bordeaux</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>35, place Pey Berland - 33076 Bordeaux</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300366" status="VALID">
          <orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-104751" status="VALID">
          <idno type="RNSR">200818243Z</idno>
          <idno type="ROR">https://ror.org/03tjcj052</idno>
          <orgName>Centre Inria de l'Université de Bordeaux</orgName>
          <desc>
            <address>
              <addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/bordeaux/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-119523" status="VALID">
          <orgName>DAM Île-de-France</orgName>
          <orgName type="acronym">DAM/DIF</orgName>
          <desc>
            <address>
              <addrLine>CEA Bruyères-le-Châtel 91297 Arpajon cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DAM/DIF" active="#struct-5981" type="direct"/>
            <relation name="DAM" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>