Explore projects

For the paper Generic algorithms for scheduling applications on hybrid multi-core machines. Contains the source code of algorithms and input data (traces of applications), the tex files of the paper and my M2 internship report.

Packaging for Debian of the r CRAN ascii package.

source: https://cran.r-project.org/web/packages/ascii/index.html

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

The Demonstration repository for THEMIS

How to reproduce experiments submitted to the 2017 RAPD special isssue of CCPE.

Set of Satellite Image Time Series Tools developed in C++ and Python.

Artifact repository for the TOPLAS article pertaining to the THEMIS tool.

Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments

A vanilia neural network for our statistic project at ENS rennes

Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.

Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes

Git for the R tool doing MBPTA analysis

Estimation of IO peak as a function of average IO load + min size burst buffers

Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.

C++ software for generating configurations of a molecular system (coordinates and velocities) distributed according to the QSD (Quasi Stationary Distribution) within a user defined metastable state.