<?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-02554342</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-25T13:51:38+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Provable Multicore Schedulers with Ipanema: Application to Work Conservation</title>
            <author role="aut">
              <persName>
                <forename type="first">Baptiste</forename>
                <surname>Lepers</surname>
              </persName>
              <idno type="halauthorid">438057-0</idno>
              <orgName ref="#struct-302851"/>
              <affiliation ref="#struct-374701"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Redha</forename>
                <surname>Gouicem</surname>
              </persName>
              <email type="md5">09c980623a4e3d391505af209cd90e2d</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">redha-gouicem</idno>
              <idno type="idhal" notation="numeric">173625</idno>
              <idno type="halauthorid" notation="string">36037-173625</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4619-5221</idno>
              <idno type="IDREF">https://www.idref.fr/253134900</idno>
              <affiliation ref="#struct-541725"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Damien</forename>
                <surname>Carver</surname>
              </persName>
              <email type="md5">2ffcb8ac59acb6467473135f7bb8f6c2</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1025547</idno>
              <idno type="halauthorid" notation="string">1290565-1025547</idno>
              <affiliation ref="#struct-541725"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Pierre</forename>
                <surname>Lozi</surname>
              </persName>
              <email type="md5">c722ca40eadb4c74509bf0d285c6f6dd</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">jplozi</idno>
              <idno type="idhal" notation="numeric">1230</idno>
              <idno type="halauthorid" notation="string">13573-1230</idno>
              <idno type="IDREF">https://www.idref.fr/180725866</idno>
              <idno type="ORCID">https://orcid.org/0009-0002-2876-8292</idno>
              <affiliation ref="#struct-418008"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Palix</surname>
              </persName>
              <email type="md5">49f4c694f6e22bb1f6561a822119910b</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">nicolas-palix</idno>
              <idno type="idhal" notation="numeric">3822</idno>
              <idno type="halauthorid" notation="string">22503-3822</idno>
              <idno type="IDREF">https://www.idref.fr/129616427</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8873-281X</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2VVVwQoAAAAJ</idno>
              <affiliation ref="#struct-1043311"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maria-Virginia</forename>
                <surname>Aponte</surname>
              </persName>
              <email type="md5">dde72909a925b578a210c522d7a2a8d6</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="string">virginia-aponte</idno>
              <idno type="idhal" notation="numeric">181871</idno>
              <idno type="halauthorid" notation="string">30430-181871</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4428-065X</idno>
              <idno type="IDREF">https://www.idref.fr/153602511</idno>
              <affiliation ref="#struct-541725"/>
              <affiliation ref="#struct-553461"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Willy</forename>
                <surname>Zwaenepoel</surname>
              </persName>
              <email type="md5">3eb72fdf822015b43991b5238e065cdf</email>
              <email type="domain">sydney.edu.au</email>
              <idno type="idhal" notation="numeric">1057671</idno>
              <idno type="halauthorid" notation="string">142887-1057671</idno>
              <orgName ref="#struct-374701"/>
              <affiliation ref="#struct-374701"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Sopena</surname>
              </persName>
              <email type="md5">44e6851877e5a5e7293d7c4c648b4d3e</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">julien-sopena</idno>
              <idno type="idhal" notation="numeric">743742</idno>
              <idno type="halauthorid" notation="string">48644-743742</idno>
              <idno type="IDREF">https://www.idref.fr/139161465</idno>
              <idno type="ORCID">https://orcid.org/0009-0006-6597-0704</idno>
              <affiliation ref="#struct-541722"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julia</forename>
                <surname>Lawall</surname>
              </persName>
              <email type="md5">502479502f61be94d127add9638e80d4</email>
              <email type="domain">diku.dk</email>
              <idno type="idhal" notation="numeric">1076574</idno>
              <idno type="halauthorid" notation="string">249652-1076574</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1684-1264</idno>
              <idno type="IDREF">https://www.idref.fr/184044707</idno>
              <affiliation ref="#struct-541725"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gilles</forename>
                <surname>Muller</surname>
              </persName>
              <email type="md5">46619d3f9400c678b90c21ca85997496</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">gilles-muller</idno>
              <idno type="idhal" notation="numeric">735789</idno>
              <idno type="halauthorid" notation="string">10513-735789</idno>
              <idno type="IDREF">https://www.idref.fr/067289908</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-541725"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gilles</forename>
                <surname>Muller</surname>
              </persName>
              <email type="md5">46619d3f9400c678b90c21ca85997496</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder>This work was supported in part by the Swiss National Science Foundation Grants No. 513954 and 514009, and by Oracle donation CR 1930.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-04-25 16:09:34</date>
              <date type="whenModified">2025-09-27 19:11:34</date>
              <date type="whenReleased">2020-04-27 11:13:52</date>
              <date type="whenProduced">2020-04-27</date>
              <date type="whenEndEmbargoed">2020-04-25</date>
              <ref type="file" target="https://inria.hal.science/hal-02554342v1/document">
                <date notBefore="2020-04-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-02554342v1/file/paper.pdf" id="file-2554342-2421545">
                <date notBefore="2020-04-25"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-02554342/file/paper.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="127469">
                <persName>
                  <forename>Gilles</forename>
                  <surname>Muller</surname>
                </persName>
                <email type="md5">46619d3f9400c678b90c21ca85997496</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02554342</idno>
            <idno type="halUri">https://inria.hal.science/hal-02554342</idno>
            <idno type="halBibtex">lepers:hal-02554342</idno>
            <idno type="halRefHtml">&lt;i&gt;Eurosys 2020 - European Conference on Computer Systems&lt;/i&gt;, Apr 2020, Heraklion / Virtual, Greece. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3342195.3387544"&gt;&amp;#x27E8;10.1145/3342195.3387544&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. &amp;#x27E8;10.1145/3342195.3387544&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2554342-2421545"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</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="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="LIG_SRCPR" corresp="LIG">Systèmes Répartis, Calcul Parallèle et Réseaux</idno>
            <idno type="stamp" n="LIG_SRCPR_ERODS" corresp="LIG_SRCPR">ERODS</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="POLYTECH-GRENOBLE">Polytech Grenoble</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="HESAM-CNAM" corresp="HESAM">Conservatoire National des Arts et Métiers - Hesam</idno>
            <idno type="stamp" n="HESAM">Hesam</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="INRIA-AUSTRALIE">Copublications Inria-Australie</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Virtual (online) conference</note>
            <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">Provable Multicore Schedulers with Ipanema: Application to Work Conservation</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Baptiste</forename>
                    <surname>Lepers</surname>
                  </persName>
                  <idno type="halauthorid">438057-0</idno>
                  <orgName ref="#struct-302851"/>
                  <affiliation ref="#struct-374701"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Redha</forename>
                    <surname>Gouicem</surname>
                  </persName>
                  <email type="md5">09c980623a4e3d391505af209cd90e2d</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">redha-gouicem</idno>
                  <idno type="idhal" notation="numeric">173625</idno>
                  <idno type="halauthorid" notation="string">36037-173625</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4619-5221</idno>
                  <idno type="IDREF">https://www.idref.fr/253134900</idno>
                  <affiliation ref="#struct-541725"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Damien</forename>
                    <surname>Carver</surname>
                  </persName>
                  <email type="md5">2ffcb8ac59acb6467473135f7bb8f6c2</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1025547</idno>
                  <idno type="halauthorid" notation="string">1290565-1025547</idno>
                  <affiliation ref="#struct-541725"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Pierre</forename>
                    <surname>Lozi</surname>
                  </persName>
                  <email type="md5">c722ca40eadb4c74509bf0d285c6f6dd</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">jplozi</idno>
                  <idno type="idhal" notation="numeric">1230</idno>
                  <idno type="halauthorid" notation="string">13573-1230</idno>
                  <idno type="IDREF">https://www.idref.fr/180725866</idno>
                  <idno type="ORCID">https://orcid.org/0009-0002-2876-8292</idno>
                  <affiliation ref="#struct-418008"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Palix</surname>
                  </persName>
                  <email type="md5">49f4c694f6e22bb1f6561a822119910b</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">nicolas-palix</idno>
                  <idno type="idhal" notation="numeric">3822</idno>
                  <idno type="halauthorid" notation="string">22503-3822</idno>
                  <idno type="IDREF">https://www.idref.fr/129616427</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8873-281X</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2VVVwQoAAAAJ</idno>
                  <affiliation ref="#struct-1043311"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maria-Virginia</forename>
                    <surname>Aponte</surname>
                  </persName>
                  <email type="md5">dde72909a925b578a210c522d7a2a8d6</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="string">virginia-aponte</idno>
                  <idno type="idhal" notation="numeric">181871</idno>
                  <idno type="halauthorid" notation="string">30430-181871</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4428-065X</idno>
                  <idno type="IDREF">https://www.idref.fr/153602511</idno>
                  <affiliation ref="#struct-541725"/>
                  <affiliation ref="#struct-553461"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Willy</forename>
                    <surname>Zwaenepoel</surname>
                  </persName>
                  <email type="md5">3eb72fdf822015b43991b5238e065cdf</email>
                  <email type="domain">sydney.edu.au</email>
                  <idno type="idhal" notation="numeric">1057671</idno>
                  <idno type="halauthorid" notation="string">142887-1057671</idno>
                  <orgName ref="#struct-374701"/>
                  <affiliation ref="#struct-374701"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Sopena</surname>
                  </persName>
                  <email type="md5">44e6851877e5a5e7293d7c4c648b4d3e</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">julien-sopena</idno>
                  <idno type="idhal" notation="numeric">743742</idno>
                  <idno type="halauthorid" notation="string">48644-743742</idno>
                  <idno type="IDREF">https://www.idref.fr/139161465</idno>
                  <idno type="ORCID">https://orcid.org/0009-0006-6597-0704</idno>
                  <affiliation ref="#struct-541722"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julia</forename>
                    <surname>Lawall</surname>
                  </persName>
                  <email type="md5">502479502f61be94d127add9638e80d4</email>
                  <email type="domain">diku.dk</email>
                  <idno type="idhal" notation="numeric">1076574</idno>
                  <idno type="halauthorid" notation="string">249652-1076574</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1684-1264</idno>
                  <idno type="IDREF">https://www.idref.fr/184044707</idno>
                  <affiliation ref="#struct-541725"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gilles</forename>
                    <surname>Muller</surname>
                  </persName>
                  <email type="md5">46619d3f9400c678b90c21ca85997496</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">gilles-muller</idno>
                  <idno type="idhal" notation="numeric">735789</idno>
                  <idno type="halauthorid" notation="string">10513-735789</idno>
                  <idno type="IDREF">https://www.idref.fr/067289908</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-541725"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Eurosys 2020 - European Conference on Computer Systems</title>
                  <date type="start">2020-04-27</date>
                  <date type="end">2020-04-30</date>
                  <settlement>Heraklion / Virtual</settlement>
                  <country key="GR">Greece</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1145/3342195.3387544</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Formal verification</term>
                <term xml:lang="en">Linux</term>
                <term xml:lang="en">Scheduling</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-os">Computer Science [cs]/Operating Systems [cs.OS]</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>Recent research and bug reports have shown that work conservation , the property that a core is idle only if no other core is overloaded, is not guaranteed by Linux's CFS or FreeBSD's ULE multicore schedulers. Indeed, multicore schedulers are challenging to specify and verify: they must operate under stringent performance requirements, while handling very large numbers of concurrent operations on threads. As a consequence, the verification of correctness properties of schedulers has not yet been considered. In this paper, we propose an approach, based on a domain-specific language and theorem provers, for developing sched-ulers with provable properties. We introduce the notion of concurrent work conservation (CWC), a relaxed definition of work conservation that can be achieved in a concurrent system where threads can be created, unblocked and blocked concurrently with other scheduling events. We implement several scheduling policies, inspired by CFS and ULE. We show that our schedulers obtain the same level of performance as production schedulers, while concurrent work conservation is satisfied.</p>
            </abstract>
            <particDesc>
              <org type="consortium">CSG</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-374701" status="VALID">
          <idno type="ROR">https://ror.org/0384j8v12</idno>
          <orgName>The University of Sydney</orgName>
          <date type="start">1850-01-01</date>
          <desc>
            <address>
              <addrLine>New South Wales 2006</addrLine>
              <country key="AU"/>
            </address>
            <ref type="url">http://sydney.edu.au/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-541725" status="OLD">
          <idno type="RNSR">201421141Y</idno>
          <orgName>Well Honed Infrastructure Software for Programming Environments and Runtimes</orgName>
          <orgName type="acronym">Whisper</orgName>
          <date type="start">2018-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/whisper</ref>
          </desc>
          <listRelation>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-418008" status="VALID">
          <orgName>Oracle Labs</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">http://labs.oracle.com</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1043311" status="OLD">
          <idno type="IdRef">278549691</idno>
          <orgName>Efficient and Robust Distributed Systems</orgName>
          <orgName type="acronym">ERODS</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale, CS 40700 - 38058 Grenoble cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://erods.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1043301" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1042703" type="indirect"/>
            <relation active="#struct-1043329" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-553461" status="VALID">
          <orgName>CEDRIC. Systèmes sûrs</orgName>
          <orgName type="acronym">CEDRIC - SYS</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://cedric.cnam.fr/index.php/labo/SYS</ref>
          </desc>
          <listRelation>
            <relation active="#struct-16574" type="direct"/>
            <relation name="EA4629" active="#struct-179741" type="indirect"/>
            <relation name="EA4629" active="#struct-300351" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-541722" status="OLD">
          <idno type="RNSR">201822643N</idno>
          <orgName>DistributEd aLgorithms and sYStems</orgName>
          <orgName type="acronym">DELYS</orgName>
          <date type="start">2018-01-01</date>
          <date type="end">2022-12-31</date>
          <desc>
            <address>
              <addrLine>2 rue Simone Iff -CS 42112 -75589 Paris Cedex 12</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/delys</ref>
          </desc>
          <listRelation>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</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-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </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-1043301" status="VALID">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035</idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-16574" status="VALID">
          <idno type="IdRef">155463381</idno>
          <idno type="RNSR">201119480F</idno>
          <idno type="ROR">https://ror.org/044j5mm75</idno>
          <orgName>Centre d'études et de recherche en informatique et communications</orgName>
          <orgName type="acronym">CEDRIC</orgName>
          <desc>
            <address>
              <addrLine>292 rue Saint-Martin 75141 PARIS Cedex 03Case courrier 2D4P30</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cedric.cnam.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA4629" active="#struct-179741" type="direct"/>
            <relation name="EA4629" active="#struct-300351" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300351" status="VALID">
          <idno type="IdRef">027404978</idno>
          <idno type="ISNI">0000000121690459</idno>
          <idno type="ROR">https://ror.org/0175hh227</idno>
          <orgName>Conservatoire National des Arts et Métiers [Cnam]</orgName>
          <orgName type="acronym">Cnam</orgName>
          <desc>
            <address>
              <addrLine>292 Rue Saint-Martin, 75003 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>