1. Huawei Edinburgh, Research Centre, Edinburgh, United Kingdom
2. Hangzhou Research Centre, Central Software Institute, Huawei, Hangzhou City, China
3. Huawei Edinburgh Research Centre and School of Computer Science, University of St Andrews, United Kingdom