activity
20132026
most citedAdaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits

5 citations · 29 across the 26 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.PL2025★ 1 cited

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges

David Kozak, Codrut Stancu, Tomáš Vojnar +1

A typical points-to analysis such as Andersen's or Steensgaard's may lose precision because it ignores the branching structure of the analyzed program. Moreover, points-to analysis…