10 citations · 19 across the 3 of their papers we have counts for
1 paper · 2 filters
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…