Lucas Franceschino | DeepAI

DeepAI

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

Featured Co-authors

Niki Vazou
15 publications
Jean-Pierre Talpin
5 publications
David Pichardie
3 publications
Jean-Joseph Marty
1 publication

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

research

∙ 04/27/2020

LIO: Low Level Information Flow Control in F

We present Labeled Input Output in F* (LIO*), a verified framework that ...

0 Jean-Joseph Marty, et al. ∙