<?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="Overall Objectives - Highlights of the Year"/>
    <meta name="dc.title" content="Overall Objectives - Highlights of the Year"/>
    <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>
          <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 class="tdmActPage"><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="./uid17.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="./uid30.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">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Overall Objectives</h2>
        <h3 class="titre3">Highlights of the Year</h3>
        <p>For 2013, from the point of view of organization, funding, collaborations,
the main points to highlight are:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid21"> </a>The Zettice startup project, initiated by Alexandru Plesco and
Christophe Alias, won the <i>concours OSEO 2013</i> grant (Banque Publique
d'Investissement, 40 Keuros) and the <i>“most promising start-up
award”</i> at SAME 2013. See more details in
Section <a title="Technological Transfer Towards Zettice Start-Up" href="./uid122.html">
	7.3</a> .</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid22"> </a>Laure Gonnord was hired as assistant professor at ENS-Lyon, she is now a
permanent member of Compsys. Fabrice Rastello has left Compsys and will
continue his research in Grenoble.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid23"> </a>The collaborations with Colorado State University (S. Rajopadhye) and
Ohio State University (Sadayappan) were very successful. New topics of
collaboration with the Inria Parkas and Camus teams have started.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid24"> </a>From April 2013 to July 2013, Compsys organized 4 scientific events
on compilation, regrouped in a larger and coherent <i>thematic quarter on
compilation</i>  (<a href="http://labexcompilation.ens-lyon.fr">http://labexcompilation.ens-lyon.fr</a> ), with
international audience and visibility. It was mainly funded by the Labex
MILYON, see details in Section <a title="Scientific Animation" href="./uid143.html">
	9.1</a> .</p>
          </li>
        </ul>
        <p>From a scientific point of view, the shift, in Compsys III, towards the
analysis of parallel programs, the extensions of the polyhedral model, both
in terms of techniques and applications, and the code optimizations based on
trace analysis has been already fruitful, see the section “New Results”, in
particular:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid26"> </a>Innovative contributions on parametric
tiling <a href="./bibliography.html#compsys-2013-bid0">[8]</a> , <a href="./bibliography.html#compsys-2013-bid1">[5]</a>  as extensions of the
polyhedral model.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid27"> </a>A groundbreaking introduction of polyhedral techniques for the analysis of
parallel programs, in particular X10 <a href="./bibliography.html#compsys-2013-bid2">[10]</a> , <a href="./bibliography.html#compsys-2013-bid3">[7]</a> .</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid28"> </a>Several important contributions (e.g., <a href="./bibliography.html#compsys-2013-bid4">[2]</a> ) that
demonstrate the interest of mixing trace analysis and static analysis for
code (in particular locality) improvements.</p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid17.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="./uid30.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>
