~~NOCACHE~~
/* DO NOT EDIT THIS FILE               */
/* THIS FILE WAS GENERATED             */
/* EDIT THE FILE "indexheader" INSTEAD */
/* OR ACCESS THE DATABASE              */

{{page>.:indexheader}}

\\ ==== Next talk ====
[[en:seminaires:programmation:index|Programming]]\\
Monday May 5, 2025, 10AM, 3071\\
**Timothy Bourke** (INRIA) //Une interface entre OCaml et la bibliothèque Sundials des solveurs numériques//
<button type="link" size="xs" collapse="b14-3108">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b14-3108" collapsed="true">
<well size="sm">
Résumé : Dans le cadre d'un projet de recherche sur les langages de programmation pour les systèmes hybrides, autour du langage Zelus (https://zelus.di.ens.fr), nous avons développé la bibliothèque Sundials/ML (https://inria-parkas.github.io/sundialsml/) pour interfacer OCaml avec les structures de données et les algorithmes du logiciel Sundials développé à Lawrence Livermore National Laboratories. Nous nous sommes efforcés de créer une interface complet, efficace et proche de celui proposé aux programmeurs C, tout en voulant exploiter le système de types et les fonctionnalités d'OCaml (types algébriques de données, fonctions d'ordre supérieur, exceptions, gestion automatique de la mémoire). Le partage de données entre OCaml et C s'avère particulièrement délicat dans ce contexte où un fil d'exécution peut se faufiler entre les deux langages. Certaines de nos solutions pour ce problème sont satisfaisantes, d'autres moins. Nous en présenterons quelques-unes.
</well>
</collapse>


\\ ==== Previous talks ====
\\ === Year 2025 ===

{{page>.:programmation2025}}

\\ === Year 2024 ===

{{page>.:programmation2024}}