Automated Program Verification Using Generation of Invariants. - Jianying Xing; Mengjun Li; Zhoujun Li 001 (QSIC, 2010)

Hybrid hierarchy storage system in MilkyWay-2 supercomputer. - Weixia Xu; Yutong Lu; Qiong Li; Enqiang Zhou; Zhenlong Song; Yong Dong; Wei Zhang; Dengping Wei; Xiaoming Zhang; Haitao Chen; Jianying Xing; Yuan Yuan 034 (Frontiers Comput. Sci., 2014)