Differences

This shows you the differences between two versions of the page.

--- apr:journees:ete2025 [2025/05/15 10:49] – [Résumés] mine
+++ apr:journees:ete2025 [2025/06/03 23:20] (current) – [Liste préliminaire des intervenants] mine
@@ Line 11: / Line 11: @@
-==== Programme préliminaire ====
+==== Programme ====
   * Lundi 2 juin 2025
@@ Line 24: / Line 24: @@
       * //Mopsa at the Software-Verification Competition.// Raphaël Monat (SyCoMoRES, Inria Lille)
       * //A Practical Solver for Scalar Data Topological Simplification.// Mohamed Kissi (APR, SU)
-      * //TBA.// Loïc Sylvestre (DI, École Normale Supérieure)
+      * //Conception de systèmes réactifs et programmation parallèle de haut niveau sur des architectures FPGA.// Loïc Sylvestre (DI, École Normale Supérieure)
-    * **19:30**: dîner
+    * **19:30**: dîner à [[https://estaminetlille.fr/nos-estaminets/lestaminet-du-welsh/|L'Estaminet du Welsh]] (45 rue de Gand, 59800 Lille)
   * Mardi 3 juin 2025
     * **09:00-10:30**: Session exposés 3
@@ Line 37: / Line 37: @@
     * Retour à Paris suggéré par le train de 16:12 au départ de Lille Flandres, arrivée à Paris Nord à 17:18
-==== Liste préliminaire des intervenants ====
+==== Liste des intervenants ====
   * Danaël Carbonneau (APR, SU)
@@ Line 112: / Line 112: @@
 Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able to analyze C, Python, and programs mixing these two languages; we focus on the C analysis here. It provides a novel way to combine abstract domains, in order to offer extensibility and cooperation between them, which is especially beneficial when relational numerical domains are used. We present the results of our 3-year participation to the international Software-Verification Competition, and reflect on future work.
+----
+**Conception de systèmes réactifs et programmation parallèle de haut niveau sur des architectures FPGA **\\
+Loïc Sylvestre (DI, École Normale Supérieure)
+À l’heure où les systèmes embarqués temps réel doivent exécuter toujours plus de calculs en plus d'interagir avec le monde physique, les architectures matérielles à base de FPGA (Field-Programmable Gate Arrays) constituent une cible de choix pour atteindre des facteurs d'accélération importants tout en maintenant des latences faibles.
+Dans ce contexte, l'exposé présentera ECLAT : un langage généraliste (inspiré d’OCaml) avec une sémantique synchrone pour la conception d'applications fiables et efficaces sur des circuits FPGA. ECLAT permet de composer à la fois des comportements réactifs orientés flot de données et des calculs parallèles en mémoire partagée avec de la concurrence déterministe. Le modèle de calcul proposé est suffisamment précis et expressif pour développer des abstractions de programmation de haut niveau (telles que des squelettes algorithmiques et des machines virtuelles) avec des performances en grande partie prédictibles.
+Le langage se veut accessible aux programmeuses et programmeurs de logiciel, tout en offrant un contrôle fin sur les détails d'implantation. Il est d'ailleurs utilisé comme langage support dans un cours de compilation.
 ----