20 citations · 30 across the 5 of their papers we have counts for
6 papers
Taylor-Approximation-Based Repair of High Floating-Point Errors
Xin Yi, Liqian Chen, Hengbiao Yu +5
Numerical libraries can still lose many bits of accuracy on localized ill-conditioned inputs, such as roots, poles, cancellation points, and branch boundaries. This paper presents…
Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures: A Machine Learning Based Approach
Peng Zhang, Jianbin Fang, Canqun Yang +3
This article presents an automatic approach to quickly derive a good solution for hardware resource partition and task granularity for task-based parallel applications on heterogen…
Non-ergodic Convergence Analysis of Heavy-Ball Algorithms
Tao Sun, Penghang Yin, Dongsheng Li +3
In this paper, we revisit the convergence of the Heavy-ball method, and present improved convergence complexity results in the convex setting. We provide the first non-ergodic O(1/…
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…
An efficient hybrid tridiagonal divide-and-conquer algorithm on distributed memory architectures
Shengguo Li, Francois-Henry Rouet, Jie Liu +3
In this paper, an efficient divide-and-conquer (DC) algorithm is proposed for the symmetric tridiagonal matrices based on ScaLAPACK and the hierarchically semiseparable (HSS) matri…
MPISE: Symbolic Execution of MPI Programs
Xianjin Fu, Zhenbang Chen, Yufeng Zhang +3
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection fo…