Global optimization of numerical programs via prioritized stochastic algebraic transformations. - Xie Wang; Huaijin Wang 001; Zhendong Su 001; Enyi Tang; Xin Chen 027; Weijun Shen; Zhenyu Chen 001; Linzhang Wang; Xianpei Zhang; Xuandong Li (ICSE, 2019)