<?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-03332033</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-10T01:02:47+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Cross-ISA Testing of the Pharo VM: Lessons Learned While Porting to ARMv8</title>
            <author role="aut">
              <persName>
                <forename type="first">Guillermo</forename>
                <surname>Polito</surname>
              </persName>
              <email type="md5">ed4273e9fab199ef7a6fe0dc8b41db96</email>
              <email type="domain">univ-lille.fr</email>
              <idno type="idhal" notation="string">guillermo-polito</idno>
              <idno type="idhal" notation="numeric">13017</idno>
              <idno type="halauthorid" notation="string">16673-13017</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0813-8584</idno>
              <idno type="IDREF">https://www.idref.fr/188347836</idno>
              <affiliation ref="#struct-410272"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pablo</forename>
                <surname>Tesone</surname>
              </persName>
              <email type="md5">31e9d938538f366abf4afa134d5f6759</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">pablo-tesone</idno>
              <idno type="idhal" notation="numeric">184135</idno>
              <idno type="halauthorid" notation="string">54438-184135</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5615-6691</idno>
              <affiliation ref="#struct-432037"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stéphane</forename>
                <surname>Ducasse</surname>
              </persName>
              <email type="md5">5da97c2837b65f20186e33a01b85efad</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">stephane-ducasse</idno>
              <idno type="idhal" notation="numeric">939</idno>
              <idno type="halauthorid" notation="string">17081-939</idno>
              <idno type="IDREF">https://www.idref.fr/034814884</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6070-6599</idno>
              <idno type="ARXIV">https://arxiv.org/a/ducasse_s_1</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=7fHNqtoAAAAJ</idno>
              <affiliation ref="#struct-432037"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luc</forename>
                <surname>Fabresse</surname>
              </persName>
              <email type="md5">57c63a6a611679cc435f882618974d2c</email>
              <email type="domain">imt-nord-europe.fr</email>
              <idno type="idhal" notation="string">luc-fabresse</idno>
              <idno type="idhal" notation="numeric">736044</idno>
              <idno type="halauthorid" notation="string">36620-736044</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/AAH-9286-2020</idno>
              <idno type="IDREF">https://www.idref.fr/076382427</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2223-7258</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=LOYVTHMAAAAJ&amp;hl=en</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/AAH-9286-2020</idno>
              <affiliation ref="#struct-1076752"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Théo</forename>
                <surname>Rogliano</surname>
              </persName>
              <idno type="halauthorid">1659333-0</idno>
              <affiliation ref="#struct-432037"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Misse-Chanabier</surname>
              </persName>
              <email type="md5">ff44adfa31a4ae1f2a44624756fb95ec</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">pierre-misse-chanabier</idno>
              <idno type="idhal" notation="numeric">184139</idno>
              <idno type="halauthorid" notation="string">46301-184139</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9515-6929</idno>
              <affiliation ref="#struct-432037"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Carolina</forename>
                <forename type="middle">Hernandez</forename>
                <surname>Phillips</surname>
              </persName>
              <idno type="halauthorid">2275020-0</idno>
              <affiliation ref="#struct-432037"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lse</forename>
                <surname>Lse</surname>
              </persName>
              <email type="md5">5da97c2837b65f20186e33a01b85efad</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-09-03 13:48:15</date>
              <date type="whenModified">2026-03-06 11:36:02</date>
              <date type="whenReleased">2021-09-03 17:08:00</date>
              <date type="whenProduced">2021-09-29</date>
              <date type="whenEndEmbargoed">2021-09-03</date>
              <ref type="file" target="https://inria.hal.science/hal-03332033v1/document">
                <date notBefore="2021-09-03"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03332033v1/file/main.pdf" id="file-3332033-2924501">
                <date notBefore="2021-09-03"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-03332033/file/main.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="152987">
                <persName>
                  <forename>Lse</forename>
                  <surname>Lse</surname>
                </persName>
                <email type="md5">5da97c2837b65f20186e33a01b85efad</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03332033</idno>
            <idno type="halUri">https://inria.hal.science/hal-03332033</idno>
            <idno type="halBibtex">polito:hal-03332033</idno>
            <idno type="halRefHtml">&lt;i&gt;MPLR ’21, Germany&lt;/i&gt;, Sep 2021, Münster, Germany. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3475738.3480715"&gt;&amp;#x27E8;10.1145/3475738.3480715&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">MPLR ’21, Germany, Sep 2021, Münster, Germany. &amp;#x27E8;10.1145/3475738.3480715&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3332033-2924501"/></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-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="CRISTAL">Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="CRISTAL-RMOD" corresp="CRISTAL">CRISTAL-RMOD</idno>
            <idno type="stamp" n="PHARO">Pharo</idno>
            <idno type="stamp" n="UNIV-LILLE">Université de Lille</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="IMT-NORD-EUROPE" corresp="INSTITUT-MINES-TELECOM">IMT Nord Europe</idno>
            <idno type="stamp" n="CERI-SN" corresp="IMT-NORD-EUROPE">Centre d’Enseignement, de Recherche et d’Innovation Systèmes Numériques (CERI SN)</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</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">Cross-ISA Testing of the Pharo VM: Lessons Learned While Porting to ARMv8</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillermo</forename>
                    <surname>Polito</surname>
                  </persName>
                  <email type="md5">ed4273e9fab199ef7a6fe0dc8b41db96</email>
                  <email type="domain">univ-lille.fr</email>
                  <idno type="idhal" notation="string">guillermo-polito</idno>
                  <idno type="idhal" notation="numeric">13017</idno>
                  <idno type="halauthorid" notation="string">16673-13017</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0813-8584</idno>
                  <idno type="IDREF">https://www.idref.fr/188347836</idno>
                  <affiliation ref="#struct-410272"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pablo</forename>
                    <surname>Tesone</surname>
                  </persName>
                  <email type="md5">31e9d938538f366abf4afa134d5f6759</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">pablo-tesone</idno>
                  <idno type="idhal" notation="numeric">184135</idno>
                  <idno type="halauthorid" notation="string">54438-184135</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5615-6691</idno>
                  <affiliation ref="#struct-432037"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphane</forename>
                    <surname>Ducasse</surname>
                  </persName>
                  <email type="md5">5da97c2837b65f20186e33a01b85efad</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">stephane-ducasse</idno>
                  <idno type="idhal" notation="numeric">939</idno>
                  <idno type="halauthorid" notation="string">17081-939</idno>
                  <idno type="IDREF">https://www.idref.fr/034814884</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6070-6599</idno>
                  <idno type="ARXIV">https://arxiv.org/a/ducasse_s_1</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=7fHNqtoAAAAJ</idno>
                  <affiliation ref="#struct-432037"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luc</forename>
                    <surname>Fabresse</surname>
                  </persName>
                  <email type="md5">57c63a6a611679cc435f882618974d2c</email>
                  <email type="domain">imt-nord-europe.fr</email>
                  <idno type="idhal" notation="string">luc-fabresse</idno>
                  <idno type="idhal" notation="numeric">736044</idno>
                  <idno type="halauthorid" notation="string">36620-736044</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/AAH-9286-2020</idno>
                  <idno type="IDREF">https://www.idref.fr/076382427</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2223-7258</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=LOYVTHMAAAAJ&amp;hl=en</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/AAH-9286-2020</idno>
                  <affiliation ref="#struct-1076752"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Théo</forename>
                    <surname>Rogliano</surname>
                  </persName>
                  <idno type="halauthorid">1659333-0</idno>
                  <affiliation ref="#struct-432037"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Misse-Chanabier</surname>
                  </persName>
                  <email type="md5">ff44adfa31a4ae1f2a44624756fb95ec</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">pierre-misse-chanabier</idno>
                  <idno type="idhal" notation="numeric">184139</idno>
                  <idno type="halauthorid" notation="string">46301-184139</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9515-6929</idno>
                  <affiliation ref="#struct-432037"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Carolina</forename>
                    <forename type="middle">Hernandez</forename>
                    <surname>Phillips</surname>
                  </persName>
                  <idno type="halauthorid">2275020-0</idno>
                  <affiliation ref="#struct-432037"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">CERI SN</idno>
                <meeting>
                  <title>MPLR ’21, Germany</title>
                  <date type="start">2021-09-29</date>
                  <settlement>Münster</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1145/3475738.3480715</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">just-in-time compilers</term>
                <term xml:lang="en">virtual machines</term>
                <term xml:lang="en">ARM</term>
                <term xml:lang="en">testing</term>
                <term xml:lang="en">ports</term>
                <term xml:lang="en">Cross-ISA</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</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>Testing and debugging a Virtual Machine is a laborious task without the proper tooling. This is particularly true for VMs with JIT compilation and dynamic code patching for techniques such as inline caching. In addition, this situation is getting worse when the VM builds and runs on multiple target architectures. In this paper, we report on several lessons we learned while testing the Pharo VM, particularly during the port of its Cogit JIT compiler to the AArch64 architecture. The Pharo VM presented already a simulation environment that is very handy to simulate full executions and live-develop the VM. However, this full simulation environment makes it difficult to reproduce short and simple testing scenarios. We extended the pre-existing simulation environment with a testing infrastructure and a methodology that allow us to have fine-grained control of testing scenarios, making tests small, fast, reproducible, and cross-ISA. We report on how this testing infrastructure allowed us to cope with two different development scenarios: (1) porting the Cogit JIT compiler to AArch64 without early access to real hardware and (2) debugging memory corruptions due to GC bugs. CCS Concepts: • Software and its engineering → Runtime environments.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-410272" status="VALID">
          <idno type="IdRef">18388695X</idno>
          <idno type="RNSR">201521249L</idno>
          <idno type="ROR">https://ror.org/05vrs3189</idno>
          <idno type="Wikidata">Q116959497</idno>
          <orgName>Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189</orgName>
          <orgName type="acronym">CRIStAL</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lille - Campus scientifique - Bâtiment ESPRIT - Avenue Henri Poincaré - 59655 Villeneuve d’Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cristal.univ-lille.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR9189" active="#struct-120930" type="direct"/>
            <relation name="UMR9189" active="#struct-374570" type="direct"/>
            <relation name="UMR9189" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-432037" status="OLD">
          <idno type="RNSR">200919009C</idno>
          <orgName>Analyses and Languages Constructs for Object-Oriented Application Evolution</orgName>
          <orgName type="acronym">RMOD</orgName>
          <date type="start">2015-01-01</date>
          <date type="end">2023-03-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/rmod</ref>
          </desc>
          <listRelation>
            <relation active="#struct-104752" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-410272" type="direct"/>
            <relation name="UMR9189" active="#struct-120930" type="indirect"/>
            <relation name="UMR9189" active="#struct-374570" type="indirect"/>
            <relation name="UMR9189" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1076752" status="VALID">
          <idno type="IdRef">20073511X</idno>
          <orgName>Ecole nationale supérieure Mines-Télécom Lille Douai</orgName>
          <orgName type="acronym">IMT Nord Europe</orgName>
          <date type="start">2021-09-01</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique, Rue Guglielmo Marconi BP 20145 VILLENEUVE D’ASCQ</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://imt-nord-europe.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-120930" status="VALID">
          <idno type="IdRef">256304629</idno>
          <idno type="ISNI">0000000122034461</idno>
          <idno type="ROR">https://ror.org/01x441g73</idno>
          <orgName>Centrale Lille</orgName>
          <desc>
            <address>
              <addrLine>École Centrale de Lille - Cité Scientifique - CS 20048 59651 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://centralelille.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-374570" status="VALID">
          <idno type="IdRef">223446556</idno>
          <idno type="ISNI">0000 0001 2242 6780</idno>
          <idno type="ROR">https://ror.org/02kzqn938</idno>
          <idno type="Wikidata">Q3551621</idno>
          <orgName>Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>EPE Université de Lille. -- 42 rue Paul Duez, 59000 Lille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-lille.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-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="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>