Frédéric Recoules | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙