Arnaud J. Venet | DeepAI

DeepAI

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

Featured Co-authors

Aditya V. Thakur
11 publications
Sung Kook Kim
2 publications

research

∙ 09/12/2020

Memory-Efficient Fixpoint Computation

Practical adoption of static analysis often requires trading precision f...

0 Sung Kook Kim, et al. ∙

research

∙ 09/12/2019

Deterministic Parallel Fixpoint Computation

Abstract interpretation is a general framework for expressing static pro...

0 Sung Kook Kim, et al. ∙