Explore projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Official repository for the CROCO model

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

Comet is a pipelined RISC-V processor generated with HLS.

MRF (Malia Rendering Framework) is an open source library for predictive, physically-realistic rendering.

It comes with several applications, including a spectral path tracer, RGB-to-spectral conversion routines.

Parallel Sparse Direct Solver

SParse Matrix Package

Post-mortem analysis tool for StarPU scheduling studies

IOLB tool that computes data movement complexity of an affine program

GUS feet: generation of a performance model from a pipedream-compatible ISA

Treerecs is an open-source (species- and gene-) tree reconciliation software.

It can correct, rearrange and (re-)root gene trees with regard to a given species tree.

Please visit https://project.inria.fr/treerecs/ for more about Treerecs

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.

This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.