<?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) 2014-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="COMPSYS"/>
    <!-- Piwik -->
    <script type="text/javascript" src="/rapportsactivite/piwik.js"></script>
    <noscript><p><img src="//piwik.inria.fr/piwik.php?idsite=49" style="border:0;" alt="" /></p></noscript>
    <!-- End Piwik Code -->
  </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></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid21.html&#10;&#9;&#9;  ">Architecture and compilation trends</a></li><li><a href="uid36.html&#10;&#9;&#9;  ">Code analysis, code transformations, code optimizations</a></li><li><a href="uid39.html&#10;&#9;&#9;  ">Mathematical tools</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid41.html&#10;&#9;&#9;  ">Compilers for Embedded Computing Systems</a></li><li><a href="uid42.html&#10;&#9;&#9;  ">Users of HPC Platforms and Scientific Computing</a></li></ul></div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid46.html&#10;&#9;&#9;  ">Introduction</a></li><li><a href="uid47.html&#10;&#9;&#9;  ">Pip</a></li><li><a href="uid48.html&#10;&#9;&#9;  ">Cl@k</a></li><li><a href="uid49.html&#10;&#9;&#9;  ">Syntol</a></li><li><a href="uid52.html&#10;&#9;&#9;  ">Dcc</a></li><li><a href="uid53.html&#10;&#9;&#9;  ">PoCo</a></li><li><a href="uid58.html&#10;&#9;&#9;  ">Bee</a></li><li><a href="uid59.html&#10;&#9;&#9;  ">Chuba</a></li><li><a href="uid60.html&#10;&#9;&#9;  ">RanK</a></li><li><a href="uid61.html&#10;&#9;&#9;  ">Aspic</a></li><li><a href="uid62.html&#10;&#9;&#9;  ">C2fsm</a></li><li><a href="uid63.html&#10;&#9;&#9;  ">SToP</a></li><li><a href="uid64.html&#10;&#9;&#9;  ">Termite</a></li><li><a href="uid65.html&#10;&#9;&#9;  ">Simplifiers</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid67.html&#10;&#9;&#9;  ">Highlights of the Year</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">Data-Aware Process Networks</a></li><li><a href="uid79.html&#10;&#9;&#9;  ">Preventing from Out-of-Bound Memory Accesses</a></li><li><a href="uid82.html&#10;&#9;&#9;  ">Scaling Termination Proofs</a></li><li><a href="uid85.html&#10;&#9;&#9;  ">Equivalence-Checking of Programs with Reductions</a></li><li><a href="uid86.html&#10;&#9;&#9;  ">Analysis and Transformation of
Parallel Programs</a></li><li><a href="uid87.html&#10;&#9;&#9;  ">Handling Polynomials for Program Analysis and
Transformation</a></li><li><a href="uid88.html&#10;&#9;&#9;  ">Parametric Loop Tiling with Constant Aspect Ratio</a></li><li><a href="uid89.html&#10;&#9;&#9;  ">Exact and Approximated Data-Reuse Optimizations for Tiling with
Parametric Sizes</a></li><li><a href="uid90.html&#10;&#9;&#9;  ">Studying Optimal Spilling in the Light of SSA</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid92.html&#10;&#9;&#9;  ">ManycoreLabs Project with Kalray</a></li><li><a href="uid93.html&#10;&#9;&#9;  ">Technological Transfer: XtremLogic Start-Up</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid95.html&#10;&#9;&#9;  ">Regional Initiatives</a></li><li><a href="uid98.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid100.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid102.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid108.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid115.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li class="tdmActPage"><a href="uid126.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid149.html&#10;&#9;&#9;  ">Popularization</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 
	    2014</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="./uid115.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="./uid149.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="uid127"/>
        <h4 class="titre4">Teaching</h4>
        <ul class="sanspuceslist">
          <li>
            <p class="notaparagraph"><a name="uid128"> </a>Licence:</p>
            <ul>
              <li>
                <p class="notaparagraph"><a name="uid129"> </a>Christophe Alias: Introduction à la compilation, L3, INSA
Centre-Val-de-Loire: Spring 2014 (CM+TD=18h).</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid130"> </a>Christophe Alias: Architecture des ordinateurs, L2, Université
Lyon 1 Claude Bernard: Spring 2014 (TP=15h).</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid131"> </a>Christophe Alias: Concours E3A, épreuve informatique MPSI
(shepherding/exams): Spring 2014.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid132"> </a>Laure Gonnord: Architecture des ordinateurs, L2, Université
Lyon 1 Claude Bernard: Spring 2014 (TD+TP=40h), and Automn 2014
(Course+TD 40h).</p>
              </li>
            </ul>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid133"> </a>Master:</p>
            <ul>
              <li>
                <p class="notaparagraph"><a name="uid134"> </a>Christophe Alias, Compilation avancée (CM 10h), M2, Ecole Normale Supérieure de Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid135"> </a>Christophe Alias, Compilation (CM 24h), M1, Ecole Normale Supérieure de Lyon.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid136"> </a>Laure Gonnord, Introduction aux systèmes et réseaux (CM/TP 52h), M2 Pro, Université
Lyon 1.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid137"> </a>Laure Gonnord, Compilation (TD/TP 24h), M1, Université Lyon 1 Claude
Bernard.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid138"> </a>Laure Gonnord, Complexité (TD 15h), M1, Université Lyon 1 Claude
Bernard.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid139"> </a>Laure Gonnord, Temps réel (TP 24h), M1, Université Lyon 1 Claude
Bernard.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid140"> </a>Laure Gonnord also organized two research schools (24h each) for the M1-ENS
students. In 2014, the topic was “Programming embedded
systems with synchronous languages” (invited speakers: Julien
Forget, Abdoulaye
Gamatié, Alain Girault, Nicolas Halbwachs). In 2015, the topic will
be “Static analyses in the
state-of-the-art compilers” (invited speaker: Fernando Pereira).</p>
              </li>
            </ul>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid141"> </a>E-learning:</p>
            <ul>
              <li>
                <p class="notaparagraph"><a name="uid142"> </a>Paul Feautrier has recorded a lecture on the polyhedral model,
to be part of a course on auto-parallelization sponsored by
the IEEE Computer Society (University of Illinois at
Urbana-Champaign, Sept. 5-7) and organized by Hironori
Kasahara and David Padua.</p>
              </li>
              <li>
                <p class="notaparagraph"><a name="uid143"> </a>Following the 2013 Spring School on Polyhedral Code Analysis and
Optimization organized by Alain Darte, the videos of most courses have been
collected and made available in 2014 (see
<a href="http://labexcompilation.ens-lyon.fr/polyhedral-school/videos/">http://labexcompilation.ens-lyon.fr/polyhedral-school/videos/</a> ). See
also Section <a title="International Initiatives" href="./uid102.html#uid107">
	8.4.1.2</a> .</p>
              </li>
            </ul>
          </li>
        </ul>
        <a name="uid144"/>
        <h4 class="titre4">Supervision</h4>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid145"> </a>PhD in progress: Guillaume Iooss, “Semantic tiling”, started in September
2011, joint PhD ENS-Lyon/Colorado State University, advisors: Christophe Alias
and Alain Darte (ENS-Lyon) / Sanjay Rajopadhye (Colorado State University).</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid146"> </a>PhD in progress: Alexandre Isoard, “Streaming-related code optimizations”, started in September 2012, advisor: Alain Darte.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid147"> </a>PhD in progress: Maroua Maleej, “Low cost static analyses for compilers”,
started in October 2014, advisors: Laure Gonnord and Alain Darte.</p>
          </li>
        </ul>
        <a name="uid148"/>
        <h4 class="titre4">Juries</h4>
        <p>Paul Feautrier was a member of the PhD defense committees of Michael Kruse (Orsay,
Sept. 26, 2014), entitled “Lattice QCD Optimization and Polytopic
Representations of Distributed Memory”, and of Luc Michel (Grenoble, Dec. 18,
2014), entitled “Contributions à la traduction binaire dynamique: support
du parallélisme d'instructions et génération de traducteurs optimisés”.</p>
        <p>Laure Gonnord was a reviewer for the PhD thesis of Chan N'Go (Rennes, Jul. 2014),
entitled “Formal Verification of a Synchronous Data-flow Compiler:
From Signal to C”.</p>
        <p>Alain Darte was member of the PhD defense committee of Romain Brillu (Nantes, Nov.
12, 2014), entitled “Efficient Design and Programming of MPSoC (Multiple Processors
System on Chip) Architectures”.</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid115.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="./uid149.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>
