Explore projects

Verimag's fork of CompCert

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Self-stabilizing Algorithms SimulAtor

The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

Reproduce the experimental results of an article currently under submission

"Assessing Software Abstractions inWCET Analysis of Reactive Programs"

cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf

Reproduce the experimental results of an article under submission (at the LITES journal) named :

''Improving WCET Evaluation using Counters and Linear Relation Analysis''

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

A skitz compiler, made to compile mincaml as a University project.

Reproduce experiments done in sasa related articles

Basic functions for OCaml codes

Working in a compiler project using java

A tool for generating random task DAGs

The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).