Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, Kuen Hung Tsoi: On the challenges in programming mixed-precision deep neural networks. MAPL@PLDI 2020: 20-28