Simon Hudon | DeepAI

DeepAI

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

Featured Co-authors

Daniel Selsam
12 publications
Leonardo de Moura
6 publications
Thai Son Hoang
3 publications
Jonathan S. Ostroff
1 publication

research

∙ 03/03/2020

Sealing Pointer-Based Optimizations Behind Pure Functions

Functional programming languages are particularly well-suited for buildi...

0 Daniel Selsam, et al. ∙

research

∙ 10/24/2018

The Unit-B Method --- Refinement Guided by Progress Concerns

We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B...

0 Simon Hudon, et al. ∙