Explore projects

CAMISIM: Simulating metagenomes and microbial communities

French Metagrammar

French Metagrammar

Material to reproduce Batsim's first experiment — https://hal.archives-ouvertes.fr/hal-01333471. Moved from https://gforge.inria.fr/projects/expe-batsim

Inferring the structure of Linux lists, based on the paper The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel by Nic Volanschi and Julia Lawall at ASE 2020

An OoO dynamic inter-thread vectorization architecture. Combining the benefits of SIMT and SMT on a single core, extracting DLP from TLP

Tools for computing Gröbner bases

libOMP extensions based on Kaapi

The complete list of files for deliverable D2.1. Source code and report.

Template package for axel

The complete list of files for deliverable D2.1. Source code and report.