Projet académique dédié à l'optimisation de code C++ et à la simulation de particules pour des applications scientifiques. Il propose des outils pour analyser et améliorer l'efficacité des algorithmes, ainsi que des méthodes de gestion mémoire adaptées aux calculs intensifs. Utilisé dans un cadre pédagogique pour former les étudiants aux bonnes pratiques de développement.

Outil dédié au lancement et à l'optimisation d'applications de type LImA et LImA2, principalement utilisées dans des environnements de calcul haute performance. Il configure dynamiquement les ressources système (CPU, mémoire, affinité NUMA) pour maximiser les performances des applications de traitement de données et d'acquisition (DAQ). Il prend en charge l'accélération matérielle via des bibliothèques comme Power9 NX GZIP et permet une intégration avec des frameworks comme Tango pour une gestion centralisée.

Ce projet académique développe des outils pour manipuler des polyèdres en trois dimensions. Il permet de les représenter, les importer et exporter depuis des fichiers au format OBJ, et de les décomposer en composantes connexes pour une analyse structurelle. Les algorithmes implémentés facilitent l'étude des propriétés géométriques et topologiques des modèles 3D, avec une approche modulaire et optimisée pour la gestion dynamique de la mémoire.

Ce projet propose des mises en page en tuiles pour les tableaux multidimensionnels en C++23, optimisant les performances des algorithmes gourmands en calculs. Il améliore la localité des données et la gestion mémoire, notamment pour les calculs linéaires et les équations différentielles partielles. Les mises en page en tuiles permettent une meilleure utilisation des caches et une vectorisation accrue, adaptées aux architectures CPU et GPU.

Outil de mesure et d'analyse de la latence mémoire des systèmes informatiques. Permet aux développeurs et administrateurs système d'évaluer les performances des accès mémoire, d'identifier les goulots d'étranglement et d'optimiser les configurations matérielles ou logicielles pour améliorer l'efficacité des applications.

Ce projet fournit des exemples et des outils pour analyser les performances du ramasse-miettes (garbage collector) d'OCaml. Il permet aux développeurs de détecter des régressions entre différentes versions du langage et d'optimiser l'utilisation de la mémoire dans leurs applications. Les cas d'usage incluent le benchmarking, le profiling et l'identification de goulots d'étranglement liés à la gestion automatique de la mémoire.

SVF est un framework open source dédié à l'analyse statique de pointeurs pour les programmes compilés avec LLVM. Il permet de détecter des erreurs mémoire, d'optimiser le code et de vérifier la cohérence des accès mémoire. Utilisé principalement dans le domaine de la compilation et de la sécurité logicielle, il offre des outils pour analyser les flux de données et les dépendances entre pointeurs dans un programme.

Ce projet se concentre sur l'optimisation des simulations fluides en utilisant la transformée en ondelettes discrète (DWT) pour une compression dynamique des données sur GPU. Il évalue les performances de différents algorithmes de compression et configurations de blocs pour améliorer l'efficacité mémoire et calculatoire. Les résultats sont utilisés pour valider des modèles numériques et réduire les coûts de stockage tout en préservant la précision des simulations.

Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

Bibliothèque ou outil dédié à la gestion dynamique de la mémoire dans un programme informatique. Il permet d'allouer et de libérer des blocs de mémoire de manière efficace, en optimisant l'espace utilisé et en évitant les fuites. Idéal pour les développeurs cherchant à contrôler finement l'utilisation de la mémoire dans leurs applications.