From 2679cd4b692f1cb72d8215e53fe78f439b1fc2b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jules=20P=C3=A9nuchot?= <jules@penuchot.com>
Date: Wed, 28 Aug 2024 22:11:17 +0200
Subject: [PATCH] defense presentation update

---
 images/millefeuille-hpc.svg | 131 +++++++++++-----------
 soutenance.html             | 214 ++++++++++++++++++++++++------------
 soutenance.md               | 139 +++++++++++++++++++----
 3 files changed, 326 insertions(+), 158 deletions(-)

diff --git a/images/millefeuille-hpc.svg b/images/millefeuille-hpc.svg
index 77bb69b..39d6698 100644
--- a/images/millefeuille-hpc.svg
+++ b/images/millefeuille-hpc.svg
@@ -1,11 +1,11 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <svg
-   width="675"
-   height="250"
+   width="640.86841"
+   height="226"
    class="svgbob"
    version="1.1"
    id="svg10"
-   sodipodi:docname="bob.svg"
+   sodipodi:docname="millefeuille-hpc.svg"
    inkscape:version="1.3.2 (091e20ef0f, 2023-11-25, custom)"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
@@ -21,7 +21,7 @@
      inkscape:pagecheckerboard="0"
      inkscape:deskcolor="#505050"
      inkscape:zoom="0.921875"
-     inkscape:cx="175.72881"
+     inkscape:cx="112.27119"
      inkscape:cy="121.49153"
      inkscape:window-width="1879"
      inkscape:window-height="1253"
@@ -103,7 +103,7 @@
        markerHeight="7"
        orient="auto-start-reverse">
       <polygon
-         points="0,0 0,4 4,2 "
+         points="0,4 4,2 0,0 "
          id="polygon1" />
     </marker>
     <marker
@@ -115,7 +115,7 @@
        markerHeight="7"
        orient="auto-start-reverse">
       <polygon
-         points="0,2 2,0 4,2 2,4 "
+         points="2,0 4,2 2,4 0,2 "
          id="polygon2" />
     </marker>
     <marker
@@ -164,66 +164,61 @@
          id="circle4" />
     </marker>
   </defs>
-  <g
-     id="g10"
-     inkscape:label="g10"
-     transform="translate(17.065792,12)">
-    <rect
-       x="1"
-       y="1"
-       width="344"
-       height="32"
-       class="solid nofill"
-       rx="4"
-       id="rect5" />
-    <text
-       x="15"
-       y="21"
-       id="text5">Haut niveau: Intention, plus expressif</text>
-    <rect
-       x="1"
-       y="193"
-       width="328"
-       height="32"
-       class="solid nofill"
-       rx="4"
-       id="rect6" />
-    <text
-       x="15"
-       y="213"
-       id="text6">Bas niveau: Spécificités matérielles</text>
-    <polygon
-       points="20,64 24,76 16,76 "
-       class="filled"
-       id="polygon6"
-       transform="translate(-3,-7)" />
-    <line
-       x1="17"
-       y1="69"
-       x2="17"
-       y2="157"
-       class="solid"
-       id="line6" />
-    <polygon
-       points="24,164 20,176 16,164 "
-       class="filled"
-       id="polygon7"
-       transform="translate(-3,-7)" />
-    <text
-       x="31"
-       y="69"
-       id="text7">Bibliothèques expressives: Blaze, Eigen...</text>
-    <text
-       x="31"
-       y="101"
-       id="text8">Bibliothèques HPC: BLAS, CUBS, cuDNN, EVE, Thrust, LAPACK, OpenMP...</text>
-    <text
-       x="31"
-       y="133"
-       id="text9">Primitives et APIs: Fonctions intrinsèques, noyaux GPU, appels système...</text>
-    <text
-       x="31"
-       y="165"
-       id="text10">Instructions CPU/GPU: ARM, x86, RISC-V, PTX...</text>
-  </g>
+  <rect
+     x="1"
+     y="1"
+     width="216"
+     height="32"
+     class="solid nofill"
+     rx="4"
+     id="rect5" />
+  <text
+     x="15"
+     y="21"
+     id="text5">Haut niveau: Intention</text>
+  <rect
+     x="1"
+     y="193"
+     width="200"
+     height="32"
+     class="solid nofill"
+     rx="4"
+     id="rect6" />
+  <text
+     x="15"
+     y="213"
+     id="text6">Bas niveau: Matériel</text>
+  <polygon
+     points="24,76 16,76 20,64 "
+     class="filled"
+     id="polygon6"
+     transform="translate(-3,-7)" />
+  <line
+     x1="17"
+     y1="69"
+     x2="17"
+     y2="157"
+     class="solid"
+     id="line6" />
+  <polygon
+     points="20,176 16,164 24,164 "
+     class="filled"
+     id="polygon7"
+     transform="translate(-3,-7)" />
+  <text
+     x="31"
+     y="69"
+     id="text7">Bibliothèques expressives, DSELs: Blaze, Eigen...</text>
+  <text
+     x="31"
+     y="101"
+     id="text8">Bibliothèques HPC: BLAS, CUBS, cuDNN, EVE, Thrust, LAPACK, OpenMP...</text>
+  <text
+     x="31"
+     y="133"
+     id="text9">Primitives et APIs: Fonctions intrinsèques, noyaux GPU, appels système...</text>
+  <text
+     x="31"
+     y="165"
+     id="text10">Instructions CPU/GPU: ARM, x86, RISC-V, PTX...</text>
 </svg>
diff --git a/soutenance.html b/soutenance.html
index 0ba69ff..9d08abf 100644
--- a/soutenance.html
+++ b/soutenance.html
@@ -14,7 +14,7 @@
 
 /* Images */div#\:\$p>svg>foreignObject>section img:not(.emoji){background:white;border:solid var(--cyan);border-radius:10px}
 
-/* @theme jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5 */div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]{columns:initial!important;display:block!important;padding:0!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]:after,div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]:before,div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=content]:after,div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=content]:before{display:none!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]{all:initial;display:flex;flex-direction:row;height:100%;overflow:hidden;width:100%}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container][data-marpit-advanced-background-direction=vertical]{flex-direction:column}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split]>div[data-marpit-advanced-background-container]{width:var(--marpit-advanced-background-split,50%)}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split=right]>div[data-marpit-advanced-background-container]{margin-left:calc(100% - var(--marpit-advanced-background-split, 50%))}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]>figure{all:initial;background-position:center;background-repeat:no-repeat;background-size:cover;flex:auto;margin:0}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]>figure>figcaption{position:absolute;border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;white-space:nowrap;width:1px}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=content],div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=pseudo]{background:transparent!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=pseudo],div#\:\$p>svg[data-marpit-svg]>foreignObject[data-marpit-advanced-background=pseudo]{pointer-events:none!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background-split]{width:100%;height:100%}</style></head><body><div class="bespoke-marp-osc"><button data-bespoke-marp-osc="prev" tabindex="-1" title="Previous slide">Previous slide</button><span data-bespoke-marp-osc="page"></span><button data-bespoke-marp-osc="next" tabindex="-1" title="Next slide">Next slide</button><button data-bespoke-marp-osc="fullscreen" tabindex="-1" title="Toggle fullscreen (f)">Toggle fullscreen</button><button data-bespoke-marp-osc="presenter" tabindex="-1" title="Open presenter view (p)">Open presenter view</button></div><div id=":$p"><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="1" data-paginate="skip" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" style="--paginate:skip;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;">
+/* @theme yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj */div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]{columns:initial!important;display:block!important;padding:0!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]:after,div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]:before,div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=content]:after,div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=content]:before{display:none!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]{all:initial;display:flex;flex-direction:row;height:100%;overflow:hidden;width:100%}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container][data-marpit-advanced-background-direction=vertical]{flex-direction:column}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split]>div[data-marpit-advanced-background-container]{width:var(--marpit-advanced-background-split,50%)}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background][data-marpit-advanced-background-split=right]>div[data-marpit-advanced-background-container]{margin-left:calc(100% - var(--marpit-advanced-background-split, 50%))}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]>figure{all:initial;background-position:center;background-repeat:no-repeat;background-size:cover;flex:auto;margin:0}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=background]>div[data-marpit-advanced-background-container]>figure>figcaption{position:absolute;border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;white-space:nowrap;width:1px}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=content],div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=pseudo]{background:transparent!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background=pseudo],div#\:\$p>svg[data-marpit-svg]>foreignObject[data-marpit-advanced-background=pseudo]{pointer-events:none!important}div#\:\$p>svg>foreignObject>section[data-marpit-advanced-background-split]{width:100%;height:100%}</style></head><body><div class="bespoke-marp-osc"><button data-bespoke-marp-osc="prev" tabindex="-1" title="Previous slide">Previous slide</button><span data-bespoke-marp-osc="page"></span><button data-bespoke-marp-osc="next" tabindex="-1" title="Next slide">Next slide</button><button data-bespoke-marp-osc="fullscreen" tabindex="-1" title="Toggle fullscreen (f)">Toggle fullscreen</button><button data-bespoke-marp-osc="presenter" tabindex="-1" title="Open presenter view (p)">Open presenter view</button></div><div id=":$p"><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="1" data-paginate="skip" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" style="--paginate:skip;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;">
 <h1 id="jules-p%C3%A9nuchot">Jules Pénuchot</h1>
 <br />
 <br />
@@ -27,71 +27,116 @@ <h1 id="jules-p%C3%A9nuchot">Jules Pénuchot</h1>
 <em>Equipe ParSys</em></p>
 <p>Thèse sous la direction de <em>Joël Falcou</em></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="2" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="1" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
-<h1 id="le-hpc-un-millefeuille-dabstractions">Le HPC: un millefeuille d'abstractions</h1>
-
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="2" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="1" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="plan-de-la-pr%C3%A9sentation">Plan de la présentation</h2>
+<p><strong>Introduction</strong></p>
+<ul>
+<li>Calcul haute performance</li>
+<li>Les bibliothèques de calcul haute performance en C++</li>
+<li>Métaprogrammation et langages dédiés pour le HPC</li>
+</ul>
+<p><strong>Travaux effectués</strong></p>
+<ul>
+<li>Génération de noyaux de calcul SIMD</li>
+<li>Langages dédiés arbitraires en C++ et application pour le HPC</li>
+<li>Mesure et analyse des temps de compilation</li>
+</ul>
+<p><strong>Discussion</strong></p>
+<ul>
+<li>Outils pour le parsing et la génération de code</li>
+<li>Evolutions du langage C++</li>
+</ul>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="3" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="2" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h1 id="le-calcul-haute-performance">Le calcul haute performance</h1>
+<br />
+<p><strong>H</strong>igh-<strong>P</strong>erformance <strong>C</strong>omputing <em>(HPC)</em></p>
+<br />
 <ul>
 <li>
-<p><strong>Matériel performant</strong> (architectures multi-coeurs, SIMD, GPUs)</p>
+<p><strong>Matériel performant</strong><br />
+<em>processeurs multi-coeurs, SIMD, GPUs</em></p>
 </li>
 <li>
-<p><strong>Abstractions performantes</strong> (langages et bibliothèques)</p>
+<p><strong>Abstractions performantes</strong><br />
+<em>langages, APIs, bibliothèques</em></p>
 </li>
 </ul>
-
-<p><img src="images/millefeuille-hpc.svg" alt="" style="width:1500px;" /></p>
-</section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="3" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="2" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
-<h2 id="performances-le-mat%C3%A9riel">Performances: le matériel</h2>
-<p>Perf: le matos s'en occupe, ok.<br />
-On a des outils (SYCL, OpenMP, Thrust)</p>
-<p>Peut-on générer plus de code pour le HPC ?<br />
-Rendre la programmation haute performance plus portable ?<br />
-Avec quelles perfs ?</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="4" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="3" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
-<h2 id="performances-les-biblioth%C3%A8ques-m%C3%A9tier">Performances: les bibliothèques &quot;métier&quot;</h2>
-<p>Expressivité, que faire ?</p>
-<p>Blaze, Eigen... et au-dela ?</p>
-<p>Peut-on rendre ces bibliothèques plus simples à maintenir ?</p>
-<p>Comment je peux avoir des formules en LaTeX math ou d'autres langages<br />
-<strong>dans C++</strong> (si c'est possible/raisonnable)..?</p>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="4" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="3" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="le-millefeuille-dabstractions-du-hpc">Le millefeuille d'abstractions du HPC</h2>
+<br />
+<p><img src="images/millefeuille-hpc.svg" alt="" style="width:1700px;" /></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="5" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="4" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
-<h1 id="contexte-pourquoi-c">Contexte: pourquoi C++ ?</h1>
-
-<p>C++ est la plateforme de choix pour le calcul haute performance<br />
-<em>et la métaprogrammation</em></p>
-<p><strong>Langages GPGPU</strong></p>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="5" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="4" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="un-paysage-de-plus-en-plus-complexe">Un paysage de plus en plus complexe</h2>
+<br />
+<p><strong>Le matériel:</strong></p>
 <ul>
-<li>CUDA, SYCL, et HIP sont basés sur C++</li>
+<li>Plus de <em>parallélisme(s)</em></li>
+<li>Plus de <em>spécialisation</em></li>
 </ul>
-<p><strong>Bibliothèques HPC</strong></p>
+<p><em>Exemples récents:</em> Fujitsu A64FX, Cerebras WSE-3</p>
+<p><strong>Les bibliothèques et applications:</strong></p>
 <ul>
-<li>Parllélisme: OpenMP, HPX, BLAS, FFTW</li>
-<li>Squelettes algorithmiques: Thrust, rocThrust</li>
+<li>Des domaines de plus en plus <em>diversifiés</em></li>
 </ul>
-<p><strong>Bibliothèques génératives</strong></p>
+<p><em>Quelles abstractions pour s'adapter à l'évolution du matériel?</em><br />
+<em>Comment assurer la portabilité et la pérennité du code haute performance?</em></p>
+</section>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="6" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="5" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="la-g%C3%A9n%C3%A9ration-de-code-pour-la-performance">La génération de code pour la performance</h2>
+<br />
+<p><strong>Métaprogramme:</strong> programme prenant du code en entrée ou en sortie.</p>
+<p>En C++, les bibliothèques HPC utilisent très majoritairement<br />
+la <em>métaprogrammation de templates</em><br />
+<br /></p>
 <ul>
-<li>CTRE, Eigen, Blaze, EVE, xSIMD, CTPG</li>
+<li><strong>Intérêt:</strong> évaluation partielle, composabilité, nouvelles abstractions</li>
+<li><strong>Exemples:</strong> Thrust, CUBS, EVE<br />
+<br /></li>
 </ul>
+<p>Peut-on aller plus loin ?<br />
+<em>Oui.</em></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="6" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="5" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
-<p>C++ permet de plus en plus d'évaluation partielle <strong>à la compilation</strong></p>
-<p>C++98: templates<br />
-C++11: parameter packs</p>
-<p>Ouvre le champ pour la métaprogrammation de templates</p>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="7" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="6" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="les-langages-d%C3%A9di%C3%A9s-pour-le-calcul-haute-performance-en-c">Les langages dédiés pour le calcul haute performance en C++</h2>
+<p><strong>D</strong>omain <strong>S</strong>pecific <strong>E</strong>mbedded <strong>L</strong>anguage <em>(DSEL)</em><br />
+<br /></p>
+<p><em>Bibliothèques de référence: Blaze et Eigen</em></p>
+<p>Langages dédiés basés sur de la <strong>surcharge d'opérateurs</strong>,<br />
+utilisant des <strong>expression templates</strong> pour la génération de code.</p>
+<p><strong>Expression templates:</strong> représentation d'expressions algébriques<br />
+sous forme d'arborescences de templates de types.<br />
+<br /></p>
+<pre><code class="language-c++"><span class="hljs-function">blaze::DynamicVector&lt;<span class="hljs-type">int</span>&gt; <span class="hljs-title">vec_a</span><span class="hljs-params">({<span class="hljs-number">4</span>, <span class="hljs-number">-2</span>, <span class="hljs-number">5</span>})</span>, <span class="hljs-title">vec_b</span><span class="hljs-params">({<span class="hljs-number">2</span>, <span class="hljs-number">5</span>, <span class="hljs-number">-3</span>})</span></span>;
+
+<span class="hljs-keyword">auto</span> expr = vec_a + vec_b; <span class="hljs-comment">// Add&lt;DynamicVector&lt;int&gt;, DynamicVector&lt;int&gt;&gt;</span>
+blaze::DynamicVector&lt;<span class="hljs-type">int</span>&gt; vec_c = expr; <span class="hljs-comment">// Génération de code à l&#x27;assignation</span>
+</code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="7" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="6" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
-<p>C'est utilisé pour générer du code optimisé à la compilation</p>
-<p>gemv, expression templates</p>
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="8" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="7" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="les-langages-d%C3%A9di%C3%A9s-pour-le-calcul-haute-performance-en-c-1">Les langages dédiés pour le calcul haute performance en C++</h2>
+<p><strong>Problèmes:</strong> difficulté d'implémentation et temps de compilation</p>
+<p><em>Quelles techniques permettraient de résoudre ces problèmes ?</em><br />
+<em>Quel intérêt pour le HPC ?</em></p>
+<ul>
+<li>Héritent des problématiques associées aux métaprogrammes de templates</li>
+<li>DSELs limités à la syntaxe C++ (sauf ctre)</li>
+</ul>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="8" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="7" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="9" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="8" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
+<h2 id="performances-les-biblioth%C3%A8ques-m%C3%A9tier">Performances: les bibliothèques &quot;métier&quot;</h2>
+<p>Expressivité, que faire ?</p>
+<p>Blaze, Eigen... et au-dela ?</p>
+<p>Comment je peux avoir des formules en LaTeX math ou d'autres langages<br />
+<strong>dans C++</strong> (si c'est possible/raisonnable)..?</p>
+
 <h2 id="gemv">GEMV</h2>
 <p>SIMD auto<br />
 déroulage auto</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="9" data-marpit-fragments="5" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="8" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="10" data-marpit-fragments="5" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="9" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="l%C3%A9valuation-directe-de-code-c-%C3%A0-la-compilation">L'évaluation directe de code C++ à la compilation</h2>
 <p>Historique:</p>
 <ul>
@@ -102,7 +147,7 @@ <h2 id="l%C3%A9valuation-directe-de-code-c-%C3%A0-la-compilation">L'évaluation
 <li data-marpit-fragment="5">C23: <code>#embed</code></li>
 </ul>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="10" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="9" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="11" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="10" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="etat-de-lart-des-dsel">Etat de l'art des DSEL</h2>
 <p>Parsing compile-time, mais avec quel niveau de passage à l'échelle?<br />
 <em>(performances et maintenabilité)</em></p>
@@ -121,7 +166,7 @@ <h4 id="ctre">CTRE</h4>
 <br />
 <p>-&gt; <strong>La programmation constexpr peut-elle apporter du mieux ?</strong></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="11" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="10" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="12" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="11" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h1 id="contribution">Contribution</h1>
 <br />
 <h2 id="poacher">poacher</h2>
@@ -130,7 +175,7 @@ <h2 id="poacher">poacher</h2>
 <h2 id="ctbench">ctbench</h2>
 <p>Méthodologie et outils pour la mesure de <strong>temps de compilation</strong> des métaprogrammes, avec les <em>données de profiling de Clang</em></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="12" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="11" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="13" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="12" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="poacher-1">poacher</h2>
 <p>Comment exploiter la programmation constexpr pour implémenter des DSELs ?</p>
 <p>Contraintes sur la mémoire dynamique</p>
@@ -138,7 +183,7 @@ <h2 id="poacher-1">poacher</h2>
 <p>Minimiser la métaprogrammation de templates</p>
 <p>Deux langages: Brainfuck, et Tiny Math Language (TML)</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="13" data-marpit-fragments="4" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="12" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="14" data-marpit-fragments="4" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="13" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="poacher---un-exemple-simple-pour-commencer-brainfuck">poacher - un exemple simple pour commencer: Brainfuck</h2>
 <table>
 <thead>
@@ -189,14 +234,14 @@ <h2 id="poacher---un-exemple-simple-pour-commencer-brainfuck">poacher - un exemp
 <li data-marpit-fragment="4">Turing complet</li>
 </ul>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="14" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="13" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="15" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="14" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="poacher---le-parser-brainfuck">poacher - le parser Brainfuck</h2>
 <p>C++ ordinaire<br />
 On rajoute constexpr partout<br />
 On fait une AST classique avec std::unique_ptr</p>
 <p>-&gt; C'est plié</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="15" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="14" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="16" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="15" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="poacher---premier-backend-de-g%C3%A9n%C3%A9ration-de-code">poacher - premier backend de génération de code</h2>
 <p>Vieux réflexe: on génère des expression templates</p>
 <p>Problématique: comment transformer des structures qui ne passent pas en NTTP (car elles pointent vers de la mémoire dynamique) en arborescences de types?</p>
@@ -212,7 +257,7 @@ <h2 id="poacher---premier-backend-de-g%C3%A9n%C3%A9ration-de-code">poacher - pre
 constexpr auto get_subvec_0 = []() { return get_vector()[0]; }
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="16" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="15" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="17" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="16" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <p>Perfs ???</p>
 <p>On peut compiler Hello World (106 noeuds):</p>
 <pre><code>++++++++[&gt;++++[&gt;++&gt;+++&gt;+++&gt;+&lt;&lt;&lt;&lt;-]&gt;+&gt;+&gt;-&gt;&gt;+[&lt;]&lt;-]
@@ -221,7 +266,7 @@ <h2 id="poacher---premier-backend-de-g%C3%A9n%C3%A9ration-de-code">poacher - pre
 <p>On ne peut pas compiler Mandelbrot (~11'000 noeuds)</p>
 <p>Problème: comment mesurer efficacement les temps de compilation</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="17" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="16" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="18" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="17" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="ctbench-1">ctbench</h2>
 <p>Mesure de temps de compilation via le profiler de Clang</p>
 <p>Orienté C++: API CMake, configuration JSON, bibliothèque C++</p>
@@ -230,7 +275,7 @@ <h2 id="ctbench-1">ctbench</h2>
 <p>Permet de <strong>filtrer, agréger, et analyser les évènements de compilation</strong><br />
 de manière configurable, puis de tracer des courbes</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="18" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="17" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="19" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="18" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="ctbench---exemple-simple">ctbench - exemple simple</h2>
 <p><a href="https://github.com/jpenuchot/ctbench">https://github.com/jpenuchot/ctbench</a></p>
 <ul>
@@ -253,7 +298,7 @@ <h2 id="ctbench---exemple-simple">ctbench - exemple simple</h2>
 <span class="hljs-keyword">constexpr</span> std::<span class="hljs-type">size_t</span> result = <span class="hljs-keyword">decltype</span>(<span class="hljs-built_in">foo</span>())::value;
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="19" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="18" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="20" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="19" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <ul>
 <li>Récursion</li>
 </ul>
@@ -279,22 +324,22 @@ <h2 id="ctbench---exemple-simple">ctbench - exemple simple</h2>
 }
 </code></pre>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="20" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="19" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="21" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="20" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <p><img src="images/ctbench-example.svg" alt="" style="width:1200px;" /></p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="21" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="20" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="22" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="21" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <p>BF - 3e tentative</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="22" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="21" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="23" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="22" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <h2 id="tml">TML</h2>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="23" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="22" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="24" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="23" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <p>RPN &amp; Shunting Yard</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="24" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="23" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="25" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="24" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <p>Implem constexpr: parser ordinaire + generateur de code a base de lecture RPN</p>
 </section>
-</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="25" data-paginate="true" data-theme="jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5" lang="en-US" data-marpit-pagination="24" style="--paginate:true;--theme:jllufbuabo0z7a3f89at5s9vx4l37brggrmesfzqn5;" data-marpit-pagination-total="24">
+</foreignObject></svg><svg data-marpit-svg="" viewBox="0 0 1920 1080"><foreignObject width="1920" height="1080"><section id="26" data-paginate="true" data-theme="yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj" lang="en-US" data-marpit-pagination="25" style="--paginate:true;--theme:yvrkjl46m0tj92nztbkdemrgtfx8vy0uqm3se7062yyj;" data-marpit-pagination-total="25">
 <p>Conclusion - 5mn:</p>
 <p>On a des nouvelles techniques pour écrire des métaprogrammes<br />
 avec du C++ régulier</p>
@@ -307,13 +352,13 @@ <h2 id="tml">TML</h2>
 <p>Nouvelle méthodologie pour le benchmarking des temps de compilation</p>
 </section>
 <script>!function(){"use strict";const t={h1:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"1"},style:"display: block; font-size: 2em; margin-block-start: 0.67em; margin-block-end: 0.67em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h2:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"2"},style:"display: block; font-size: 1.5em; margin-block-start: 0.83em; margin-block-end: 0.83em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h3:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"3"},style:"display: block; font-size: 1.17em; margin-block-start: 1em; margin-block-end: 1em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h4:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"4"},style:"display: block; margin-block-start: 1.33em; margin-block-end: 1.33em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h5:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"5"},style:"display: block; font-size: 0.83em; margin-block-start: 1.67em; margin-block-end: 1.67em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},h6:{proto:()=>HTMLHeadingElement,attrs:{role:"heading","aria-level":"6"},style:"display: block; font-size: 0.67em; margin-block-start: 2.33em; margin-block-end: 2.33em; margin-inline-start: 0px; margin-inline-end: 0px; font-weight: bold;"},span:{proto:()=>HTMLSpanElement},pre:{proto:()=>HTMLElement,style:"display: block; font-family: monospace; white-space: pre; margin: 1em 0; --marp-auto-scaling-white-space: pre;"}},e="data-marp-auto-scaling-wrapper",i="data-marp-auto-scaling-svg",n="data-marp-auto-scaling-container";class s extends HTMLElement{constructor(){super(),this.svgPreserveAspectRatio="xMinYMid meet";const t=t=>([e])=>{const{width:i,height:n}=e.contentRect;this[t]={width:i,height:n},this.updateSVGRect()};this.attachShadow({mode:"open"}),this.containerObserver=new ResizeObserver(t("containerSize")),this.wrapperObserver=new ResizeObserver(((...e)=>{t("wrapperSize")(...e),this.flushSvgDisplay()}))}static get observedAttributes(){return["data-downscale-only"]}connectedCallback(){var t,s,o,r,a;this.shadowRoot.innerHTML=`\n<style>\n  svg[${i}] { display: block; width: 100%; height: auto; vertical-align: top; }\n  span[${n}] { display: table; white-space: var(--marp-auto-scaling-white-space, nowrap); width: max-content; }\n</style>\n<div ${e}>\n  <svg part="svg" ${i}>\n    <foreignObject><span ${n}><slot></slot></span></foreignObject>\n  </svg>\n</div>\n    `.split(/\n\s*/).join(""),this.wrapper=null!==(t=this.shadowRoot.querySelector(`div[${e}]`))&&void 0!==t?t:void 0;const l=this.svg;this.svg=null!==(o=null===(s=this.wrapper)||void 0===s?void 0:s.querySelector(`svg[${i}]`))&&void 0!==o?o:void 0,this.svg!==l&&(this.svgComputedStyle=this.svg?window.getComputedStyle(this.svg):void 0),this.container=null!==(a=null===(r=this.svg)||void 0===r?void 0:r.querySelector(`span[${n}]`))&&void 0!==a?a:void 0,this.observe()}disconnectedCallback(){this.svg=void 0,this.svgComputedStyle=void 0,this.wrapper=void 0,this.container=void 0,this.observe()}attributeChangedCallback(){this.observe()}flushSvgDisplay(){const{svg:t}=this;t&&(t.style.display="inline",requestAnimationFrame((()=>{t.style.display=""})))}observe(){this.containerObserver.disconnect(),this.wrapperObserver.disconnect(),this.wrapper&&this.wrapperObserver.observe(this.wrapper),this.container&&this.containerObserver.observe(this.container),this.svgComputedStyle&&this.observeSVGStyle(this.svgComputedStyle)}observeSVGStyle(t){const e=()=>{const i=(()=>{const e=t.getPropertyValue("--preserve-aspect-ratio");if(e)return e.trim();return`x${(({textAlign:t,direction:e})=>{if(t.endsWith("left"))return"Min";if(t.endsWith("right"))return"Max";if("start"===t||"end"===t){let i="rtl"===e;return"end"===t&&(i=!i),i?"Max":"Min"}return"Mid"})(t)}YMid meet`})();i!==this.svgPreserveAspectRatio&&(this.svgPreserveAspectRatio=i,this.updateSVGRect()),t===this.svgComputedStyle&&requestAnimationFrame(e)};e()}updateSVGRect(){var t,e,i,n,s,o,r;let a=Math.ceil(null!==(e=null===(t=this.containerSize)||void 0===t?void 0:t.width)&&void 0!==e?e:0);const l=Math.ceil(null!==(n=null===(i=this.containerSize)||void 0===i?void 0:i.height)&&void 0!==n?n:0);void 0!==this.dataset.downscaleOnly&&(a=Math.max(a,null!==(o=null===(s=this.wrapperSize)||void 0===s?void 0:s.width)&&void 0!==o?o:0));const c=null===(r=this.svg)||void 0===r?void 0:r.querySelector(":scope > foreignObject");if(null==c||c.setAttribute("width",`${a}`),null==c||c.setAttribute("height",`${l}`),this.svg&&(this.svg.setAttribute("viewBox",`0 0 ${a} ${l}`),this.svg.setAttribute("preserveAspectRatio",this.svgPreserveAspectRatio),this.svg.style.height=a<=0||l<=0?"0":""),this.container){const t=this.svgPreserveAspectRatio.toLowerCase();this.container.style.marginLeft=t.startsWith("xmid")||t.startsWith("xmax")?"auto":"0",this.container.style.marginRight=t.startsWith("xmi")?"auto":"0"}}}const o=(t,{attrs:e={},style:i})=>class extends t{constructor(...t){super(...t);for(const[t,i]of Object.entries(e))this.hasAttribute(t)||this.setAttribute(t,i);this.attachShadow({mode:"open"})}static get observedAttributes(){return["data-auto-scaling"]}connectedCallback(){this._update()}attributeChangedCallback(){this._update()}_update(){const t=i?`<style>:host { ${i} }</style>`:"";let e="<slot></slot>";const{autoScaling:n}=this.dataset;if(void 0!==n){e=`<marp-auto-scaling exportparts="svg:auto-scaling" ${"downscale-only"===n?"data-downscale-only":""}>${e}</marp-auto-scaling>`}this.shadowRoot.innerHTML=t+e}};let r;const a=Symbol();let l;const c="marpitSVGPolyfill:setZoomFactor,",d=Symbol(),g=Symbol();const h=()=>{const t="Apple Computer, Inc."===navigator.vendor,e=t?[u]:[],i={then:e=>(t?(async()=>{if(void 0===l){const t=document.createElement("canvas");t.width=10,t.height=10;const e=t.getContext("2d"),i=new Image(10,10),n=new Promise((t=>{i.addEventListener("load",(()=>t()))}));i.crossOrigin="anonymous",i.src="data:image/svg+xml;charset=utf8,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20width%3D%2210%22%20height%3D%2210%22%20viewBox%3D%220%200%201%201%22%3E%3CforeignObject%20width%3D%221%22%20height%3D%221%22%20requiredExtensions%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxhtml%22%3E%3Cdiv%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxhtml%22%20style%3D%22width%3A%201px%3B%20height%3A%201px%3B%20background%3A%20red%3B%20position%3A%20relative%22%3E%3C%2Fdiv%3E%3C%2FforeignObject%3E%3C%2Fsvg%3E",await n,e.drawImage(i,0,0),l=e.getImageData(5,5,1,1).data[3]<128}return l})().then((t=>{null==e||e(t?[u]:[])})):null==e||e([]),i)};return Object.assign(e,i)};let p,m;function u(t){const e="object"==typeof t&&t.target||document,i="object"==typeof t?t.zoom:t;window[g]||(Object.defineProperty(window,g,{configurable:!0,value:!0}),document.body.style.zoom=1.0001,document.body.offsetHeight,document.body.style.zoom=1,window.addEventListener("message",(({data:t,origin:e})=>{if(e===window.origin)try{if(t&&"string"==typeof t&&t.startsWith(c)){const[,e]=t.split(","),i=Number.parseFloat(e);Number.isNaN(i)||(m=i)}}catch(t){console.error(t)}})));let n=!1;Array.from(e.querySelectorAll("svg[data-marpit-svg]"),(t=>{var e,s,o,r;t.style.transform||(t.style.transform="translateZ(0)");const a=i||m||t.currentScale||1;p!==a&&(p=a,n=a);const l=t.getBoundingClientRect(),{length:c}=t.children;for(let i=0;i<c;i+=1){const n=t.children[i];if(n.getScreenCTM){const t=n.getScreenCTM();if(t){const i=null!==(s=null===(e=n.x)||void 0===e?void 0:e.baseVal.value)&&void 0!==s?s:0,c=null!==(r=null===(o=n.y)||void 0===o?void 0:o.baseVal.value)&&void 0!==r?r:0,d=n.children.length;for(let e=0;e<d;e+=1){const s=n.children[e];if("SECTION"===s.tagName){const{style:e}=s;e.transformOrigin||(e.transformOrigin=`${-i}px ${-c}px`),e.transform=`scale(${a}) matrix(${t.a}, ${t.b}, ${t.c}, ${t.d}, ${t.e-l.left}, ${t.f-l.top}) translateZ(0.0001px)`;break}}}}}})),!1!==n&&Array.from(e.querySelectorAll("iframe"),(({contentWindow:t})=>{null==t||t.postMessage(`${c}${n}`,"null"===window.origin?"*":window.origin)}))}function v({once:t=!1,target:e=document}={}){const i=function(t=document){if(t[d])return t[d];let e=!0;const i=()=>{e=!1,delete t[d]};Object.defineProperty(t,d,{configurable:!0,value:i});let n=[],s=!1;(async()=>{try{n=await h()}finally{s=!0}})();const o=()=>{for(const e of n)e({target:t});s&&0===n.length||e&&window.requestAnimationFrame(o)};return o(),i}(e);return t?(i(),()=>{}):i}p=1,m=void 0;const b=Symbol(),w=(e=document)=>{if("undefined"==typeof window)throw new Error("Marp Core's browser script is valid only in browser context.");if(((e=document)=>{const i=window[a];i||customElements.define("marp-auto-scaling",s);for(const n of Object.keys(t)){const s=`marp-${n}`,a=t[n].proto();null!=r||(r=!!document.createElement("div",{is:"marp-auto-scaling"}).outerHTML.startsWith("<div is")),r&&a!==HTMLElement?i||customElements.define(s,o(a,{style:t[n].style}),{extends:n}):(i||customElements.define(s,o(HTMLElement,t[n])),e.querySelectorAll(`${n}[is="${s}"]`).forEach((t=>{t.outerHTML=t.outerHTML.replace(new RegExp(`^<${n}`,"i"),`<${s}`).replace(new RegExp(`</${n}>$`,"i"),`</${s}>`)})))}window[a]=!0})(e),e[b])return e[b];const i=v({target:e}),n=()=>{i(),delete e[b]},l=Object.assign(n,{cleanup:n,update:()=>w(e)});return Object.defineProperty(e,b,{configurable:!0,value:l}),l},y=document.currentScript;w(y?y.getRootNode():document)}();
-</script></foreignObject></svg></div><div class="bespoke-marp-note" data-index="1" tabindex="0"><p>10mn</p><p>&quot;Abstractions performantes&quot;: qui ne pénalisent pas le temps d'exécution</p><p>https://ivanceras.github.io/svgbob-editor/
+</script></foreignObject></svg></div><div class="bespoke-marp-note" data-index="2" tabindex="0"><p>10mn</p><p>&quot;Abstractions performantes&quot;: qui ne pénalisent pas le temps d'exécution</p></div><div class="bespoke-marp-note" data-index="3" tabindex="0"><p>https://ivanceras.github.io/svgbob-editor/
 
-.------------------------------------------.
-| &quot;Haut niveau: Intention, plus expressif&quot; |
-'------------------------------------------'
+.--------------------------.
+| &quot;Haut niveau: Intention&quot; |
+'--------------------------'
 
-  ^ &quot;Bibliothèques expressives: Blaze, Eigen...&quot;
+  ^ &quot;Bibliothèques expressives, DSELs: Blaze, Eigen...&quot;
   |
   | &quot;Bibliothèques HPC: BLAS, CUBS, cuDNN, EVE, Thrust, LAPACK, OpenMP...&quot;
   |
@@ -321,7 +366,38 @@ <h2 id="tml">TML</h2>
   |
   v &quot;Instructions CPU/GPU: ARM, x86, RISC-V, PTX...&quot;
 
-.----------------------------------------.
-| &quot;Bas niveau: Spécificités matérielles&quot; |
-'----------------------------------------'</p></div><div class="bespoke-marp-note" data-index="4" tabindex="0"><p>10mn</p></div><div class="bespoke-marp-note" data-index="10" tabindex="0"><p>20mn</p></div><script>/*!! License: https://unpkg.com/@marp-team/marp-cli@3.4.0/lib/bespoke.js.LICENSE.txt */
+.------------------------.
+| &quot;Bas niveau: Matériel&quot; |
+'------------------------'</p></div><div class="bespoke-marp-note" data-index="8" tabindex="0"><p># Contexte: pourquoi C++ ?
+
+C++ est la plateforme de choix pour le calcul haute performance
+*et la métaprogrammation*
+
+**Langages GPGPU**
+
+- CUDA, SYCL, et HIP sont basés sur C++
+
+**Bibliothèques HPC**
+
+- Parllélisme: OpenMP, HPX, BLAS, FFTW
+- Squelettes algorithmiques: Thrust, rocThrust
+
+**Bibliothèques génératives**
+
+- CTRE, Eigen, Blaze, EVE, xSIMD, CTPG
+
+---
+
+C++ permet de plus en plus d'évaluation partielle **à la compilation**
+
+C++98: templates
+C++11: parameter packs
+
+Ouvre le champ pour la métaprogrammation de templates
+
+---
+
+C'est utilisé pour générer du code optimisé à la compilation
+
+gemv, expression templates</p></div><div class="bespoke-marp-note" data-index="11" tabindex="0"><p>20mn</p></div><script>/*!! License: https://unpkg.com/@marp-team/marp-cli@3.4.0/lib/bespoke.js.LICENSE.txt */
 !function(){"use strict";function e(e){return e&&e.__esModule&&Object.prototype.hasOwnProperty.call(e,"default")?e.default:e}var t={from:function(e,t){var n,r=1===(e.parent||e).nodeType?e.parent||e:document.querySelector(e.parent||e),o=[].filter.call("string"==typeof e.slides?r.querySelectorAll(e.slides):e.slides||r.children,(function(e){return"SCRIPT"!==e.nodeName})),i={},a=function(e,t){return(t=t||{}).index=o.indexOf(e),t.slide=e,t},s=function(e,t){i[e]=(i[e]||[]).filter((function(e){return e!==t}))},l=function(e,t){return(i[e]||[]).reduce((function(e,n){return e&&!1!==n(t)}),!0)},c=function(e,t){o[e]&&(n&&l("deactivate",a(n,t)),n=o[e],l("activate",a(n,t)))},d=function(e,t){var r=o.indexOf(n)+e;l(e>0?"next":"prev",a(n,t))&&c(r,t)},u={off:s,on:function(e,t){return(i[e]||(i[e]=[])).push(t),s.bind(null,e,t)},fire:l,slide:function(e,t){if(!arguments.length)return o.indexOf(n);l("slide",a(o[e],t))&&c(e,t)},next:d.bind(null,1),prev:d.bind(null,-1),parent:r,slides:o,destroy:function(e){l("destroy",a(n,e)),i={}}};return(t||[]).forEach((function(e){e(u)})),n||c(0),u}},n=e(t);const r=document.body,o=(...e)=>history.replaceState(...e),i="presenter",a="next",s=["",i,a],l="bespoke-marp-",c=`data-${l}`,d=(e,{protocol:t,host:n,pathname:r,hash:o}=location)=>{const i=e.toString();return`${t}//${n}${r}${i?"?":""}${i}${o}`},u=()=>r.dataset.bespokeView,f=e=>new URLSearchParams(location.search).get(e),m=(e,t={})=>{var n;const r={location,setter:o,...t},i=new URLSearchParams(r.location.search);for(const t of Object.keys(e)){const n=e[t];"string"==typeof n?i.set(t,n):i.delete(t)}try{r.setter({...null!==(n=window.history.state)&&void 0!==n?n:{}},"",d(i,r.location))}catch(e){console.error(e)}},g=(()=>{const e="bespoke-marp";try{return localStorage.setItem(e,e),localStorage.removeItem(e),!0}catch(e){return!1}})(),p=e=>{try{return localStorage.getItem(e)}catch(e){return null}},v=(e,t)=>{try{return localStorage.setItem(e,t),!0}catch(e){return!1}},h=e=>{try{return localStorage.removeItem(e),!0}catch(e){return!1}},y=(e,t)=>{const n="aria-hidden";t?e.setAttribute(n,"true"):e.removeAttribute(n)},b=e=>{e.parent.classList.add(`${l}parent`),e.slides.forEach((e=>e.classList.add(`${l}slide`))),e.on("activate",(t=>{const n=`${l}active`,r=t.slide,o=r.classList,i=!o.contains(n);if(e.slides.forEach((e=>{e.classList.remove(n),y(e,!0)})),o.add(n),y(r,!1),i){const e=`${n}-ready`;o.add(e),document.body.clientHeight,o.remove(e)}}))},w=e=>{let t=0,n=0;Object.defineProperty(e,"fragments",{enumerable:!0,value:e.slides.map((e=>[null,...e.querySelectorAll("[data-marpit-fragment]")]))});const r=r=>void 0!==e.fragments[t][n+r],o=(r,o)=>{t=r,n=o,e.fragments.forEach(((e,t)=>{e.forEach(((e,n)=>{if(null==e)return;const i=t<r||t===r&&n<=o;e.setAttribute(`${c}fragment`,(i?"":"in")+"active");const a=`${c}current-fragment`;t===r&&n===o?e.setAttribute(a,"current"):e.removeAttribute(a)}))})),e.fragmentIndex=o;const i={slide:e.slides[r],index:r,fragments:e.fragments[r],fragmentIndex:o};e.fire("fragment",i)};e.on("next",(({fragment:i=!0})=>{if(i){if(r(1))return o(t,n+1),!1;const i=t+1;e.fragments[i]&&o(i,0)}else{const r=e.fragments[t].length;if(n+1<r)return o(t,r-1),!1;const i=e.fragments[t+1];i&&o(t+1,i.length-1)}})),e.on("prev",(({fragment:i=!0})=>{if(r(-1)&&i)return o(t,n-1),!1;const a=t-1;e.fragments[a]&&o(a,e.fragments[a].length-1)})),e.on("slide",(({index:t,fragment:n})=>{let r=0;if(void 0!==n){const o=e.fragments[t];if(o){const{length:e}=o;r=-1===n?e-1:Math.min(Math.max(n,0),e-1)}}o(t,r)})),o(0,0)},x=document,k=()=>!(!x.fullscreenEnabled&&!x.webkitFullscreenEnabled),$=()=>!(!x.fullscreenElement&&!x.webkitFullscreenElement),E=e=>{e.fullscreen=()=>{k()&&(async()=>{return $()?null===(e=x.exitFullscreen||x.webkitExitFullscreen)||void 0===e?void 0:e.call(x):((e=x.body)=>{var t;return null===(t=e.requestFullscreen||e.webkitRequestFullscreen)||void 0===t?void 0:t.call(e)})();var e})()},document.addEventListener("keydown",(t=>{"f"!==t.key&&"F11"!==t.key||t.altKey||t.ctrlKey||t.metaKey||!k()||(e.fullscreen(),t.preventDefault())}))},L=`${l}inactive`,S=(e=2e3)=>({parent:t,fire:n})=>{const r=t.classList,o=e=>n(`marp-${e?"":"in"}active`);let i;const a=()=>{i&&clearTimeout(i),i=setTimeout((()=>{r.add(L),o()}),e),r.contains(L)&&(r.remove(L),o(!0))};for(const e of["mousedown","mousemove","touchend"])document.addEventListener(e,a);setTimeout(a,0)},P=["AUDIO","BUTTON","INPUT","SELECT","TEXTAREA","VIDEO"],_=e=>{e.parent.addEventListener("keydown",(e=>{if(!e.target)return;const t=e.target;(P.includes(t.nodeName)||"true"===t.contentEditable)&&e.stopPropagation()}))},T=e=>{window.addEventListener("load",(()=>{for(const t of e.slides){const e=t.querySelector("marp-auto-scaling, [data-auto-scaling], [data-marp-fitting]");t.setAttribute(`${c}load`,e?"":"hideable")}}))},I=({interval:e=250}={})=>t=>{document.addEventListener("keydown",(e=>{if(" "===e.key&&e.shiftKey)t.prev();else if("ArrowLeft"===e.key||"ArrowUp"===e.key||"PageUp"===e.key)t.prev({fragment:!e.shiftKey});else if(" "!==e.key||e.shiftKey)if("ArrowRight"===e.key||"ArrowDown"===e.key||"PageDown"===e.key)t.next({fragment:!e.shiftKey});else if("End"===e.key)t.slide(t.slides.length-1,{fragment:-1});else{if("Home"!==e.key)return;t.slide(0)}else t.next();e.preventDefault()}));let n,r,o=0;t.parent.addEventListener("wheel",(i=>{let a=!1;const s=(e,t)=>{e&&(a=a||((e,t)=>((e,t)=>{const n="X"===t?"Width":"Height";return e[`client${n}`]<e[`scroll${n}`]})(e,t)&&((e,t)=>{const{overflow:n}=e,r=e[`overflow${t}`];return"auto"===n||"scroll"===n||"auto"===r||"scroll"===r})(getComputedStyle(e),t))(e,t)),(null==e?void 0:e.parentElement)&&s(e.parentElement,t)};if(0!==i.deltaX&&s(i.target,"X"),0!==i.deltaY&&s(i.target,"Y"),a)return;i.preventDefault();const l=Math.sqrt(i.deltaX**2+i.deltaY**2);if(void 0!==i.wheelDelta){if(void 0===i.webkitForce&&Math.abs(i.wheelDelta)<40)return;if(i.deltaMode===i.DOM_DELTA_PIXEL&&l<4)return}else if(i.deltaMode===i.DOM_DELTA_PIXEL&&l<12)return;r&&clearTimeout(r),r=setTimeout((()=>{n=0}),e);const c=Date.now()-o<e,d=l<=n;if(n=l,c||d)return;let u;(i.deltaX>0||i.deltaY>0)&&(u="next"),(i.deltaX<0||i.deltaY<0)&&(u="prev"),u&&(t[u](),o=Date.now())}))},M=(e=`.${l}osc`)=>{const t=document.querySelector(e);if(!t)return()=>{};const n=(e,n)=>{t.querySelectorAll(`[${c}osc=${JSON.stringify(e)}]`).forEach(n)};return k()||n("fullscreen",(e=>e.style.display="none")),g||n("presenter",(e=>{e.disabled=!0,e.title="Presenter view is disabled due to restricted localStorage."})),e=>{t.addEventListener("click",(t=>{if(t.target instanceof HTMLElement){const{bespokeMarpOsc:n}=t.target.dataset;n&&t.target.blur();const r={fragment:!t.shiftKey};"next"===n?e.next(r):"prev"===n?e.prev(r):"fullscreen"===n?null==e||e.fullscreen():"presenter"===n&&e.openPresenterView()}})),e.parent.appendChild(t),e.on("activate",(({index:t})=>{n("page",(n=>n.textContent=`Page ${t+1} of ${e.slides.length}`))})),e.on("fragment",(({index:t,fragments:r,fragmentIndex:o})=>{n("prev",(e=>e.disabled=0===t&&0===o)),n("next",(n=>n.disabled=t===e.slides.length-1&&o===r.length-1))})),e.on("marp-active",(()=>y(t,!1))),e.on("marp-inactive",(()=>y(t,!0))),k()&&(e=>{for(const t of["","webkit"])x.addEventListener(t+"fullscreenchange",e)})((()=>n("fullscreen",(e=>e.classList.toggle("exit",k()&&$())))))}},O=e=>{window.addEventListener("message",(t=>{if(t.origin!==window.origin)return;const[n,r]=t.data.split(":");if("navigate"===n){const[t,n]=r.split(",");let o=Number.parseInt(t,10),i=Number.parseInt(n,10)+1;i>=e.fragments[o].length&&(o+=1,i=0),e.slide(o,{fragment:i})}}))};var A=["area","base","br","col","command","embed","hr","img","input","keygen","link","meta","param","source","track","wbr"];let C=e=>String(e).replace(/[&<>"']/g,(e=>`&${D[e]};`)),D={"&":"amp","<":"lt",">":"gt",'"':"quot","'":"apos"},N="dangerouslySetInnerHTML",B={className:"class",htmlFor:"for"},q={};function K(e,t){let n=[],r="";t=t||{};for(let e=arguments.length;e-- >2;)n.push(arguments[e]);if("function"==typeof e)return t.children=n.reverse(),e(t);if(e){if(r+="<"+e,t)for(let e in t)!1!==t[e]&&null!=t[e]&&e!==N&&(r+=` ${B[e]?B[e]:C(e)}="${C(t[e])}"`);r+=">"}if(-1===A.indexOf(e)){if(t[N])r+=t[N].__html;else for(;n.length;){let e=n.pop();if(e)if(e.pop)for(let t=e.length;t--;)n.push(e[t]);else r+=!0===q[e]?e:C(e)}r+=e?`</${e}>`:""}return q[r]=!0,r}const j=({children:e})=>K(null,null,...e),F=`${l}presenter-`,V={container:`${F}container`,dragbar:`${F}dragbar-container`,next:`${F}next`,nextContainer:`${F}next-container`,noteContainer:`${F}note-container`,noteWrapper:`${F}note-wrapper`,noteButtons:`${F}note-buttons`,infoContainer:`${F}info-container`,infoPage:`${F}info-page`,infoPageText:`${F}info-page-text`,infoPagePrev:`${F}info-page-prev`,infoPageNext:`${F}info-page-next`,noteButtonsBigger:`${F}note-bigger`,noteButtonsSmaller:`${F}note-smaller`,infoTime:`${F}info-time`,infoTimer:`${F}info-timer`},U=e=>{const{title:t}=document;document.title="[Presenter view]"+(t?` - ${t}`:"");const n={},r=e=>(n[e]=n[e]||document.querySelector(`.${e}`),n[e]);document.body.appendChild((e=>{const t=document.createElement("div");return t.className=V.container,t.appendChild(e),t.insertAdjacentHTML("beforeend",K(j,null,K("div",{class:V.nextContainer},K("iframe",{class:V.next,src:"?view=next"})),K("div",{class:V.dragbar}),K("div",{class:V.noteContainer},K("div",{class:V.noteWrapper}),K("div",{class:V.noteButtons},K("button",{class:V.noteButtonsSmaller,tabindex:"-1",title:"Smaller notes font size"},"Smaller notes font size"),K("button",{class:V.noteButtonsBigger,tabindex:"-1",title:"Bigger notes font size"},"Bigger notes font size"))),K("div",{class:V.infoContainer},K("div",{class:V.infoPage},K("button",{class:V.infoPagePrev,tabindex:"-1",title:"Previous"},"Previous"),K("span",{class:V.infoPageText}),K("button",{class:V.infoPageNext,tabindex:"-1",title:"Next"},"Next")),K("time",{class:V.infoTime,title:"Current time"}),K("time",{class:V.infoTimer,title:"Timer"})))),t})(e.parent)),(e=>{let t=!1;r(V.dragbar).addEventListener("mousedown",(()=>{t=!0,r(V.dragbar).classList.add("active")})),window.addEventListener("mouseup",(()=>{t=!1,r(V.dragbar).classList.remove("active")})),window.addEventListener("mousemove",(e=>{if(!t)return;const n=e.clientX/document.documentElement.clientWidth*100;r(V.container).style.setProperty("--bespoke-marp-presenter-split-ratio",`${Math.max(0,Math.min(100,n))}%`)})),r(V.nextContainer).addEventListener("click",(()=>e.next()));const n=r(V.next),o=(i=n,(e,t)=>{var n;return null===(n=i.contentWindow)||void 0===n?void 0:n.postMessage(`navigate:${e},${t}`,"null"===window.origin?"*":window.origin)});var i;n.addEventListener("load",(()=>{r(V.nextContainer).classList.add("active"),o(e.slide(),e.fragmentIndex),e.on("fragment",(({index:e,fragmentIndex:t})=>o(e,t)))}));const a=document.querySelectorAll(".bespoke-marp-note");a.forEach((e=>{e.addEventListener("keydown",(e=>e.stopPropagation())),r(V.noteWrapper).appendChild(e)})),e.on("activate",(()=>a.forEach((t=>t.classList.toggle("active",t.dataset.index==e.slide())))));let s=0;const l=e=>{s=Math.max(-5,s+e),r(V.noteContainer).style.setProperty("--bespoke-marp-note-font-scale",(1.2**s).toFixed(4))},c=()=>l(1),d=()=>l(-1),u=r(V.noteButtonsBigger),f=r(V.noteButtonsSmaller);u.addEventListener("click",(()=>{u.blur(),c()})),f.addEventListener("click",(()=>{f.blur(),d()})),document.addEventListener("keydown",(e=>{"+"===e.key&&c(),"-"===e.key&&d()}),!0),e.on("activate",(({index:t})=>{r(V.infoPageText).textContent=`${t+1} / ${e.slides.length}`}));const m=r(V.infoPagePrev),g=r(V.infoPageNext);m.addEventListener("click",(t=>{m.blur(),e.prev({fragment:!t.shiftKey})})),g.addEventListener("click",(t=>{g.blur(),e.next({fragment:!t.shiftKey})})),e.on("fragment",(({index:t,fragments:n,fragmentIndex:r})=>{m.disabled=0===t&&0===r,g.disabled=t===e.slides.length-1&&r===n.length-1}));let p=new Date;const v=()=>{const e=new Date,t=e=>`${Math.floor(e)}`.padStart(2,"0"),n=e.getTime()-p.getTime(),o=t(n/1e3%60),i=t(n/1e3/60%60),a=t(n/36e5%24);r(V.infoTime).textContent=e.toLocaleTimeString(),r(V.infoTimer).textContent=`${a}:${i}:${o}`};v(),setInterval(v,250),r(V.infoTimer).addEventListener("click",(()=>{p=new Date}))})(e)},X=e=>{if(!(e=>e.syncKey&&"string"==typeof e.syncKey)(e))throw new Error("The current instance of Bespoke.js is invalid for Marp bespoke presenter plugin.");Object.defineProperties(e,{openPresenterView:{enumerable:!0,value:H},presenterUrl:{enumerable:!0,get:R}}),g&&document.addEventListener("keydown",(t=>{"p"!==t.key||t.altKey||t.ctrlKey||t.metaKey||(t.preventDefault(),e.openPresenterView())}))};function H(){const{max:e,floor:t}=Math,n=e(t(.85*window.innerWidth),640),r=e(t(.85*window.innerHeight),360);return window.open(this.presenterUrl,F+this.syncKey,`width=${n},height=${r},menubar=no,toolbar=no`)}function R(){const e=new URLSearchParams(location.search);return e.set("view","presenter"),e.set("sync",this.syncKey),d(e)}const W=e=>{const t=u();return t===a&&e.appendChild(document.createElement("span")),{"":X,[i]:U,[a]:O}[t]},J=e=>{e.on("activate",(t=>{document.querySelectorAll(".bespoke-progress-parent > .bespoke-progress-bar").forEach((n=>{n.style.flexBasis=100*t.index/(e.slides.length-1)+"%"}))}))},Y=e=>{const t=Number.parseInt(e,10);return Number.isNaN(t)?null:t},z=(e={})=>{const t={history:!0,...e};return e=>{let n=!0;const r=e=>{const t=n;try{return n=!0,e()}finally{n=t}},o=(t={fragment:!0})=>{let n=t.fragment?Y(f("f")||""):null;((t,n)=>{const{min:r,max:o}=Math,{fragments:i,slides:a}=e,s=o(0,r(t,a.length-1)),l=o(0,r(n||0,i[s].length-1));s===e.slide()&&l===e.fragmentIndex||e.slide(s,{fragment:l})})((()=>{var t,r;if(location.hash){const[o]=location.hash.slice(1).split(":~:");if(/^\d+$/.test(o))return(null!==(t=Y(o))&&void 0!==t?t:1)-1;const i=document.getElementById(o)||document.querySelector(`a[name="${CSS.escape(o)}"]`);if(i){const{length:t}=e.slides;for(let o=0;o<t;o+=1)if(e.slides[o].contains(i)){const t=null===(r=e.fragments)||void 0===r?void 0:r[o],a=i.closest("[data-marpit-fragment]");if(t&&a){const e=t.indexOf(a);e>=0&&(n=e)}return o}}}return 0})(),n)};e.on("fragment",(({index:e,fragmentIndex:r})=>{n||m({f:0===r||r.toString()},{location:{...location,hash:`#${e+1}`},setter:(...e)=>t.history?history.pushState(...e):history.replaceState(...e)})})),setTimeout((()=>{o(),window.addEventListener("hashchange",(()=>r((()=>{o({fragment:!1}),m({f:void 0})})))),window.addEventListener("popstate",(()=>{n||r((()=>o()))})),n=!1}),0)}},G=(e={})=>{var t;const n=e.key||(null===(t=window.history.state)||void 0===t?void 0:t.marpBespokeSyncKey)||Math.random().toString(36).slice(2),r=`bespoke-marp-sync-${n}`;var i;i={marpBespokeSyncKey:n},m({},{setter:(e,...t)=>o({...e,...i},...t)});const a=()=>{const e=p(r);return e?JSON.parse(e):Object.create(null)},s=e=>{const t=a(),n={...t,...e(t)};return v(r,JSON.stringify(n)),n},l=()=>{window.removeEventListener("pageshow",l),s((e=>({reference:(e.reference||0)+1})))};return e=>{l(),Object.defineProperty(e,"syncKey",{value:n,enumerable:!0});let t=!0;setTimeout((()=>{e.on("fragment",(e=>{t&&s((()=>({index:e.index,fragmentIndex:e.fragmentIndex})))}))}),0),window.addEventListener("storage",(n=>{if(n.key===r&&n.oldValue&&n.newValue){const r=JSON.parse(n.oldValue),o=JSON.parse(n.newValue);if(r.index!==o.index||r.fragmentIndex!==o.fragmentIndex)try{t=!1,e.slide(o.index,{fragment:o.fragmentIndex,forSync:!0})}finally{t=!0}}}));const o=()=>{const{reference:e}=a();void 0===e||e<=1?h(r):s((()=>({reference:e-1})))};window.addEventListener("pagehide",(e=>{e.persisted&&window.addEventListener("pageshow",l),o()})),e.on("destroy",o)}},{PI:Q,abs:Z,sqrt:ee,atan2:te}=Math,ne={passive:!0},re=({slope:e=-.7,swipeThreshold:t=30}={})=>n=>{let r;const o=n.parent,i=e=>{const t=o.getBoundingClientRect();return{x:e.pageX-(t.left+t.right)/2,y:e.pageY-(t.top+t.bottom)/2}};o.addEventListener("touchstart",(({touches:e})=>{r=1===e.length?i(e[0]):void 0}),ne),o.addEventListener("touchmove",(e=>{if(r)if(1===e.touches.length){e.preventDefault();const t=i(e.touches[0]),n=t.x-r.x,o=t.y-r.y;r.delta=ee(Z(n)**2+Z(o)**2),r.radian=te(n,o)}else r=void 0})),o.addEventListener("touchend",(o=>{if(r){if(r.delta&&r.delta>=t&&r.radian){const t=(r.radian-e+Q)%(2*Q)-Q;n[t<0?"next":"prev"](),o.stopPropagation()}r=void 0}}),ne)},oe=new Map;oe.clear(),oe.set("none",{backward:{both:void 0,incoming:void 0,outgoing:void 0},forward:{both:void 0,incoming:void 0,outgoing:void 0}});const ie={both:"",outgoing:"outgoing-",incoming:"incoming-"},ae={forward:"",backward:"-backward"},se=e=>`--marp-bespoke-transition-animation-${e}`,le=e=>`--marp-transition-${e}`,ce=se("name"),de=se("duration"),ue=e=>new Promise((t=>{const n={},r=document.createElement("div"),o=e=>{r.remove(),t(e)};r.addEventListener("animationstart",(()=>o(n))),Object.assign(r.style,{animationName:e,animationDuration:"1s",animationFillMode:"both",animationPlayState:"paused",position:"absolute",pointerEvents:"none"}),document.body.appendChild(r);const i=getComputedStyle(r).getPropertyValue(le("duration"));i&&(n.defaultDuration=i),((e,t)=>{requestAnimationFrame((()=>{e.style.animationPlayState="running",requestAnimationFrame((()=>t(void 0)))}))})(r,o)})),fe=async e=>oe.has(e)?oe.get(e):(e=>{const t={},n=[];for(const[r,o]of Object.entries(ie))for(const[i,a]of Object.entries(ae)){const s=`marp-${o}transition${a}-${e}`;n.push(ue(s).then((e=>{t[i]=t[i]||{},t[i][r]=e?{...e,name:s}:void 0})))}return Promise.all(n).then((()=>t))})(e).then((t=>(oe.set(e,t),t))),me=e=>Object.values(e).flatMap(Object.values).every((e=>!e)),ge=(e,{type:t,backward:n})=>{const r=e[n?"backward":"forward"],o=(()=>{const e=r[t],n=e=>({[ce]:e.name});if(e)return n(e);if(r.both){const e=n(r.both);return"incoming"===t&&(e[se("direction")]="reverse"),e}})();return!o&&n?ge(e,{type:t,backward:!1}):o||{[ce]:"__bespoke_marp_transition_no_animation__"}},pe=e=>{if(e)try{const t=JSON.parse(e);if((e=>{if("object"!=typeof e)return!1;const t=e;return"string"==typeof t.name&&(void 0===t.duration||"string"==typeof t.duration)})(t))return t}catch(e){}},ve="_tSId",he="_tA",ye="bespoke-marp-transition-warming-up",be=window.matchMedia("(prefers-reduced-motion: reduce)"),we="__bespoke_marp_transition_reduced_outgoing__",xe="__bespoke_marp_transition_reduced_incoming__",ke={forward:{both:void 0,incoming:{name:xe},outgoing:{name:we}},backward:{both:void 0,incoming:{name:xe},outgoing:{name:we}}},$e=e=>{if(!document.startViewTransition)return;const t=t=>(void 0!==t&&(e._tD=t),e._tD);let n;t(!1),((...e)=>{const t=[...new Set(e).values()];return Promise.all(t.map((e=>fe(e)))).then()})(...Array.from(document.querySelectorAll("section[data-transition], section[data-transition-back]")).flatMap((e=>[e.dataset.transition,e.dataset.transitionBack].flatMap((e=>{const t=pe(e);return[null==t?void 0:t.name,(null==t?void 0:t.builtinFallback)?`__builtin__${t.name}`:void 0]})).filter((e=>!!e))))).then((()=>{document.querySelectorAll("style").forEach((e=>{e.innerHTML=e.innerHTML.replace(/--marp-transition-duration:[^;}]*[;}]/g,(e=>e.slice(0,-1)+"!important"+e.slice(-1)))}))}));const r=(n,{back:r,cond:o})=>i=>{var a;const s=t();if(s)return!!i[he]||!("object"!=typeof s||(s.skipTransition(),!i.forSync));if(!o(i))return!0;const l=e.slides[e.slide()],c=()=>{var e;return null!==(e=i.back)&&void 0!==e?e:r},d="data-transition"+(c()?"-back":""),u=l.querySelector(`section[${d}]`);if(!u)return!0;const f=pe(null!==(a=u.getAttribute(d))&&void 0!==a?a:void 0);return!f||((async(e,{builtinFallback:t=!0}={})=>{let n=await fe(e);if(me(n)){if(!t)return;return n=await fe(`__builtin__${e}`),me(n)?void 0:n}return n})(f.name,{builtinFallback:f.builtinFallback}).then((e=>{if(!e){t(!0);try{n(i)}finally{t(!1)}return}let r=e;be.matches&&(console.warn("Use a constant animation to transition because preferring reduced motion by viewer has detected."),r=ke);const o=document.getElementById(ve);o&&o.remove();const a=document.createElement("style");a.id=ve,document.head.appendChild(a),((e,t)=>{const n=[`:root{${le("direction")}:${t.backward?-1:1};}`,":root:has(.bespoke-marp-inactive){cursor:none;}"],r=t=>{var n,o,i;const a=(null===(n=e[t].both)||void 0===n?void 0:n.defaultDuration)||(null===(o=e[t].outgoing)||void 0===o?void 0:o.defaultDuration)||(null===(i=e[t].incoming)||void 0===i?void 0:i.defaultDuration);return"forward"===t?a:a||r("forward")},o=t.duration||r(t.backward?"backward":"forward");void 0!==o&&n.push(`::view-transition-group(*){${de}:${o};}`);const i=e=>Object.entries(e).map((([e,t])=>`${e}:${t};`)).join("");return n.push(`::view-transition-old(root){${i(ge(e,{...t,type:"outgoing"}))}}`,`::view-transition-new(root){${i(ge(e,{...t,type:"incoming"}))}}`),n})(r,{backward:c(),duration:f.duration}).forEach((e=>{var t;return null===(t=a.sheet)||void 0===t?void 0:t.insertRule(e)}));const s=document.documentElement.classList;s.add(ye);let l=!1;const d=()=>{l||(n(i),l=!0,s.remove(ye))},u=()=>{t(!1),a.remove(),s.remove(ye)};try{t(!0);const e=document.startViewTransition(d);t(e),e.finished.finally(u)}catch(e){console.error(e),d(),u()}})),!1)};e.on("prev",r((t=>e.prev({...t,[he]:!0})),{back:!0,cond:e=>{var t;return e.index>0&&!((null===(t=e.fragment)||void 0===t||t)&&n.fragmentIndex>0)}})),e.on("next",r((t=>e.next({...t,[he]:!0})),{cond:t=>t.index+1<e.slides.length&&!(n.fragmentIndex+1<n.fragments.length)})),setTimeout((()=>{e.on("slide",r((t=>e.slide(t.index,{...t,[he]:!0})),{cond:t=>{const n=e.slide();return t.index!==n&&(t.back=t.index<n,!0)}}))}),0),e.on("fragment",(e=>{n=e}))};let Ee;const Le=()=>(void 0===Ee&&(Ee="wakeLock"in navigator&&navigator.wakeLock),Ee),Se=async()=>{const e=Le();if(e)try{return await e.request("screen")}catch(e){console.warn(e)}return null},Pe=async()=>{if(!Le())return;let e;const t=()=>{e&&"visible"===document.visibilityState&&Se()};for(const e of["visibilitychange","fullscreenchange"])document.addEventListener(e,t);return e=await Se(),e};((e=document.getElementById(":$p"))=>{(()=>{const e=f("view");r.dataset.bespokeView=e===a||e===i?e:""})();const t=(e=>{const t=f(e);return m({[e]:void 0}),t})("sync")||void 0;n.from(e,((...e)=>{const t=s.findIndex((e=>u()===e));return e.map((([e,n])=>e[t]&&n)).filter((e=>e))})([[1,1,0],G({key:t})],[[1,1,1],W(e)],[[1,1,0],_],[[1,1,1],b],[[1,0,0],S()],[[1,1,1],T],[[1,1,1],z({history:!1})],[[1,1,0],I()],[[1,1,0],E],[[1,0,0],J],[[1,1,0],re()],[[1,0,0],M()],[[1,0,0],$e],[[1,1,1],w],[[1,1,0],Pe]))})()}();</script><script>window.__marpCliWatchWS="ws://localhost:37717/57bb06ddafb096e47160e076888a4d88bfe06e0e24af3a23d083fba23940d446";!function(){"use strict";const e=(n,o=!1)=>{const t=new WebSocket(n);return t.addEventListener("open",(()=>{console.info("[Marp CLI] Observing the change of file..."),o&&location.reload()})),t.addEventListener("close",(()=>{console.warn("[Marp CLI] WebSocket for file watcher was disconnected. Try re-connecting in 5000ms..."),setTimeout((()=>e(n,!0)),5e3)})),t.addEventListener("message",(e=>{"reload"===e.data&&location.reload()})),t};(()=>{const n=window.__marpCliWatchWS;n&&e(n)})()}();</script></body></html>
\ No newline at end of file
diff --git a/soutenance.md b/soutenance.md
index 4d1589f..f20b1c5 100644
--- a/soutenance.md
+++ b/soutenance.md
@@ -18,24 +18,59 @@ Thèse sous la direction de *Joël Falcou*
 ---
 <!-- paginate: true -->
 
-# Le HPC: un millefeuille d'abstractions
+## Plan de la présentation
+
+**Introduction**
+
+- Calcul haute performance
+- Les bibliothèques de calcul haute performance en C++
+- Métaprogrammation et langages dédiés pour le HPC
+
+**Travaux effectués**
+
+- Génération de noyaux de calcul SIMD
+- Langages dédiés arbitraires en C++ et application pour le HPC
+- Mesure et analyse des temps de compilation
+
+**Discussion**
+
+- Outils pour le parsing et la génération de code
+- Evolutions du langage C++
+
+---
+
+# Le calcul haute performance
 <!-- 10mn -->
 
-- **Matériel performant** (architectures multi-coeurs, SIMD, GPUs)
+<br/>
+
+**H**igh-**P**erformance **C**omputing *(HPC)*
+
+<br/>
+
+- **Matériel performant**
+  *processeurs multi-coeurs, SIMD, GPUs*
+
 
-- **Abstractions performantes** (langages et bibliothèques)
+- **Abstractions performantes**
+  *langages, APIs, bibliothèques*
 
 <!-- "Abstractions performantes": qui ne pénalisent pas le temps d'exécution -->
 
-![width:1500px](images/millefeuille-hpc.svg)
+---
+
+## Le millefeuille d'abstractions du HPC
+
+<br/>
 
+![width:1700px](images/millefeuille-hpc.svg)
 <!-- https://ivanceras.github.io/svgbob-editor/
 
-.------------------------------------------.
-| "Haut niveau: Intention, plus expressif" |
-'------------------------------------------'
+.--------------------------.
+| "Haut niveau: Intention" |
+'--------------------------'
 
-  ^ "Bibliothèques expressives: Blaze, Eigen..."
+  ^ "Bibliothèques expressives, DSELs: Blaze, Eigen..."
   |
   | "Bibliothèques HPC: BLAS, CUBS, cuDNN, EVE, Thrust, LAPACK, OpenMP..."
   |
@@ -43,21 +78,85 @@ Thèse sous la direction de *Joël Falcou*
   |
   v "Instructions CPU/GPU: ARM, x86, RISC-V, PTX..."
 
-.----------------------------------------.
-| "Bas niveau: Spécificités matérielles" |
-'----------------------------------------'
+.------------------------.
+| "Bas niveau: Matériel" |
+'------------------------'
 -->
 
 ---
 
-## Performances: le matériel
+## Un paysage de plus en plus complexe
+
+<br/>
+
+**Le matériel:**
+
+- Plus de *parallélisme(s)*
+- Plus de *spécialisation*
+
+*Exemples récents:* Fujitsu A64FX, Cerebras WSE-3
+
+**Les bibliothèques et applications:**
+
+- Des domaines de plus en plus *diversifiés*
+
+*Quelles abstractions pour s'adapter à l'évolution du matériel?*
+*Comment assurer la portabilité et la pérennité du code haute performance?*
+
+---
+
+## La génération de code pour la performance
+
+<br/>
+
+**Métaprogramme:** programme prenant du code en entrée ou en sortie.
 
-Perf: le matos s'en occupe, ok.
-On a des outils (SYCL, OpenMP, Thrust)
+En C++, les bibliothèques HPC utilisent très majoritairement
+la *métaprogrammation de templates*
+<br/>
+
+- **Intérêt:** évaluation partielle, composabilité, nouvelles abstractions
+- **Exemples:** Thrust, CUBS, EVE
+<br/>
 
-Peut-on générer plus de code pour le HPC ?
-Rendre la programmation haute performance plus portable ?
-Avec quelles perfs ?
+Peut-on aller plus loin ?
+*Oui.*
+
+---
+
+## Les langages dédiés pour le calcul haute performance en C++
+
+**D**omain **S**pecific **E**mbedded **L**anguage *(DSEL)*
+<br/>
+
+*Bibliothèques de référence: Blaze et Eigen*
+
+Langages dédiés basés sur de la **surcharge d'opérateurs**,
+utilisant des **expression templates** pour la génération de code.
+
+**Expression templates:** représentation d'expressions algébriques
+sous forme d'arborescences de templates de types.
+<br/>
+
+```c++
+blaze::DynamicVector<int> vec_a({4, -2, 5}), vec_b({2, 5, -3});
+
+auto expr = vec_a + vec_b; // Add<DynamicVector<int>, DynamicVector<int>>
+blaze::DynamicVector<int> vec_c = expr; // Génération de code à l'assignation
+```
+
+---
+
+## Les langages dédiés pour le calcul haute performance en C++
+
+**Problèmes:** difficulté d'implémentation et temps de compilation
+
+*Quelles techniques permettraient de résoudre ces problèmes ?*
+*Quel intérêt pour le HPC ?*
+
+
+- Héritent des problématiques associées aux métaprogrammes de templates
+- DSELs limités à la syntaxe C++ (sauf ctre)
 
 ---
 
@@ -67,15 +166,13 @@ Expressivité, que faire ?
 
 Blaze, Eigen... et au-dela ?
 
-Peut-on rendre ces bibliothèques plus simples à maintenir ?
 
 Comment je peux avoir des formules en LaTeX math ou d'autres langages
 **dans C++** (si c'est possible/raisonnable)..?
 
----
+<!-----
 
 # Contexte: pourquoi C++ ?
-<!-- 10mn -->
 
 C++ est la plateforme de choix pour le calcul haute performance
 *et la métaprogrammation*
@@ -108,7 +205,7 @@ C'est utilisé pour générer du code optimisé à la compilation
 
 gemv, expression templates
 
----
+----->
 
 ## GEMV