Explore projects

Binary analysis program. Looks at a CFG and analyzes its bits.

LibPFASST fork with support for dynamic resources

ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.

Differential equations simulation representing Salmonella infection

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.

Web site of the Guix-HPC effort.

Slides for a general formation about CI/CD in Inria context

Gathers technical materials to follow on what has been learnt and what is to be learnt

Unofficial Beamer template based on Inria color palette

Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups

This platform gives tools to manipulate Sanskrit data

Progressive Principal Component Analysis

Lightweight task-based FMM using the block tree and OpenMP.

Implementing symbolic data structure numeric grounding

This repository contains the examples of the CSF18 paper: "C. Jacomme and S. Kremer. An extensive formal analysis of multi-factor authentication protocols. In CSF'18, pages 1-15. IEEE Computer Society Press, 2018"