TY  - RPRT
TI  - Lifting C Semantics for Dataflow Optimization
AU  - Alexandru Calotoiu
AU  - Tal Ben-Nun
AU  - Grzegorz Kwasniewski
AU  - Johannes de Fine Licht
AU  - Timo Schneider
AU  - Philipp Schaad
AU  - Torsten Hoefler
PY  - 2022
DO  - 10.1145/3524059.3532389
UR  - https://arxiv.org/abs/2112.11879
ID  - 2112.11879
ER  -