apr:journees:ete2025
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
apr:journees:ete2025 [2025/05/15 10:49] mine [Liste préliminaire des intervenants] |
apr:journees:ete2025 [2025/06/03 23:20] (current) mine [Liste préliminaire des intervenants] |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| - | ==== Programme préliminaire ==== | + | ==== Programme ==== |
| * Lundi 2 juin 2025 | * Lundi 2 juin 2025 | ||
| Line 24: | Line 24: | ||
| * //Mopsa at the Software-Verification Competition.// Raphaël Monat (SyCoMoRES, Inria Lille) | * //Mopsa at the Software-Verification Competition.// Raphaël Monat (SyCoMoRES, Inria Lille) | ||
| * //A Practical Solver for Scalar Data Topological Simplification.// Mohamed Kissi (APR, SU) | * //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 | * Mardi 3 juin 2025 | ||
| * **09:00-10:30**: Session exposés 3 | * **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 | * 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) | * Danaël Carbonneau (APR, SU) | ||
| Line 75: | Line 75: | ||
| **Polymalys: relational abstract interpretation of assembly code**\\ | **Polymalys: relational abstract interpretation of assembly code**\\ | ||
| - | Julien Forget (CRIStAL, Polytech'Lille) | + | Julien Forget (SyCoMoRES, Polytech Lille) |
| Polymalys is a tool for static analysis of assembly code. It discovers linear relations between data locations (i.e. memory locations as well as registers) of the code. The analysis relies on abstract interpretation using a polyhedra-based abstract domain. We have devised two analyses that use the discovered linear relations to compute upper bounds to loop iterations, or to detect stack smashing. | Polymalys is a tool for static analysis of assembly code. It discovers linear relations between data locations (i.e. memory locations as well as registers) of the code. The analysis relies on abstract interpretation using a polyhedra-based abstract domain. We have devised two analyses that use the discovered linear relations to compute upper bounds to loop iterations, or to detect stack smashing. | ||
| 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. | 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. | ||
| ---- | ---- | ||
apr/journees/ete2025.1747298964.txt.gz · Last modified: 2025/05/15 10:49 by mine
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
