David Pichardie | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Gabriel Synnaeve
73 publications
Baptiste Roziere
15 publications
Jean-Pierre Talpin
5 publications
Aurèle Barrière
2 publications
Lucas Franceschino
2 publications
Ruba Mutasim
1 publication
Sandrine Blazy
1 publication

research

∙ 04/20/2023

Leveraging Static Analysis for Bug Repair

We propose a method combining machine learning with a static analysis to...

0 Ruba Mutasim, et al. ∙

research

∙ 12/06/2022

Formally Verified Native Code Generation in an Effectful JIT – or: Turning the CompCert Backend into a Formally Verified JIT Compiler

Modern Just-in-Time compilers (or JITs) typically interleave several mec...

0 Aurèle Barrière, et al. ∙

research

∙ 07/20/2021

Verified Functional Programming of an Abstract Interpreter

Abstract interpreters are complex pieces of software: even if the abstra...

0 Lucas Franceschino, et al. ∙