Synchronization Error Detection of MPI Programs by Symbolic Execution. - Xianjin Fu; Zhenbang Chen 001; Chun Huang 006; Wei Dong 006; Ji Wang 001 (APSEC (1), 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen 001; Yufeng Zhang 001; Chun Huang 006; Ji Wang 001 (CoRR, 2014)

MPISE: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen 001; Yufeng Zhang 001; Chun Huang 006; Wei Dong 006; Ji Wang 001 (HASE, 2015)

Implementation of an Accurate and Efficient Compensated DGEMM for 64-bit ARMv8 Multi-Core Processors. - Hao Jiang 001; Feng Wang 050; Kuan Li; Canqun Yang; Kejia Zhao; Chun Huang 006 (ICPADS, 2015)

Poster: Symbolic Execution of MPI Programs. - Xianjin Fu; Zhenbang Chen 001; Hengbiao Yu; Chun Huang 006; Wei Dong 006; Ji Wang 001 (ICSE (2), 2015)

Implementing and Evaluating OpenCL on an ARMv8 Multi-Core CPU. - Jianbin Fang; Peng Zhang 061; Tao Tang 001; Chun Huang 006; Canqun Yang (ISPA/IUCC, 2017)

Projective Hard Thresholding Pursuit for Nonnegative Sparse Recovery. - Xiaoya Zhang; Hao Jiang 001; Tao Sun 005; Lizhi Cheng; Chun Huang 006; Canqun Yang (ISPA/IUCC, 2017)

面向存储层次设计优化的GPU程序性能分析 (Performance Analysis of GPU Programs Towards Better Memory Hierarchy Design). - Tao Tang 001; Lin Peng 001; Chun Huang 006; Canqun Yang (计算机科学, 2017)

MOCL: an efficient openCL implementation for the matrix-2000 architecture. - Peng Zhang 061; Tao Tang 001; Jianbin Fang; Chun Huang 006; Canqun Yang; Zheng Wang 001 (CF, 2018)

Combining Symbolic Execution and Model Checking to Verify MPI Programs. - Hengbiao Yu; Zhenbang Chen 001; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Wei Dong 006; Chun Huang 006 (CoRR, 2018)

An efficient hybrid tridiagonal divide-and-conquer algorithm on distributed memory architectures. - Shengguo Li; François-Henry Rouet; Jie Liu 002; Chun Huang 006; Xingyu Gao; Xuebin Chi (J. Comput. Appl. Math., 2018)

Non-Ergodic Convergence Analysis of Heavy-Ball Algorithms. - Tao Sun 005; Penghang Yin; Dongsheng Li 001; Chun Huang 006; Lei Guan; Hao Jiang 001 (AAAI, 2019)

Auto-Tuning MPI Collective Operations on Large-Scale Parallel Systems. - Wenxu Zheng; Jianbin Fang; Chen Juan; Feihao Wu; Xiaodong Pan; Hao Wang; Xiaole Sun; Yuan Yuan 034; Min Xie; Chun Huang 006; Tao Tang 001; Zheng Wang 001 (HPCC/SmartCity/DSS, 2019)

Convergence of Bregman Multi-Stage Algorithm. - Chun Huang 006; Hao Jiang 001; Xiaoya Zhang (IEEE Access, 2019)

A Skewness-Aware Matrix Factorization Approach for Mesh-Structured Cloud Services. - Yongquan Fu; Dongsheng Li 001; Pere Barlet-Ros; Chun Huang 006; Zhen Huang 006; Siqi Shen; Huayou Su (IEEE/ACM Trans. Netw., 2019)

Dissecting the Phytium 2000+ Memory Hierarchy via Microbenchmarking. - Wanrong Gao; Jianbin Fang; Chuanfu Xu; Chun Huang 006 (ACA, 2020)

Symbolic verification of message passing interface programs. - Hengbiao Yu; Zhenbang Chen 001; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Jun Sun 001; Chun Huang 006; Wei Dong 006 (ICSE, 2020)

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. - Hengbiao Yu; Zhenbang Chen 001; Chun Huang 006; Ji Wang 001 (SETTA, 2020)

Parallel programming models for heterogeneous many-cores: a comprehensive survey. - Jianbin Fang; Chun Huang 006; Tao Tang 001; Zheng Wang 001 (CCF Trans. High Perform. Comput., 2020)

Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures: A Machine Learning Based Approach. - Peng Zhang 061; Jianbin Fang; Canqun Yang; Chun Huang 006; Tao Tang 001; Zheng Wang 001 (CoRR, 2020)

Parallel Programming Models for Heterogeneous Many-Cores : A Survey. - Jianbin Fang; Chun Huang 006; Tao Tang 001; Zheng Wang 001 (CoRR, 2020)

Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures. - Peng Zhang 061; Jianbin Fang; Canqun Yang; Chun Huang 006; Tao Tang 001; Zheng Wang 001 (IEEE Trans. Parallel Distributed Syst., 2020)

Optimizing Barrier Synchronization on ARMv8 Many-Core Architectures. - Wanrong Gao; Jianbin Fang; Chun Huang 006; Chuanfu Xu; Zheng Wang 001 (CLUSTER, 2021)

Characterizing OpenMP Synchronization Implementations on ARMv8 Multi-Cores. - Pengyu Wang; Wanrong Gao; Jianbin Fang; Chun Huang 006; Zheng Wang 001 (HPCC/DSS/SmartCity/DependSys, 2021)

Large-Scale Parallel Alignment Algorithm for SMRT Reads. - Zeyu Xia; Yingbo Cui 001; Ang Zhang; Peng Zhang 061; Sifan Long; Tao Tang 001; Lin Peng 001; Chun Huang 006; Canqun Yang; Xiangke Liao (ICA3PP (2), 2021)

VISPR-online: a web-based interactive tool to visualize CRISPR screening experiments. - Yingbo Cui 001; Zihang Wang; Johannes Köster; Xiangke Liao; Shaoliang Peng; Tao Tang 001; Chun Huang 006; Canqun Yang (BMC Bioinform., 2021)

Performance Evaluation of Memory-Centric ARMv8 Many-Core Architectures: A Case Study with Phytium 2000+. - Jianbin Fang; Xiangke Liao; Chun Huang 006; Dezun Dong (J. Comput. Sci. Technol., 2021)

Optimizing Fast Trigonometric Functions on Modern CPUs. - Jie Shen 003; Biao Long; Chun Huang 006 (HPCC/DSS/SmartCity/DependSys, 2022)

MT-3000: a heterogeneous multi-zone processor for HPC. - Kai Lu 001; Yaohua Wang; Yang Guo 003; Chun Huang 006; Sheng Liu 001; Ruibo Wang; Jianbin Fang; Tao Tang 001; Zhaoyun Chen; Biwei Liu; Zhong Liu 003; Yuanwu Lei; et al. (CCF Trans. High Perform. Comput., 2022)

Efficient Data Redistribution Algorithms From Irregular to Block Cyclic Data Distribution. - Shengguo Li; Hao Jiang 001; Dezun Dong; Chun Huang 006; Jie Liu 002; Xia Liao; Xuguang Chen (IEEE Trans. Parallel Distributed Syst., 2022)

Accelerating Type Confusion Detection by Identifying Harmless Type Castings. - Xiaokang Fan; Sifan Long; Chun Huang 006; Canqun Yang; Fa Li (CF, 2023)

Optimizing Multi-grid Computation and Parallelization on Multi-cores. - Xiaojian Yang; Shengguo Li; Fan Yuan; Dezun Dong; Chun Huang 006; Zheng Wang 001 (ICS, 2023)

Optimizing Direct Convolutions on ARM Multi-Cores. - Pengyu Wang; Weiling Yang; Jianbin Fang; Dezun Dong; Chun Huang 006; Peng Zhang 061; Tao Tang 001; Zheng Wang 001 (SC, 2023)

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. - Hengbiao Yu; Xin Yi 002; Banghu Yin; Fa Li; Zhenbang Chen 001; Chun Huang 006 (SANER, 2023)

Programming bare-metal accelerators with heterogeneous threading models: a case study of Matrix-3000. - Jianbin Fang; Peng Zhang 061; Chun Huang 006; Tao Tang 001; Kai Lu 001; Ruibo Wang; Zheng Wang 001 (Frontiers Inf. Technol. Electron. Eng., 2023)

A Quantitative Evaluation of Vector Transcendental Functions on ARMv8-Based Processors. - Jie Shen 003; Biao Long; Chun Huang 006 (J. Comput. Sci. Technol., 2023)

wrBench: Comparing Cache Architectures and Coherency Protocols on ARMv8 Many-Core Systems. - Wanrong Gao; Jianbin Fang; Chun Huang 006; Chuanfu Xu; Zheng Wang 001 (J. Comput. Sci. Technol., 2023)

VLASPH: Smoothed Particle Hydrodynamics on VLA SIMD Architectures. - Xiaokang Fan; Zhen Ge; Sifan Long; Tao Tang 001; Chun Huang 006; Lin Peng 001; Canqun Yang (Euro-Par (3), 2024)

Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions. - Xianglin Wang; Xin Yi 002; Hengbiao Yu; Chun Huang 006; Lin Peng 001 (ICPP, 2024)

Optimizing Stencil Computation on Multi-core DSPs. - Fugeng Zhu; Xinxin Qi; Peng Zhang 061; Jianbin Fang; Tao Tang 001; Yonggang Che; Kainan Yu; Jing Xie 023; Chun Huang 006; Jie Ren 007 (ICPP, 2024)

Optimizing General Matrix Multiplications on Modern Multi-core DSPs. - Kainan Yu; Xinxin Qi; Peng Zhang 061; Jianbin Fang; Dezun Dong; Ruibo Wang; Tao Tang 001; Chun Huang 006; Yonggang Che; Zheng Wang 001 (IPDPS, 2024)

SNCL: a supernode OpenCL implementation for hybrid computing arrays. - Tao Tang 001; Kai Lu 001; Lin Peng 001; Yingbo Cui 001; Jianbin Fang; Chun Huang 006; Ruibo Wang; Canqun Yang; Yifei Guo (J. Supercomput., 2024)

Optimizing Multi-Grid Preconditioned Conjugate Gradient Method on Multi-Cores. - Fan Yuan; Xiaojian Yang; Shengguo Li; Dezun Dong; Chun Huang 006; Zheng Wang 079 (IEEE Trans. Parallel Distributed Syst., 2024)

thSORT: an efficient parallel sorting algorithm on multi-core DSPs. - Mouzhi Yang; Peng Zhang 061; Jianbin Fang; Weifeng Liu 002; Chun Huang 006 (CCF Trans. High Perform. Comput., 2024)

Efficient compiler optimization by modeling passes dependence. - Jianfeng Liu; Jianbin Fang; Ting Wang 009; Jing Xie 023; Chun Huang 006; Zheng Wang (CCF Trans. High Perform. Comput., 2024)

Mentor: A Memory-Efficient Sparse-dense Matrix Multiplication Accelerator Based on Column-Wise Product. - Xiaobo Lu; Jianbin Fang; Lin Peng 001; Chun Huang 006; Zidong Du; Yongwei Zhao 001; Zheng Wang 079 (ACM Trans. Archit. Code Optim., 2024)

Function-level Optimization Automatic Tuner for Numerical Programs. - Xinni Liu; Xinpeng Li; Guangping Yu; Hengbiao Yu; Xin Yi 002; Chun Huang 006 (APSEC, 2025)

Selection of Supervised Learning-Based Sparse Matrix Reordering Algorithms. - Tao Tang 001; Youfu Jiang; Yingbo Cui 001; Jianbin Fang; Peng Zhang 061; Lin Peng 001; Chun Huang 006 (HiPC, 2025)

Optimizing Direct Convolutions on High-Performance Multi-Core DSPs. - Pengyu Wang; Xiaotian Chen; Jianbin Fang; Peng Zhang 061; Yonggang Che; Chun Huang 006; Jie Ren 007 (ICPP, 2025)

Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs. - Xin Yi 002; Hengbiao Yu; Liqian Chen; Xiaoguang Mao; Ji Wang 001; Chun Huang 006; Deheng Yang (IPDPS, 2025)

DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems. - Cundi Fang; Jie Liang 006; Zhiyong Wu 010; Jingzhou Fu; Zhouyang Jia; Chun Huang 006; Yu Jiang 001; Shanshan Li 001 (Proc. ACM Softw. Eng., 2025)

An empirical performance evaluation of SYCL on ARM multi-core processors. - Hanzheng Liang; Chencheng Deng; Peng Zhang 061; Jianbin Fang; Tao Tang 001; Chun Huang 006 (CCF Trans. High Perform. Comput., 2025)

An empirical study of error-free transformations for enhancing mathematical function precision. - Dongting Chen; Jie Shen 003; Chun Huang 006; Xin Yi 002 (CCF Trans. High Perform. Comput., 2025)

Gator: Accelerating Graph Attention Networks by Jointly Optimizing Attention and Graph Processing. - Xiaobo Lu; Jianbin Fang; Lin Peng 001; Chun Huang 006; Zixiao Yu; Tiejun Li (ACM Trans. Archit. Code Optim., 2025)

nDirect2: A High-Performance Library for Direct Convolutions on Multicore CPUs. - Weiling Yang; Pengyu Wang; Jianbin Fang; Dezun Dong; Zhengbin Pang; Runxi He; Peng Zhang 061; Tao Tang 001; Chun Huang 006; Yonggang Che; Jie Ren 007 (IEEE Trans. Computers, 2025)

Uni-STC: Unified Sparse Tensor Core. - Haocheng Lian; Qiyue Zhang; Xinran Zhao; Meichen Dong; Yijie Nie; Zhengyi Zhao; Junzhong Shen; Wei Guo; Chun Huang 006; Bingcai Sui; Weifeng Liu 002 (HPCA, 2026)

Optimizing small matrix multiplications via batch grouping on multi-core DSPs. - Xiaotian Chen; Pengyu Wang; Jianbin Fang; Peng Zhang 061; Chun Huang 006 (CCF Trans. High Perform. Comput., 2026)