Analytical Models for Data Dependence Violation Checking in TLS. - Xin Lai; Cong Liu 009; Zhiying Wang 003; Quanyou Feng (CIS, 2011)

A specialized low-cost vectorized loop buffer for embedded processors. - Libo Huang; Zhiying Wang 003; Li Shen 007; Hongyi Lu; Nong Xiao 001; Cong Liu 009 (DATE, 2011)

Applying Formal Verification to a Cache Coherence Protocol in TLS. - Xin Lai; Cong Liu 009; Zhiying Wang 003 (EMS, 2011)

A novel shared-buffer router for network-on-chip based on Hierarchical Bit-line Buffer. - Wei Shi; Weixia Xu; Hongguang Ren; Qiang Dou; Zhiying Wang 003; Li Shen 007; Cong Liu 009 (ICCD, 2011)

An Advanced and Effective Literature Search Algorithm Based on Analytic Hierarchy Process. - Qiong Wang 001; Cong Liu 009; Zhiying Wang 003 (TrustCom, 2011)

Backlog Bounds Analysis of Different On-chip Cache Coherence Policies: A Network Calculus-Based Approch. - Xin Lai; Cong Liu 009; Zhiying Wang 003; Quanyou Feng (UIC/ATC, 2012)

Multipath Densely Connected Convolutional Neural Network for Brain Tumor Segmentation. - Cong Liu 009; Weixin Si; Yinling Qian; Xiangyun Liao; Qiong Wang 001; Yong Guo; Pheng-Ann Heng (BrainLes@MICCAI (1), 2018)