<?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-01248209</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-19T10:51:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Pushing log-based reconciliation</title>
            <author role="aut">
              <persName>
                <forename type="first">Youssef</forename>
                <surname>Hamadi</surname>
              </persName>
              <idno type="halauthorid">209069-0</idno>
              <affiliation ref="#struct-15503"/>
            </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>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-15503"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alain</forename>
                <surname>Monteil</surname>
              </persName>
              <email type="md5">8d58fc1b670b8074dd83e4a4c93d5914</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-12-24 09:43:15</date>
              <date type="whenModified">2025-08-12 15:57:14</date>
              <date type="whenReleased">2015-12-24 10:29:54</date>
              <date type="whenProduced">2005</date>
              <date type="whenEndEmbargoed">2015-12-24</date>
              <ref type="file" target="https://inria.hal.science/hal-01248209v1/document">
                <date notBefore="2015-12-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01248209v1/file/ijait05Log.pdf" id="file-1248209-1326872">
                <date notBefore="2015-12-24"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01248209/file/ijait05Log.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="102239">
                <persName>
                  <forename>Alain</forename>
                  <surname>Monteil</surname>
                </persName>
                <email type="md5">8d58fc1b670b8074dd83e4a4c93d5914</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01248209</idno>
            <idno type="halUri">https://inria.hal.science/hal-01248209</idno>
            <idno type="halBibtex">hamadi:hal-01248209</idno>
            <idno type="halRefHtml">&lt;i&gt;International Journal on Artificial Intelligence Tools&lt;/i&gt;, 2005, 14 (3--4), pp.445--458. &lt;a target="_blank" href="https://dx.doi.org/10.1142/S0218213005002193"&gt;&amp;#x27E8;10.1142/S0218213005002193&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">International Journal on Artificial Intelligence Tools, 2005, 14 (3--4), pp.445--458. &amp;#x27E8;10.1142/S0218213005002193&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1248209-1326872"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA-300009">Inria 300009</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">Pushing log-based reconciliation</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Youssef</forename>
                    <surname>Hamadi</surname>
                  </persName>
                  <idno type="halauthorid">209069-0</idno>
                  <affiliation ref="#struct-15503"/>
                </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>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-15503"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">14343</idno>
                <idno type="issn">0218-2130</idno>
                <title level="j">International Journal on Artificial Intelligence Tools</title>
                <imprint>
                  <publisher>World Scientific Publishing</publisher>
                  <biblScope unit="volume">14</biblScope>
                  <biblScope unit="issue">3--4</biblScope>
                  <biblScope unit="pp">445--458</biblScope>
                  <date type="datePub">2005</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1142/S0218213005002193</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">app</term>
                <term xml:lang="en">syn</term>
                <term xml:lang="en">optim</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Optimistic reconciliation allows, multiple update of shared data without synchronization. The assumption is that the vast majority of the actions will not conflict. In these systems, write availability is raised in the presence of network failures, high latencies or parallel development. However, in order to remain consistent, optimistic systems repair divergences. To produce a new consistent state, they use the logs of each user in a process called log-based reconciliation. The purpose of an efficient reconciliation engine is then to compute a new consistent state which preserves the maximum of previous actions. This work leverages the efficiency of constraint-based reconciliation. It provides a new efficient two step procedure built by connecting theoretical results on backtrack-free search with this hard optimisation problem.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-15503" status="VALID">
          <orgName>Microsoft Research [Cambridge]</orgName>
          <orgName type="acronym">Microsoft</orgName>
          <desc>
            <address>
              <addrLine>Roger Needham Building 7 J J Thomson Ave Cambridge CB3 0FB, UK</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://research.microsoft.com/aboutmsr/labs/cambridge/default.aspx</ref>
          </desc>
          <listRelation>
            <relation active="#struct-365620" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-365620" status="VALID">
          <orgName>Microsoft Research</orgName>
          <desc>
            <address>
              <country key="US"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>