Interface-Based Automated Testing for Open Software Architecture. - Xiaoying Bai; Hao Lu; Yao Zhang; Renwei Zhang; Linping Hu; Hong Ye (COMPSAC Workshops, 2011)

Automated Test Case Generation for Embedded Software Using Extended Interface Automata. - Chao Zhang; Xiaoying Bai; Junlong Li; Renwei Zhang (QSIC, 2013)

A Survey on Target Tracking in Well-deployed Wireless Sensor Networks. - Shengnan Li; Zheng Qin 003; Lai-Xiang Shan; Renwei Zhang; Xiao Yang (J. Softw., 2014)

Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata. - Lai-Xiang Shan; Zheng Qin 003; Shengnan Li; Renwei Zhang; Xiao Yang (J. Softw., 2014)

A low cost readout and processing circuit for integrated CMOS geomagnetic sensors. - Ke Liu; Renwei Zhang; Zhankun Du; Li Shao; Xiao Ma (ASICON, 2015)

Composite-based conflict resolution in merging versions of UML models. - Hao Chong; Renwei Zhang; Zheng Qin 003 (SNPD, 2016)

Detection of Composite Operation in Model Management. - Renwei Zhang; Zheng Qin 003; Houbing Song; Shengnan Li; Xiao Yang (IEEE Access, 2017)

The Improved Velocity-based Models for Pedestrian Dynamics. - Xiao Yang; Zheng Qin 003; Binhua Wan; Renwei Zhang; Huihui Wang 001 (KSII Trans. Internet Inf. Syst., 2017)

Fuzz testing in practice: Obstacles and solutions. - Jie Liang 006; Mingzhe Wang; Yuanliang Chen; Yu Jiang 001; Renwei Zhang (SANER, 2018)

A method for measuring the thermal geometric parameters of large hot rectangular forgings based on projection feature lines. - Jinghao Yang; Wei Liu 037; Renwei Zhang; Zhenyuan Jia; Fuji Wang; Shijie Li (Mach. Vis. Appl., 2018)

Statically-Directed Assertion Recommendation for C Programs. - Cong Wang 020; Le Kang; Renwei Zhang; Weiliang Yin (COMPSAC (1), 2019)

A lightweight and aggregated system for indoor/outdoor detection using smart devices. - Shengnan Li; Zheng Qin 003; Houbing Song; Chengxiang Si; Bo Sun; Xiao Yang; Renwei Zhang (Future Gener. Comput. Syst., 2020)

AKG: automatic kernel generation for neural processing units using polyhedral transformations. - Jie Zhao 002; Bojie Li; Wang Nie; Zhen Geng; Renwei Zhang; Xiong Gao; Bin Cheng; Chen Wu; Yun Cheng; Zheng Li; Peng Di; Kun Zhang; et al. (PLDI, 2021)

Parallelizing Neural Network Models Effectively on GPU by Implementing Reductions Atomically. - Jie Zhao 002; Cédric Bastoul; Yanzhi Yi; Jiahui Hu; Wang Nie; Renwei Zhang; Zhen Geng; Chong Li 003; Thibaut Tachon; Zhiliang Gan (PACT, 2022)

Optimizing GPU Deep Learning Operators with Polyhedral Scheduling Constraint Injection. - Cédric Bastoul; Zhen Zhang; Harenome Razanajato; Nelson Lossing; Adilla Susungi; Javier de Juan; Etienne Filhol; Baptiste Jarry; Gianpietro Consolaro; Renwei Zhang (CGO, 2022)

Apollo: Automatic Partition-based Operator Fusion through Layer by Layer Optimization. - Jie Zhao 002; Xiong Gao; Ruijie Xia; Zhaochuang Zhang; Deshi Chen; Lei Chen; Renwei Zhang; Zhen Geng; Bin Cheng; Xuefeng Jin (MLSys, 2022)

Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine Relations. - Jie Zhao 002; Jinchen Xu; Peng Di; Wang Nie; Jiahui Hu; Yanzhi Yi; Sijia Yang; Zhen Geng; Renwei Zhang; Bojie Li; Zhiliang Gan; Xuefeng Jin (ACM Trans. Comput. Syst., 2023)

PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. - Gianpietro Consolaro; Zhen Zhang; Harenome Razanajato; Nelson Lossing; Nassim Tchoulak; Adilla Susungi; Artur Cesar Araujo Alves; Renwei Zhang; Denis Barthou; Corinne Ancourt; Cédric Bastoul (CGO, 2024)

Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. - Yi Zhai; Sijia Yang; Keyu Pan; Renwei Zhang; Shuo Liu; Chao Liu; Zichun Ye; Jianmin Ji; Jie Zhao 002; Yu Zhang 086; Yanyong Zhang (OSDI, 2024)

TSCompiler: efficient compilation framework for dynamic-shape models. - Xiang Luo; Chen Zhang; Chenbo Geng; Yanzhi Yi; Jiahui Hu; Renwei Zhang; Zhen Zhang; Gianpietro Consolaro; Fan Yang 001; Tun Lu; Ning Gu; Li Shang (Sci. China Inf. Sci., 2024)