Explore projects

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).

Lustre V6 compiler

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''

Self-stabilizing Algorithms SimulAtor

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

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Basic functions for OCaml codes

Working in a compiler project using java