Using loop transformations for precision tuning in iterative programs.

Youssef Fakhreddine Guillaume Revy

Published in: ARITH (2023)

Keyphrases

feedback loop
high precision
computer programs
high recall
real time
computer vision
precision and recall
case study
data driven
database design
parameter settings
fixpoint
intermediate level
automatic programming
tuning parameters
recursive programs