Sign in
Lifting C semantics for dataflow optimization.
Alexandru Calotoiu
Tal Ben-Nun
Grzegorz Kwasniewski
Johannes de Fine Licht
Timo Schneider
Philipp Schaad
Torsten Hoefler
Published in:
ICS (2022)
Keyphrases
</>
formal semantics
global optimization
optimization algorithm
logic programming
semantic information
database systems
optimization method
optimization process
control flow
neural network
optimization problems
optimization methods
constrained optimization
parallel computing
optimization model