<?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 lirmm-00693955</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-03T09:43:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Lightweight Generics in Embedded Systems through Static Analysis</title>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Sallenave</surname>
              </persName>
              <email type="md5">d432658a08da48c62892fad04beecb5b</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="numeric">917852</idno>
              <idno type="halauthorid" notation="string">469349-917852</idno>
              <affiliation ref="#struct-181"/>
              <affiliation ref="#struct-174475"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Roland</forename>
                <surname>Ducournau</surname>
              </persName>
              <email type="md5">59311dc21593d3924f924995af89592f</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">roland-ducournau</idno>
              <idno type="idhal" notation="numeric">8771</idno>
              <idno type="halauthorid" notation="string">14131-8771</idno>
              <idno type="IDREF">https://www.idref.fr/057532397</idno>
              <affiliation ref="#struct-388202"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Olivier</forename>
                <surname>Sallenave</surname>
              </persName>
              <email type="md5">bdc9fa7b2151510735806e8d557d48ce</email>
              <email type="domain">cortus.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-05-03 11:10:27</date>
              <date type="whenModified">2023-04-24 16:28:44</date>
              <date type="whenReleased">2012-05-25 11:32:59</date>
              <date type="whenProduced">2012-05</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="151934">
                <persName>
                  <forename>Olivier</forename>
                  <surname>Sallenave</surname>
                </persName>
                <email type="md5">bdc9fa7b2151510735806e8d557d48ce</email>
                <email type="domain">cortus.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-00693955</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-00693955</idno>
            <idno type="halBibtex">sallenave:lirmm-00693955</idno>
            <idno type="halRefHtml">&lt;i&gt;LCTES 2012 - 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems&lt;/i&gt;, May 2012, Beijing, China. pp.011-020, &lt;a target="_blank" href="https://dx.doi.org/10.1145/2345141.2248421"&gt;&amp;#x27E8;10.1145/2345141.2248421&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">LCTES 2012 - 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, May 2012, Beijing, China. pp.011-020, &amp;#x27E8;10.1145/2345141.2248421&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="MAREL" corresp="LIRMM">Models And Reuse Engineering, Languages</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</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">Lightweight Generics in Embedded Systems through Static Analysis</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Sallenave</surname>
                  </persName>
                  <email type="md5">d432658a08da48c62892fad04beecb5b</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="numeric">917852</idno>
                  <idno type="halauthorid" notation="string">469349-917852</idno>
                  <affiliation ref="#struct-181"/>
                  <affiliation ref="#struct-174475"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Roland</forename>
                    <surname>Ducournau</surname>
                  </persName>
                  <email type="md5">59311dc21593d3924f924995af89592f</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">roland-ducournau</idno>
                  <idno type="idhal" notation="numeric">8771</idno>
                  <idno type="halauthorid" notation="string">14131-8771</idno>
                  <idno type="IDREF">https://www.idref.fr/057532397</idno>
                  <affiliation ref="#struct-388202"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-1-4503-1212-7</idno>
                <meeting>
                  <title>LCTES 2012 - 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems</title>
                  <date type="start">2012-05</date>
                  <settlement>Beijing</settlement>
                  <country key="CN">China</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">011-020</biblScope>
                  <date type="datePub">2012-06-12</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/2345141.2248421</idno>
              <ref type="publisher">http://lctes12.cs.purdue.edu/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</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>Low-end embedded systems are still programmed in C and assembly, and adopting high-level languages such as C# should reduce the length of their development cycles. For these systems, code size is a major concern, but run-time efficiency should also be reasonable -- programmers will not migrate to C# unless the overhead compared with C is insignificant. In this paper, we propose a static approach based on whole program optimization for implementing .NET generics in such systems. Indeed, the implementation of run- time generics involves a tradeoff between size and run-time efficiency. In this proposal, generic instances are detected through a generalization of RTA to parametric polymorphism. Also, we propose an implementation scheme which employs code sharing and more effective coercions than boxing. Unlike existing implementation schemes, it is scalable in the number of generic instances without involving boxing and unboxing in a systematic way.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-174475" status="VALID">
          <orgName>Cortus S.A. [Montpellier]</orgName>
          <desc>
            <address>
              <addrLine>Le Génésis - 97 rue de Freyr - 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cortus.com/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-388202" status="OLD">
          <orgName>Models And Reuse Engineering, Languages</orgName>
          <orgName type="acronym">MAREL</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/MAREL/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
      </listOrg>
    </back>
  </text>
</TEI>