@inproceedings{ICSE-2019-WangWSTCS0WZL,
	acmid         = "3339647",
	author        = "Xie Wang and Huaijin Wang and Zhendong Su and Enyi Tang and Xin Chen and Weijun Shen and Zhenyu Chen 0001 and Linzhang Wang and Xianpei Zhang and Xuandong Li",
	booktitle     = "{Proceedings of the 41st International Conference on Software Engineering}",
	doi           = "10.1109/ICSE.2019.00116",
	isbn          = "978-1-7281-0869-8",
	pages         = "1131--1141",
	publisher     = "{IEEE / ACM}",
	title         = "{Global optimization of numerical programs via prioritized stochastic algebraic transformations}",
	year          = 2019,
}