Haifeng Zhu: Approximation effects and user-controllable design space exploration. SysCon 2017: 1-8