10 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.PL2020
Memory-Efficient Fixpoint Computation
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Practical adoption of static analysis often requires trading precision for performance. This paper focuses on improving the memory efficiency of abstract interpretation without sac…
cs.PL2019★ 9 cited
Deterministic Parallel Fixpoint Computation
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Abstract interpretation is a general framework for expressing static program analyses. It reduces the problem of extracting properties of a program to computing an approximation of…
eess.SY2015★ 10 cited
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation
Mendes Oulamara, Arnaud Venet
The inference and the verification of numerical relationships among variables of a program is one of the main goals of static analysis. In this paper, we propose an Abstract Interp…