<?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 hal-01777123</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-21T15:16:34+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models</title>
            <author role="aut">
              <persName>
                <forename type="first">Allan</forename>
                <surname>Blanchard</surname>
              </persName>
              <email type="md5">3aaf6e8b03d696315993075cbe875347</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">allan-blanchard</idno>
              <idno type="idhal" notation="numeric">18030</idno>
              <idno type="halauthorid" notation="string">34730-18030</idno>
              <idno type="IDREF">https://www.idref.fr/203798627</idno>
              <affiliation ref="#struct-178862"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nikolai</forename>
                <surname>Kosmatov</surname>
              </persName>
              <email type="md5">830008b3a69177909dc0d876d6adc36b</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">940734</idno>
              <idno type="halauthorid" notation="string">707548-940734</idno>
              <affiliation ref="#struct-40202"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Loulergue</surname>
              </persName>
              <email type="md5">ae7a9a8aaef320b76dd1adf0ec1d8f00</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">frederic-loulergue</idno>
              <idno type="idhal" notation="numeric">2199</idno>
              <idno type="halauthorid" notation="string">444-2199</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9301-7829</idno>
              <idno type="IDREF">https://www.idref.fr/096178558</idno>
              <affiliation ref="#struct-152493"/>
              <affiliation ref="#struct-241078"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Allan</forename>
                <surname>Blanchard</surname>
              </persName>
              <email type="md5">41a5daed215a53dc2c61f50dcae6d5b0</email>
              <email type="domain">allan-blanchard.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-04-24 16:11:54</date>
              <date type="whenModified">2025-10-07 15:12:02</date>
              <date type="whenReleased">2018-04-24 16:32:03</date>
              <date type="whenProduced">2018-09-01</date>
              <date type="whenEndEmbargoed">2018-04-24</date>
              <ref type="file" target="https://inria.hal.science/hal-01777123v1/document">
                <date notBefore="2018-04-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01777123v1/file/MMFilter.pdf" id="file-1777123-1806836">
                <date notBefore="2018-04-24"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="600914">
                <persName>
                  <forename>Allan</forename>
                  <surname>Blanchard</surname>
                </persName>
                <email type="md5">41a5daed215a53dc2c61f50dcae6d5b0</email>
                <email type="domain">allan-blanchard.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01777123</idno>
            <idno type="halUri">https://inria.hal.science/hal-01777123</idno>
            <idno type="halBibtex">blanchard:hal-01777123</idno>
            <idno type="halRefHtml">&lt;i&gt;Computer Languages, Systems and Structures&lt;/i&gt;, 2018, 53, pp.121-142. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.cl.2018.03.002"&gt;&amp;#x27E8;10.1016/j.cl.2018.03.002&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Computer Languages, Systems and Structures, 2018, 53, pp.121-142. &amp;#x27E8;10.1016/j.cl.2018.03.002&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1777123-1806836"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
            <idno type="stamp" n="INRIA-LILLE">INRIA Lille - Nord Europe</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="DRT" corresp="CEA">Direction de la recherche technologique</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-UPSAY-SACLAY" corresp="CEA">CEA-UPSAY-SACLAY</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="INSA-CVL">INSA CENTRE VAL DE LOIRE</idno>
            <idno type="stamp" n="GS-ENGINEERING">Graduate School Sciences de l'Ingénierie et des Systèmes</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Allan</forename>
                    <surname>Blanchard</surname>
                  </persName>
                  <email type="md5">3aaf6e8b03d696315993075cbe875347</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">allan-blanchard</idno>
                  <idno type="idhal" notation="numeric">18030</idno>
                  <idno type="halauthorid" notation="string">34730-18030</idno>
                  <idno type="IDREF">https://www.idref.fr/203798627</idno>
                  <affiliation ref="#struct-178862"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nikolai</forename>
                    <surname>Kosmatov</surname>
                  </persName>
                  <email type="md5">830008b3a69177909dc0d876d6adc36b</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">940734</idno>
                  <idno type="halauthorid" notation="string">707548-940734</idno>
                  <affiliation ref="#struct-40202"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Loulergue</surname>
                  </persName>
                  <email type="md5">ae7a9a8aaef320b76dd1adf0ec1d8f00</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">frederic-loulergue</idno>
                  <idno type="idhal" notation="numeric">2199</idno>
                  <idno type="halauthorid" notation="string">444-2199</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9301-7829</idno>
                  <idno type="IDREF">https://www.idref.fr/096178558</idno>
                  <affiliation ref="#struct-152493"/>
                  <affiliation ref="#struct-241078"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">12026</idno>
                <idno type="issn">1477-8424</idno>
                <title level="j">Computer Languages, Systems and Structures</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">53</biblScope>
                  <biblScope unit="pp">121-142</biblScope>
                  <date type="datePub">2018-09-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.cl.2018.03.002</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">constraint solving</term>
                <term xml:lang="en">weak memory models</term>
                <term xml:lang="en">constraint handling rules</term>
                <term xml:lang="en">logic programming</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>With the wide expansion of multiprocessor architectures, the analysis and reasoning for programs under weak memory models has become an important concern. This work presents MMFilter, an original constraint solver for generating program behaviors respecting a particular memory model. It is implemented in Prolog using CHR (Constraint Handling Rules). The CHR formalism provides a convenient generic solution for specifying memory models. It benefits from the existing optimized implementations of CHR and can be easily extended to new models. We present MMFilter design, illustrate the encoding of memory model constraints in CHR and discuss the benefits and limitations of the proposed technique.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-178862" status="VALID">
          <idno type="RNSR">201221009N</idno>
          <idno type="ROR">https://ror.org/05nqng710</idno>
          <orgName>Self-organizing Future Ubiquitous Network</orgName>
          <orgName type="acronym">FUN</orgName>
          <date type="start">2013-07-01</date>
          <date type="end">2026-04-30</date>
          <desc>
            <address>
              <addrLine>INRIA Lille-Nord Europe 50 avenue Halley 59650 Villeneuve d'Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/fun</ref>
          </desc>
          <listRelation>
            <relation active="#struct-104752" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-40202" status="OLD">
          <orgName>Laboratoire Sûreté des Logiciels</orgName>
          <orgName type="acronym">LSL</orgName>
          <desc>
            <address>
              <addrLine>Laboratoire Sûreté des Logiciels / Software Safety and Security Laboratory</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-528160" type="direct"/>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="indirect"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-152493" status="VALID">
          <idno type="ROR">https://ror.org/0272j5188</idno>
          <orgName>Northern Arizona University [Flagstaff]</orgName>
          <desc>
            <address>
              <addrLine>Flagstaff Arizona 86011</addrLine>
              <country key="US"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-241078" status="VALID">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA 4022" active="#struct-300297" type="direct"/>
            <relation name="EA 4022" active="#struct-303079" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-104752" status="VALID">
          <idno type="RNSR">200818245B</idno>
          <idno type="ROR">https://ror.org/04eej9726</idno>
          <orgName>Centre Inria de l'Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/lille/</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="department" xml:id="struct-528160" status="VALID">
          <idno type="RNSR">200822623K</idno>
          <orgName>Département Ingénierie Logiciels et Systèmes</orgName>
          <orgName type="acronym">DILS (CEA, LIST)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="direct"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" 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-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>
        <org type="institution" xml:id="struct-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303079" status="VALID">
          <idno type="IdRef">203592077</idno>
          <orgName>Institut National des Sciences Appliquées - Centre Val de Loire</orgName>
          <orgName type="acronym">INSA CVL</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>88 boulevard Lahitolle, CS 60013, 18022 Bourges cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-centrevaldeloire.fr/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>