1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.PL2023
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
David Kozák, Vojin Jovanovic, Codruţ Stancu +2
Whole-program analysis is an essential technique that enables advanced compiler optimizations. An important example of such a method is points-to analysis used by ahead-of-time (AO…