Spinfer Evaluation est un projet dédié à l'évaluation des performances de systèmes distribués. Il génère des données d'évaluation pour la conférence USENIX ATC 2020 et permet d'analyser les résultats obtenus. Ce projet est utile pour les chercheurs et les professionnels du domaine des systèmes distribués qui souhaitent mesurer et améliorer les performances de leurs systèmes.

PMC-SOG est un outil de vérification de modèles parallèles utilisant des graphes d'observabilité symbolique. Il permet de vérifier des propriétés temporelles sur des systèmes concurrents et distribués, de construire des graphes d'observabilité symbolique et d'analyser les performances de ces systèmes.

Ce projet vise à fournir une évaluation des performances de systèmes répartis et à analyser des données distribuées.

Ce projet vise à évaluer les performances de systèmes de fichiers distribués (NFS) à grande échelle. Il permet d'analyser le comportement de ces systèmes dans différentes configurations et charges de travail.