<?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-01228581</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-20T03:17:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Do we still need new Alias Analyses?</title>
            <author role="aut">
              <persName>
                <forename type="first">Maroua</forename>
                <surname>Maalej</surname>
              </persName>
              <idno type="halauthorid">965814-0</idno>
              <affiliation ref="#struct-179718"/>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-301088"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laure</forename>
                <surname>Gonnord</surname>
              </persName>
              <email type="md5">0eea614fd0dbef0d803a6ae1e0e23ba0</email>
              <email type="domain">gonnord.org</email>
              <idno type="idhal" notation="string">laure-gonnord</idno>
              <idno type="idhal" notation="numeric">1749</idno>
              <idno type="halauthorid" notation="string">7985-1749</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8013-1611</idno>
              <idno type="IDREF">https://www.idref.fr/125304145</idno>
              <orgName ref="#struct-194495"/>
              <affiliation ref="#struct-194495"/>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-179718"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Maroua</forename>
                <surname>Maalej</surname>
              </persName>
              <email type="md5">ab302074bbfe49403587d1330c90c6b7</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-11-13 13:46:51</date>
              <date type="whenModified">2025-10-13 09:44:14</date>
              <date type="whenReleased">2015-11-17 15:07:26</date>
              <date type="whenProduced">2015-11</date>
              <date type="whenEndEmbargoed">2015-11-13</date>
              <ref type="file" target="https://inria.hal.science/hal-01228581v1/document">
                <date notBefore="2015-11-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01228581v1/file/RR-8812.pdf" id="file-1228581-1307336">
                <date notBefore="2015-11-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="325677">
                <persName>
                  <forename>Maroua</forename>
                  <surname>Maalej</surname>
                </persName>
                <email type="md5">ab302074bbfe49403587d1330c90c6b7</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01228581</idno>
            <idno type="halUri">https://inria.hal.science/hal-01228581</idno>
            <idno type="halBibtex">maalej:hal-01228581</idno>
            <idno type="halRefHtml">[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015</idno>
            <idno type="halRef">[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1228581-1307336"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</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="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</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="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
          </seriesStmt>
          <notesStmt>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Do we still need new Alias Analyses?</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Maroua</forename>
                    <surname>Maalej</surname>
                  </persName>
                  <idno type="halauthorid">965814-0</idno>
                  <affiliation ref="#struct-179718"/>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-301088"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laure</forename>
                    <surname>Gonnord</surname>
                  </persName>
                  <email type="md5">0eea614fd0dbef0d803a6ae1e0e23ba0</email>
                  <email type="domain">gonnord.org</email>
                  <idno type="idhal" notation="string">laure-gonnord</idno>
                  <idno type="idhal" notation="numeric">1749</idno>
                  <idno type="halauthorid" notation="string">7985-1749</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8013-1611</idno>
                  <idno type="IDREF">https://www.idref.fr/125304145</idno>
                  <orgName ref="#struct-194495"/>
                  <affiliation ref="#struct-194495"/>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-179718"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-8812</idno>
                <imprint>
                  <date type="datePub">2015-11</date>
                </imprint>
                <authority type="institution">Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Compilers</term>
                <term xml:lang="en">Static Analysis</term>
                <term xml:lang="en">Alias Analysis</term>
                <term xml:lang="en">Optimization</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Alias analysis is one of the most used techniques that aim to optimizelanguages with pointers. It is no surprise that this topichas received much attention in many fields including compilation andprogram verification. However, despite all this attention, a deep studyof its state-of-the art shows that it is not handled satisfactorily, by far. In this paper we demonstrate that, although manyapproaches have been proposed, we still cannot rely on alias analysisinside compilers. We illustrate our statement with an overview of thecapabilities of state-of-the-art compilers.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-179718" status="OLD">
          <idno type="RNSR">201221200W</idno>
          <orgName>Optimisation des ressources : modèles, algorithmes et ordonnancement</orgName>
          <orgName type="acronym">ROMA</orgName>
          <date type="start">2015-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Laboratoire de l'Informatique du Parallélisme 46 Allée d'Italie 69364 Lyon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/roma</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</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="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>