Department of Computer Science and Engineering;
The Hong Kong University of Science and Technology;
Huawei Noah's Ark Laboratory;
Department of Computer Science;
University of Illinois at Chicago;
Chicago;
IL 60637;
U.S.A. Fellow;
ACM;
IEEE;
Key Laboratory of High Confidence Software Technologies;
Ministry of Education;
Institute of Software;
School of Electronics Engineering and Computer Science;
Peking University;
Department of Computer Science and Engineering;
Shanghai Jiao Tong University;