Explore projects

Travail sur la documentation du logiciel FiatLux http://fiatlux.loria.fr/

SYsTème embArqué faible consommation à mémoiRE persistante

Data and papers on Hardware induced fault attacks

A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.

Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.

Mmult overview project

Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.

Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour

Public repository of the "Performance vs Energy Tradeoffs via Shutdown Policies in EASY Backfilling" article submitted to IEEE/ACM CCGrid 2018.