Renwei Zhang

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 15

Top Topics

Conflict Resolution

Top Venues

Publications

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
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. CoRR (2024)
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
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler. CGO (2024)
Yi Zhai, Sijia Yang, Keyu Pan, Renwei Zhang, Shuo Liu, Chao Liu, Zichun Ye, Jianmin Ji, Jie Zhao, Yu Zhang, Yanyong Zhang
Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. OSDI (2024)
Jie Zhao, Jinchen Xu, Peng Di, Wang Nie, Jiahui Hu, Yanzhi Yi, Sijia Yang, Zhen Geng, Renwei Zhang, Bojie Li, Zhiliang Gan, Xuefeng Jin
Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine Relations. ACM Trans. Comput. Syst. 41 (2023)
Cédric Bastoul, Zhen Zhang, Harenome Razanajato, Nelson Lossing, Adilla Susungi, Javier de Juan, Etienne Filhol, Baptiste Jarry, Gianpietro Consolaro, Renwei Zhang
Optimizing GPU Deep Learning Operators with Polyhedral Scheduling Constraint Injection. CGO (2022)
Jie Zhao, Cédric Bastoul, Yanzhi Yi, Jiahui Hu, Wang Nie, Renwei Zhang, Zhen Geng, Chong Li, Thibaut Tachon, Zhiliang Gan
Parallelizing Neural Network Models Effectively on GPU by Implementing Reductions Atomically. PACT (2022)
Jie Zhao, Xiong Gao, Ruijie Xia, Zhaochuang Zhang, Deshi Chen, Lei Chen, Renwei Zhang, Zhen Geng, Bin Cheng, Xuefeng Jin
Apollo: Automatic Partition-based Operator Fusion through Layer by Layer Optimization. MLSys (2022)
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, Xuefeng Jin
AKG: automatic kernel generation for neural processing units using polyhedral transformations. PLDI (2021)
Shengnan Li, Zheng Qin, Houbing Song, Chengxiang Si, Bo Sun, Xiao Yang, Renwei Zhang
A lightweight and aggregated system for indoor/outdoor detection using smart devices. Future Gener. Comput. Syst. 107 (2020)
Cong Wang, Le Kang, Renwei Zhang, Weiliang Yin
Statically-Directed Assertion Recommendation for C Programs. COMPSAC (1) (2019)
Jie Liang, Mingzhe Wang, Yuanliang Chen, Yu Jiang, Renwei Zhang
Fuzz testing in practice: Obstacles and solutions. SANER (2018)
Jinghao Yang, Wei Liu, Renwei Zhang, Zhenyuan Jia, Fuji Wang, Shijie Li
A method for measuring the thermal geometric parameters of large hot rectangular forgings based on projection feature lines. Mach. Vis. Appl. 29 (3) (2018)
Xiao Yang, Zheng Qin, Binhua Wan, Renwei Zhang, Huihui Wang
The Improved Velocity-based Models for Pedestrian Dynamics. KSII Trans. Internet Inf. Syst. 11 (9) (2017)
Renwei Zhang, Zheng Qin, Houbing Song, Shengnan Li, Xiao Yang
Detection of Composite Operation in Model Management. IEEE Access 5 (2017)
Hao Chong, Renwei Zhang, Zheng Qin
Composite-based conflict resolution in merging versions of UML models. SNPD (2016)
Ke Liu, Renwei Zhang, Zhankun Du, Li Shao, Xiao Ma
A low cost readout and processing circuit for integrated CMOS geomagnetic sensors. ASICON (2015)
Shengnan Li, Zheng Qin, Lai-Xiang Shan, Renwei Zhang, Xiao Yang
A Survey on Target Tracking in Well-deployed Wireless Sensor Networks. J. Softw. 9 (5) (2014)
Lai-Xiang Shan, Zheng Qin, Shengnan Li, Renwei Zhang, Xiao Yang
Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata. J. Softw. 9 (4) (2014)
Chao Zhang, Xiaoying Bai, Junlong Li, Renwei Zhang
Automated Test Case Generation for Embedded Software Using Extended Interface Automata. QSIC (2013)
Xiaoying Bai, Hao Lu, Yao Zhang, Renwei Zhang, Linping Hu, Hong Ye
Interface-Based Automated Testing for Open Software Architecture. COMPSAC Workshops (2011)