<?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="Dissemination - Teaching - Supervision - Juries"/>
    <meta name="dc.title" content="Dissemination - Teaching - Supervision - Juries"/>
    <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><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 class="tdmActPage"><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="./uid143.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="./bibliography.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: 
      Dissemination</h2>
        <h3 class="titre3">Teaching - Supervision - Juries</h3>
        <a name="uid163"/>
        <h4 class="titre4">Teaching</h4>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid164"> </a>Licence:</p>
            <ul>
              <li>
                <p class="notaparagraph"><a name="uid165"> </a>Laure Gonnord, Algorithmique et programmation C (60h), L3,
Université de Lille 1, Polytech'Lille.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid166"> </a>Laure Gonnord, Architecture des
ordinateurs (25h), L3, Université de Lille 1, Polytech'Lille.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid167"> </a>Laure Gonnord, Algorithmique et programmation fonctionnelle et récursive (42h), L1,
Université Lyon 1 Claude Bernard.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid168"> </a>Guillaume Iooss, LIF3: algorithmique et programmation fonctionnelle et récursive (28h), L1, Université Lyon 1 Claude Bernard.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid169"> </a>Guillaume Iooss, Programmation 1 (12h), L3, ENS-Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid170"> </a>Christophe Alias, Architecture des ordinateurs (21h TP), Université Lyon 1.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid171"> </a>Christophe Alias, Compilation (6h CM, 6h TP), ENSI Bourges.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid172"> </a>Christophe Alias,
Correction de copies, concours E3A, épreuve informatique MPSI.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid173"> </a>Alexandre Isoard, LIF12: Système et Réseau (32h TP), L3, Université Lyon 1 Claude Bernard.</p>
              </li>
            </ul>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid174"> </a>Master:</p>
            <ul>
              <li>
                <p class="notaparagraph"><a name="uid175"> </a>Laure Gonnord, Compilation (24h), M1, Université Lyon 1 Claude
Bernard.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid176"> </a>Laure Gonnord, Introduction aux systèmes et réseaux (52h), M2 Pro, Université
Lyon 1.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid177"> </a>Christophe Alias, Compilation (24h CM), M1, ENS-Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid178"> </a>Christophe Alias,
Compilation avancée (8h CM), M2, ENS-Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid179"> </a>Fabrice Rastello, Compilation avancée
(6h CM), M2, ENS-Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid180"> </a>Fabrice Rastello, SSA-based compiler design (2 days), CRI
Cameroun.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid181"> </a>Alexandre Isoard, Compilation (24h TP), M1, ENS-Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid182"> </a>Guillaume Iooss, Image (24h TP), M1, ENS-Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid183"> </a>Laure Gonnord also organized, for the Computer Science Department of ENS Lyon,
a <i>research school</i> for Master students, on synchronous programming. The
program can be found at the url:
<a href="http://laure.gonnord.org/pro/research/sync_research_school.html">http://laure.gonnord.org/pro/research/sync_research_school.html</a> .</p>
              </li>
            </ul>
          </li>
        </ul>
        <a name="uid184"/>
        <h4 class="titre4">Supervision</h4>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid185"> </a>PhD in progress: Guillaume Iooss, “Semantic Tiling”, started on
September 2011, advisors: Christophe Alias and Sanjay Rajopadhye (Associate
Professor, Colorado State University).</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid186"> </a>PhD in progress: François Gindraud, started on January 2013, advisors Fabrice Rastello, Albert Cohen (Parkas Inria team)</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid187"> </a>PhD in progress: Duco Van Amstel, started on January 2013, advisors Fabrice Rastello, Benoit Dupont-de-Dinechin (Kalray)</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid188"> </a>PhD in progress: Diogo Nunes Sampaio, started on October 2013, advisor Fabrice Rastello</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid189"> </a>PhD in progress: Alexandre Isoard, started in September 2012, advisor Alain Darte</p>
          </li>
        </ul>
        <a name="uid190"/>
        <h4 class="titre4">Juries</h4>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid191"> </a>Laure Gonnord participated to the Jury of Clement Guy's PhD defense (in
Rennes) entitled “Facilités de typage pour l'ingénierie des Langages”. This
PhD was supervised by J.M. Jézéquiel (Professor, Rennes University), and B.
Combemale (Assistant Professor, Rennes University) and S. Derrien (Professor,
Rennes university).</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid192"> </a>Christophe Alias participated to the Jury of Antoine Morvan's PhD defense
(in Rennes) entitled “Utilisation du modèle polyédrique pour la synthèse
d'architectures pipelinées”. This PhD thesis was supervised by S. Derrien
(Professor, Rennes University), and P. Quinton (Professor, Rennes
University).</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid193"> </a>Fabrice Rastello participated to the jury of Alexandre Carbon's PhD defense,
entitled “Accélération matérielle de la compilation à la volée pour les
systèmes embarqués”.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid194"> </a>Paul Feautrier was a reviewer for the HDR of Stephane Mancini (Grenoble) and for
the PhD of Amira Mensi (Paris).</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid195"> </a>Alain Darte was a reviewer for the PhD thesis of Cupertino Miranda (Paris 11),
entitled “Erbium: Reconciling languages, runtimes, compilation and
optimizations for streaming applications” and supervised by Albert Cohen (DR Inria, Parkas team).</p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid143.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="./bibliography.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>
