Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021

Performance Evaluation of Memory-Centric ARMv8 Many-Core Architectures: A Case Study with Phytium 2000+.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

VISPR-online: a web-based interactive tool to visualize CRISPR screening experiments.

[BibT_eX]

[DOI]

BMC Bioinform., 2021

Large-Scale Parallel Alignment Algorithm for SMRT Reads.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2021

Characterizing OpenMP Synchronization Implementations on ARMv8 Multi-Cores.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Optimizing Barrier Synchronization on ARMv8 Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cluster Computing, 2021

2020

Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2020

Parallel Programming Models for Heterogeneous Many-Cores : A Survey.

[BibT_eX]

[DOI]

CoRR, 2020

Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures: A Machine Learning Based Approach.

[BibT_eX]

[DOI]

CoRR, 2020

Parallel programming models for heterogeneous many-cores: a comprehensive survey.

[BibT_eX]

[DOI]

CCF Trans. High Perform. Comput., 2020

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Symbolic verification of message passing interface programs.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Dissecting the Phytium 2000+ Memory Hierarchy via Microbenchmarking.

[BibT_eX]

[DOI]

Proceedings of the Advanced Computer Architecture - 13th Conference, 2020

2019

A Skewness-Aware Matrix Factorization Approach for Mesh-Structured Cloud Services.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2019

Convergence of Bregman Multi-Stage Algorithm.

[BibT_eX]

[DOI]

Chun Huang

Hao Jiang

Xiaoya Zhang

IEEE Access, 2019

Auto-Tuning MPI Collective Operations on Large-Scale Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Non-Ergodic Convergence Analysis of Heavy-Ball Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

An efficient hybrid tridiagonal divide-and-conquer algorithm on distributed memory architectures.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.

[BibT_eX]

[DOI]

CoRR, 2018

MOCL: an efficient openCL implementation for the matrix-2000 architecture.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

面向存储层次设计优化的GPU程序性能分析 (Performance Analysis of GPU Programs Towards Better Memory Hierarchy Design).

[BibT_eX]

[DOI]

计算机科学, 2017

Projective Hard Thresholding Pursuit for Nonnegative Sparse Recovery.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Implementing and Evaluating OpenCL on an ARMv8 Multi-Core CPU.

[BibT_eX]

[DOI]

2015

Poster: Symbolic Execution of MPI Programs.

[BibT_eX]

[DOI]