Frédéric Recoules | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Sébastien Bardin
18 publications
Marie-Laure Potet
7 publications
Matthieu Lemerre
6 publications
Laurent Mounier
6 publications
Richard Bonichon
6 publications

research

∙ 02/15/2021

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

Inline assembly is still a common practice in low-level C programming, t...

0 Frédéric Recoules, et al. ∙

research

∙ 03/15/2019

Get rid of inline assembly through trustable verification-oriented lifting

Formal methods for software development have made great strides in the l...

0 Frédéric Recoules, et al. ∙

Success!

An error occurred