AutoShrink: Adaptive Search Space Shrinkage for Large-Scale Pareto Optimization of HLS Designs. - Yingxin Zeng; Binghao Cheng; Jianwang Zhai; Kang Zhao; Zhe Lin 001 (DATE, 2026)