SCHEMATIC at CGO’24

We will be presenting SCHEMATIC, a compile-time technique to place checkpoint in intermittent programs, and select a memory allocation for its variables at CGO’24.

Continue reading

Nassim Amalou defends his PhD

Nassim was a PhD student co-advised by Isabelle Puaut from PACAP and Élisa Fromont from LACODAM. On December 12th 2023, he successfully defended his PhD titled “Machine learning for timing estimation“. Congratulations, Nassim!

Continue reading