HBMalloc: Dynamic Memory Management in High-Level Synthesis for FPGA HBM. - Yiqing Mao; Yanxing Jin; Wai-Shing Luk; Lingli Wang (ICFPT, 2024)