Projet académique dédié à la simulation et à l'analyse de reconfigurations logicielles dans des environnements distribués. Il permet de modéliser des composants, des assemblages et des langages de reconfiguration pour évaluer des scénarios complexes. Les expériences peuvent être exécutées localement ou sur des infrastructures comme Grid5000, avec des résultats collectés pour des analyses comparatives.

Ce projet permet de comparer des logiciels d'inférence d'ascendance locale (LAI) par simulation. Il exécute des simulations de données génétiques, formate ces données pour différents logiciels (SABER, WINPOP, ELAI), exécute ces logiciels et compare leurs résultats avec les données réelles. L'objectif est d'évaluer la précision et l'efficacité des méthodes d'inférence génétique dans des populations mélangées.

Relecteur est un outil qui automatise et évalue la qualité des revues de code (pull requests) dans les dépôts logiciels. Il s'appuie sur un moteur de revue automatique pour commenter les lignes concernées par des défauts potentiels, en appliquant les consignes spécifiques du projet. Il permet également de mesurer la performance du reviewer en comparant ses retours avec des cas d'évaluation connus, afin d'améliorer la fiabilité des revues automatiques.

Suite de tests automatisés pour le logiciel MARTY, dédié à la vérification des calculs en physique des particules. Ce projet évalue la cohérence des amplitudes de diffusion, des largeurs de désintégration et des coefficients de Wilson dans divers modèles théoriques, notamment le Modèle Standard et ses extensions comme le MSSM. Les tests couvrent des processus à l'ordre des arbres et à une boucle, en comparant les résultats numériques avec des références théoriques ou expérimentales.

P4a est un projet dédié à l'analyse comparative des performances de différentes structures logicielles ou algorithmiques. Il permet d'évaluer et de comparer des temps d'exécution, des consommations mémoire et d'autres métriques clés pour identifier les solutions les plus efficaces. Le projet s'appuie sur des protocoles expérimentaux rigoureux et des outils de visualisation pour faciliter l'interprétation des résultats.

Ce projet propose une analyse comparative des approches graphiques existantes pour représenter la variabilité dans les systèmes logiciels. Il recense et évalue différentes méthodes de modélisation (arbres, graphes, diagrammes de fonctionnalités) afin d'aider les développeurs et chercheurs à choisir la représentation la plus adaptée à leurs besoins. L'objectif est de clarifier les relations entre éléments et d'identifier les outils les plus pertinents pour visualiser des architectures logicielles complexes.

OFCB est un projet dédié à la création d'une structure de benchmark pour évaluer et comparer des solutions techniques ou logicielles. Il permet d'établir des critères objectifs et des méthodologies d'analyse afin d'aider les équipes à choisir les outils les plus adaptés à leurs besoins.

Ce projet académique vise à étudier et quantifier la variabilité des résultats obtenus par différents pipelines logiciels utilisés en neuroimagerie fonctionnelle. Il propose une méthodologie pour évaluer la robustesse et la reproductibilité des analyses d'images cérébrales IRMf, en comparant des configurations logicielles variées sur des données standardisées. Les résultats permettent d'identifier les sources de variabilité et d'améliorer les pratiques en imagerie cérébrale.

Ce projet est une maquette logicielle visant à reproduire le code Hodin dans une version multi-nœuds. Il utilise StarPU pour gérer les communications et les tâches parallèles, et MPI pour la communication entre nœuds. L'objectif est de comparer différentes implémentations (séquentielle, StarPU naïve, avancée, et StarPU-MPI) sur un problème simple de calcul matriciel avec conditions aux limites périodiques. Les résultats sont analysés pour évaluer l'efficacité des stratégies de parallélisation et de communication.

OpenFisca-Mali est un logiciel libre de micro-simulation qui modélise le système fiscal et social du Mali. Il permet de simuler les prestations sociales, calculer les impôts et taxes, et analyser l'impact des réformes économiques. Ce projet s'inscrit dans une étude comparative avec d'autres pays africains pour évaluer les politiques publiques et leurs effets sur la population.