Blog Posts by Joffrey Huguet
Joffrey Huguet
Joffrey has joined AdaCore in 2019, during his studies at ISAE-SUPAERO (Toulouse, France). He is now a member of the SPARK team, working on the flow analysis part of the tool.
Mar 10, 2022
Fabien Chouteau, Joffrey Huguet
Quite Proved Image Format
A few weeks ago a piece of code went viral in the online dev community. The “Quite OK Image Format” (QOI) is a fast, lossless image compression…
Jul 09, 2019
Joffrey Huguet, Johannes Kanig
Proving a simple program doing I/O ... with SPARK
The functionality of many security-critical programs is directly related to Input/Output (I/O). This includes command-line utilities such as gzip,…
May 01, 2019
Joffrey Huguet