Abstract: french version

manuscrit/00_opening/10_abstract.tex

@@ -1,6 +1,32 @@
 \selectlanguage{french}
 \begin{abstract}
-    Ceci est le résumé de ma thèse. C'est fou, non ?
+    Qu'il s'agisse de calculs massifs distribués sur plusieurs racks, de
+    de calculs en environnement contraint comme de l'embarqué ou de
+    l'\emph{edge computing} ou encore de tentatives de réduire l'empreinte
+    écologique d'un programme fréquemment utilisé, de nombreux cas d'usage
+    justifient l'optimisation d'un programme. Celle-ci s'arrête souvent à
+    l'optimisation de haut niveau (algorithmique, parallélisme, \ldots), mais
+    il est possible de la pousser jusqu'à une optimisation bas-niveau,
+    s'intéressant à l'assembleur généré en regard de la microarchitecture du
+    processeur précis utilisé.
+
+    Une telle optimisation demande une compréhension fine à la fois logicielle
+    et matérielle, et est bien souvent cantonnée aux experts du domaine.
+    Les \emph{code analyzers} (analyseurs de code), cependant, permettent
+    d'abaisser le niveau d'expertise nécessaire pour accomplir de telles
+    optimisations, en automatisant une partie du travail de compréhension des
+    problèmes de performance rencontrés.  Ces mêmes outils permettent également
+    aux experts d'être plus efficaces dans leur travail.
+
+    Dans ce manuscrit, nous étudierons les principaux goulots d'étranglement de
+    performance d'un processeur, sur lesquels l'état de l'art montre des
+    performances inégales. Nous apportons, sur chacun de ces goulots
+    d'étranglement, une contribution nouvelle~: automatisation de l'obtention
+    d'un modèle du \emph{backend}, étude manuelle du \emph{frontend} en vue de
+    l'automatisation de son modèle, et extraction automatique des dépendances
+    \emph{à travers la mémoire} d'un noyau de calcul. Nous apportons également
+    une étude systématique et automatisée des performances de prédiction de
+    différents \emph{code analyzers} de l'état de l'art.
 \end{abstract}
 \clearpage