<?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-04015827</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-03T14:52:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Varda: A Framework for Compositional Distributed Programming</title>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Prosperi</surname>
              </persName>
              <email type="md5">42afefef9e46bbdd353f0d5914c2f79f</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">1091344</idno>
              <idno type="halauthorid" notation="string">1435960-1091344</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0375-8207</idno>
              <idno type="IDREF">https://www.idref.fr/272389846</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/FVX-3488-2022</idno>
              <affiliation ref="#struct-541722"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ahmed</forename>
                <surname>Bouajjani</surname>
              </persName>
              <idno type="idhal" notation="numeric">1234184</idno>
              <idno type="halauthorid" notation="string">175898-1234184</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2060-3592</idno>
              <affiliation ref="#struct-1005016"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Shapiro</surname>
              </persName>
              <email type="md5">3a9fba80fb97fa40366e556d67d48b36</email>
              <email type="domain">acm.org</email>
              <idno type="idhal" notation="string">shapiro</idno>
              <idno type="idhal" notation="numeric">2384</idno>
              <idno type="halauthorid" notation="string">2120-2384</idno>
              <idno type="IDREF">https://www.idref.fr/068666128</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8953-9322</idno>
              <idno type="VIAF">https://viaf.org/viaf/200932310</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/AAO-3785-2021</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/AAO-3785-2021</idno>
              <affiliation ref="#struct-541722"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Laurent</forename>
                <surname>Prosperi</surname>
              </persName>
              <email type="md5">63ebaffe074f92d522b2f75d42c17f20</email>
              <email type="domain">ens-cachan.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-03-06 10:43:54</date>
              <date type="whenModified">2025-12-19 10:22:02</date>
              <date type="whenReleased">2023-03-09 08:29:01</date>
              <date type="whenProduced">2022-05-17</date>
              <date type="whenEndEmbargoed">2023-03-06</date>
              <ref type="file" target="https://hal.science/hal-04015827v1/document">
                <date notBefore="2023-03-06"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04015827v1/file/main_vYT26DV.pdf" id="file-4015827-3501734">
                <date notBefore="2023-03-06"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="685950">
                <persName>
                  <forename>Laurent</forename>
                  <surname>Prosperi</surname>
                </persName>
                <email type="md5">63ebaffe074f92d522b2f75d42c17f20</email>
                <email type="domain">ens-cachan.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04015827</idno>
            <idno type="halUri">https://hal.science/hal-04015827</idno>
            <idno type="halBibtex">prosperi:hal-04015827</idno>
            <idno type="halRefHtml">&lt;i&gt;NETYS 2022 - 10th International Conference on Networked Systems&lt;/i&gt;, May 2022, Marrakech, Morocco. pp.16-30, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-17436-0_2"&gt;&amp;#x27E8;10.1007/978-3-031-17436-0_2&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">NETYS 2022 - 10th International Conference on Networked Systems, May 2022, Marrakech, Morocco. pp.16-30, &amp;#x27E8;10.1007/978-3-031-17436-0_2&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4015827-3501734"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="INRIA-ROCQ">INRIA Paris - Rocquencourt</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="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS" corresp="UNIV-PARIS">Université Paris Cité</idno>
            <idno type="stamp" n="UP-SCIENCES">Université Paris Cité - Faculté des Sciences</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="IRIF">Institut de Recherche en Informatique Fondamentale</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</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">Varda: A Framework for Compositional Distributed Programming</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Prosperi</surname>
                  </persName>
                  <email type="md5">42afefef9e46bbdd353f0d5914c2f79f</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">1091344</idno>
                  <idno type="halauthorid" notation="string">1435960-1091344</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0375-8207</idno>
                  <idno type="IDREF">https://www.idref.fr/272389846</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/FVX-3488-2022</idno>
                  <affiliation ref="#struct-541722"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ahmed</forename>
                    <surname>Bouajjani</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1234184</idno>
                  <idno type="halauthorid" notation="string">175898-1234184</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2060-3592</idno>
                  <affiliation ref="#struct-1005016"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Shapiro</surname>
                  </persName>
                  <email type="md5">3a9fba80fb97fa40366e556d67d48b36</email>
                  <email type="domain">acm.org</email>
                  <idno type="idhal" notation="string">shapiro</idno>
                  <idno type="idhal" notation="numeric">2384</idno>
                  <idno type="halauthorid" notation="string">2120-2384</idno>
                  <idno type="IDREF">https://www.idref.fr/068666128</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8953-9322</idno>
                  <idno type="VIAF">https://viaf.org/viaf/200932310</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/AAO-3785-2021</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/AAO-3785-2021</idno>
                  <affiliation ref="#struct-541722"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-3-031-17436-0</idno>
                <title level="m">NETYS 2022: The 10th International Conference on Networked Systems</title>
                <meeting>
                  <title>NETYS 2022 - 10th International Conference on Networked Systems</title>
                  <date type="start">2022-05-17</date>
                  <date type="end">2022-05-19</date>
                  <settlement>Marrakech</settlement>
                  <country key="MA">Morocco</country>
                </meeting>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <pubPlace>Cham</pubPlace>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">13464</biblScope>
                  <biblScope unit="pp">16-30</biblScope>
                  <date type="datePub">2022-09-28</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-031-17436-0_2</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Distributed Programming</term>
                <term xml:lang="en">Language</term>
                <term xml:lang="en">Distributed System</term>
                <term xml:lang="en">Composition</term>
                <term xml:lang="en">Orchestration</term>
                <term xml:lang="en">Architecture</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>A distributed system is made of interacting components. The current manual, ad-hoc approach to composing them cannot ensure that the composition is correct, and makes it difficult to control performance. The former issue requires reasoning over a high-level specification; the latter requires fine control over emergent run-time properties. To addressthis, we propose the Varda language (a work in progress) to formalize the architecture of a system, i.e., its components, their interface, and their orchestration logic. The Varda compiler checks the architecture description and emits glue code, which executes the orchestration logic and links to the components. The Varda system relies on a generic interception mechanism to act upon distribution-related system features in a transparent and uniform manner. Varda also takes into account important non-functional system properties, such as placement.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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-1005016" status="VALID">
          <idno type="IdRef">193993007</idno>
          <idno type="RNSR">201621976X</idno>
          <idno type="ROR">https://ror.org/02krdtz55</idno>
          <idno type="Wikidata">Q51783269</idno>
          <orgName>Institut de Recherche en Informatique Fondamentale</orgName>
          <orgName type="acronym">IRIF (UMR_8243)</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris CitéBâtiment Sophie Germain, Case courrier 70148 Place Aurélie Nemours75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irif.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8243" active="#struct-441569" type="direct"/>
            <relation name="UMR_8243" active="#struct-557826" type="direct"/>
          </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="institution" xml:id="struct-557826" status="VALID">
          <idno type="IdRef">236453505</idno>
          <idno type="ISNI">0000 0004 7885 7602</idno>
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris Cité</orgName>
          <orgName type="acronym">UPCité</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>85 boulevard Saint-Germain75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-paris.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>