<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:COMPSYS</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Members"/>
    <meta name="dc.title" content="Members"/>
    <meta name="dc.creator" content="Christophe Alias"/>
    <meta name="dc.creator" content="Florent Bouchez"/>
    <meta name="dc.creator" content="Alain Darte"/>
    <meta name="dc.creator" content="Paul Feautrier"/>
    <meta name="dc.creator" content="Laure Gonnord"/>
    <meta name="dc.creator" content="Fabrice Rastello"/>
    <meta name="dc.creator" content="Lukasz Domagala"/>
    <meta name="dc.creator" content="Alexandros Lamprineas"/>
    <meta name="dc.creator" content="Adrian Muresan"/>
    <meta name="dc.creator" content="Alexandru Plesco"/>
    <meta name="dc.creator" content="François Gindraud"/>
    <meta name="dc.creator" content="Guillaume Iooss"/>
    <meta name="dc.creator" content="Alexandre Isoard"/>
    <meta name="dc.creator" content="Diogo Nunes Sampaio"/>
    <meta name="dc.creator" content="Duco Van Amstel"/>
    <meta name="dc.creator" content="Laetitia Lecot-Gauthé"/>
    <meta name="dc.creator" content="Maria Immaculada Presseguer"/>
    <meta name="dc.creator" content="Raphael Ernani Rodrigues"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2013-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="COMPSYS"/>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Compsys</a>
        </div>
        <span class="tdmActPage">
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Introduction</a></li><li><a href="./uid6.html">General Presentation</a></li><li><a href="./uid11.html">Summary of Compsys I Achievements</a></li><li><a href="./uid17.html">Quick view of Compsys II
Achievements and directions for Compsys III</a></li><li><a href="./uid20.html">Highlights of the Year</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid30.html&#10;&#9;&#9;  ">Generalities</a></li><li><a href="uid33.html&#10;&#9;&#9;  ">Back-End Code Optimizations for Embedded Processors</a></li><li><a href="uid45.html&#10;&#9;&#9;  ">High-Level Program Analysis and
Transformations</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid56.html&#10;&#9;&#9;  ">Compilers for Embedded Computing Systems</a></li></ul></div>
      <div class="TdmEntry">Software and Platforms<ul><li><a href="uid58.html&#10;&#9;&#9;  ">Introduction</a></li><li><a href="uid59.html&#10;&#9;&#9;  ">Pip</a></li><li><a href="uid60.html&#10;&#9;&#9;  ">Syntol</a></li><li><a href="uid63.html&#10;&#9;&#9;  ">Cl@k</a></li><li><a href="uid64.html&#10;&#9;&#9;  ">PoCo</a></li><li><a href="uid70.html&#10;&#9;&#9;  ">Bee</a></li><li><a href="uid74.html&#10;&#9;&#9;  ">Chuba</a></li><li><a href="uid75.html&#10;&#9;&#9;  ">Dcc</a></li><li><a href="uid76.html&#10;&#9;&#9;  ">IceGEN</a></li><li><a href="uid79.html&#10;&#9;&#9;  ">C2fsm</a></li><li><a href="uid80.html&#10;&#9;&#9;  ">Aspic</a></li><li><a href="uid81.html&#10;&#9;&#9;  ">RanK</a></li><li><a href="uid82.html&#10;&#9;&#9;  ">SToP</a></li><li><a href="uid83.html&#10;&#9;&#9;  ">Simplifiers</a></li><li><a href="uid84.html&#10;&#9;&#9;  ">LAO Developments in Aggressive Compilation</a></li><li><a href="uid85.html&#10;&#9;&#9;  ">LAO Developments in JIT Compilation</a></li><li><a href="uid86.html&#10;&#9;&#9;  ">Low-Level Exchange Format (TireX) and
Minimalist Intermediate Representation (MinIR)</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid88.html&#10;&#9;&#9;  ">Parameterized Construction of Program Representations for Sparse Dataflow Analysiss</a></li><li><a href="uid89.html&#10;&#9;&#9;  ">A Framework for Enhancing Data Reuse via Associative Reordering</a></li><li><a href="uid90.html&#10;&#9;&#9;  ">Function Cloning Revisited</a></li><li><a href="uid91.html&#10;&#9;&#9;  ">Register Allocation and Promotion through Combined Instruction Scheduling, Loop Splitting and Unrolling</a></li><li><a href="uid92.html&#10;&#9;&#9;  ">Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential</a></li><li><a href="uid93.html&#10;&#9;&#9;  ">Characterizing the Inherent Data Movement Complexity of Computations via Lower Bounds</a></li><li><a href="uid94.html&#10;&#9;&#9;  ">Enhancing the Compilation of Synchronous Dataflow Programs</a></li><li><a href="uid95.html&#10;&#9;&#9;  ">Synthesis of Ranking Functions
using Extremal Counter-Examples</a></li><li><a href="uid98.html&#10;&#9;&#9;  ">Data-Aware Process Networks</a></li><li><a href="uid107.html&#10;&#9;&#9;  ">Program Equivalence Modulo A/C (Associativity/Commutativity)</a></li><li><a href="uid110.html&#10;&#9;&#9;  ">Constant Aspect-Ratio Parametric Tiling</a></li><li><a href="uid111.html&#10;&#9;&#9;  ">Parametric Tiling with Inter-Tile
Data Reuse</a></li><li><a href="uid112.html&#10;&#9;&#9;  ">Data Races in the Parallel Language X10</a></li><li><a href="uid113.html&#10;&#9;&#9;  ">Clock Removal in X10</a></li><li><a href="uid114.html&#10;&#9;&#9;  ">Static Analysis of OpenStream Programs</a></li><li><a href="uid118.html&#10;&#9;&#9;  ">Array Contraction in
Parallel Programs</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid120.html&#10;&#9;&#9;  ">Tirex Contract with Kalray</a></li><li><a href="uid121.html&#10;&#9;&#9;  ">ManycoreLabs Project with Kalray</a></li><li><a href="uid122.html&#10;&#9;&#9;  ">Technological Transfer Towards Zettice Start-Up</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid124.html&#10;&#9;&#9;  ">Regional Initiatives</a></li><li><a href="uid125.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid129.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid131.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid137.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid143.html&#10;&#9;&#9;  ">Scientific Animation</a></li><li><a href="uid162.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentyear" href="bibliography.html">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2013</a> | <a href="http://www.inria.fr/en/teams/compsys">Presentation of the Project-Team COMPSYS</a> | <a href="http://www.ens-lyon.fr/LIP/COMPSYS/index.html.en">COMPSYS Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="compsys.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="compsys.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-compsys-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../compsys/compsys.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-compsys-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid0.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid3.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage"><div class="moreinfo1"><p>Compsys is an EPC (équipe-projet commune), i.e., a research project-team that
is common to several institutions: Inria, Ecole normale supérieure de Lyon
(ENS-Lyon), CNRS, and Université Claude Bernard of Lyon (UCB-Lyon). It is located
at Ecole normale supérieure de Lyon and exists since January 2002 as part of
the computer science laboratory (Laboratoire de l'Informatique du
Parallélisme, Lip, UMR CNRS ENS-Lyon UCB-Lyon Inria 5668) and as an
Inria pre-project. It became a full Inria project in January 2004. It
has been evaluated by Inria in Spring 2007 and extended 4 more years. It
has been evaluated by AERES in December 2010 and received the mark A+. It
has been evaluated positively again by Inria in Spring 2012 and extended 4
more years. Thus, it should end around 2016.</p><p>The goal of Compsys is to develop compilation techniques, more precisely
code analysis and code optimization techniques, for programming or designing
embedded computing systems. So far, Compsys focused on both low-level
(back-end) optimizations for embedded processors and high-level (front-end,
mainly source-to-source) transformations, in particular for high-level
synthesis of hardware accelerators. Recent activities also include a shift
towards dynamic compilation, compilation for GPUs and multicores, and the
analysis of parallel languages. The main characteristic of Compsys is its
focus on combinatorial optimization problems (graph algorithms, linear
programming, polyhedral optimizations) coming from code optimization problems
(register allocation, memory optimization, scheduling, automatic generation
of interfaces, etc.) and the validation of these techniques in the
development of compilation tools.</p>
    Creation of the Project-Team: <span style="font-style:normal">2004 January 01</span></div><h2>Section: Members</h2><h3>Research Scientists</h3><span class="personbold">Christophe Alias</span> [<span style="color:black">Inria, Researcher</span>] <br/><span class="personbold">Alain Darte</span> [<span style="color:black">Team leader, CNRS, Senior
Researcher</span>, HdR] <br/><span class="personbold">Fabrice Rastello</span> [<span style="color:black">Inria, Researcher</span>, HdR] <br/><h3>Faculty Members</h3><span class="personbold">Paul Feautrier</span> [<span style="color:black">ENS-Lyon, Professor,
Emeritus</span>, HdR] <br/><span class="personbold">Laure Gonnord</span> [<span style="color:black">Univ. Lyon I, Associate Professor, since
Sep. 2013 (formerly in Lille University)</span>] <br/><h3>Engineers</h3><span class="personbold">Florent Bouchez</span> [<span style="color:black">Inria, ManycoreLabs funding, Caisse des
Dépôts et Consignations, from May 2013
to Aug. 2013</span>] <br/><span class="personbold">Alexandros Lamprineas</span> [<span style="color:black">Inria, ManycoreLabs funding, Caisse
des Dépôts et Consignations, from Sep. 2013</span>] <br/><h3>PhD Students</h3><span class="personbold">François Gindraud</span> [<span style="color:black">ENS-Lyon grant, from Jan. 2013</span>] <br/><span class="personbold">Guillaume Iooss</span> [<span style="color:black">ENS-Lyon grant, from Sep. 2011</span>] <br/><span class="personbold">Alexandre Isoard</span> [<span style="color:black">ENS-Lyon grant, from Sep. 2012</span>] <br/><span class="personbold">Diogo Nunes Sampaio</span> [<span style="color:black">Brazilian CAPES grant, from Oct. 2013</span>] <br/><span class="personbold">Duco Van Amstel</span> [<span style="color:black">Kalray Cifre grant, from Jan. 2013</span>] <br/><h3>Post-Doctoral Fellow</h3><span class="personbold">Lukasz Domagala</span> [<span style="color:black">Inria, ManycoreLabs funding, Caisse des
Dépôts et Consignations, from Jan. 2013</span>] <br/><h3>External Collaborators</h3><span class="personbold">Adrian Muresan</span> [<span style="color:black">ENS-Lyon, Zettice funding from
Jan. 2013 to Mar. 2013</span>] <br/><span class="personbold">Alexandru Plesco</span> [<span style="color:black">Zettice, Inria funding until
Apr. 2013</span>] <br/><h3>Visiting Scientist</h3><span class="personbold">Raphael Ernani Rodrigues</span> [<span style="color:black">Univ. Lyon I, Internship, from May 2013 to
Jul. 2013</span>] <br/><h3>Administrative Assistants</h3><span class="personbold">Laetitia Lecot-Gauthé</span> [<span style="color:black">Inria</span>] <br/><span class="personbold">Maria Immaculada Presseguer</span> [<span style="color:black">Inria</span>] <br/></div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid0.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid3.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
