Jing-Lei Wang received his B.S. degree from Zhejiang University, and M.S. degree from Tsinghua Univer- sity. His research interests include high performance computing, chip multiprocessor architecture.E-mail: jlwang@tsinghua.edu.cn Yi-Bo Xue received his B.S. and M.S. degrees from Harbin Institute of Technology, and Ph.D. degree from Chinese Academy of Sciences. He is a professor of Tsinghua University, member of CCF and IEEE. His re- search interests include high perfor- mance computing, parallel process- ing and network security.E-mail:yiboxue@tsinghua.edu.cn Hai-Xia Wang received her B.S. degree from Nankai University, and Ph.D. degree fl'om Chinese Academy of Sciences. She is an associate pro- fessor of Tsinghua University, mem- ber of CCF and IEEE. Her research interests include high performance computing, chip multiprocessor ar- chitecture and formal check.E-mail:hx-wang@tsinghua.edu.cn Chong-Min Li received his B.S. and M,S. degrees from Daqing Petroleum Institute and Tsinghua University respectively. His research interests include high performance computing, chip multiprocessor architecture.E-mail:lcm03@mails.tsinghua.edu.cn Dong-Sheng Wang received his B.S. and Ph.D. degrees from Harbin Institute of Technology. He is a pro- fessor of Tsinghua University. He is a senior member of China Com- puter Federation, member of IEEE. His research interests include com- puter architecture, high performance computing, storage & file systems, and network security.E-mail:wds@tsinghua.edu.cn