GAIA: A System for Interactive Analysis on Distributed Graphs Using a High-Level Language. - Zhengping Qian; Chenqiang Min; Longbin Lai; Yong Fang; Gaofeng Li; Youyang Yao; Bingqing Lyu; Xiaoli Zhou; Zhimin Chen; Jingren Zhou 001 (NSDI, 2021)