New gallery
Posted on Feb 26th
At last, I finished my gallery of proved floating-point programs with Frama-C instead of Caduceus. I still have to add numerical analysis stuff, but I put all my proved floating-point tricky programs.
I fully agree with George R. R. Martin:
I will, in short, post whatever the hell I want to here. Just don't expect me to do it very often. Because this is Not A Blog. I don't have time to keep a weblog.
Article for IEEE-TC
Posted on Feb 23rd
This article with Jean-Michel Muller is accepted with minor revisions to the IEEE Transactions on Computers journal! Pride and happiness...
Popular science article
Posted on Feb 23rd
A new popular science article in French. The title is It is the computer's fault! and explains why the computer is not guilty of our numerous problems with it.
Submitted article at ITP
Posted on Jan 27th
On January 22nd, I submitted an article to the International Conference on Interactive Theorem Proving. With all FOST participants, we worked on the formal proof of the method error of a wave equation resolution scheme.
Submitted article at NFM
Posted on Jan 27th
On January 15th, I submitted an article to the Second NASA Formal Methods Symposium. With my PhD student T. Nguyen, we worked on proofs of numerical programs whatever the hardware and the compiler.
First post
Posted on Jan 26th
I am beginning my "Not a Blog". I used to have a news section on my main page, but this allows me to post whatever and whenever I want.
