蚂蚁集团与香港科技大学合作论文获 ACM SIGPLAN Distinguished Paper Award