Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Sihuan Li

dblp:184/9149 · DBLP profile ↗
← Back
20ranked-venue papers
5as first author
6since 2021 · last 2026
0000-0001-7315-7955ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 13 · 3 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 6 · 2 first-author · 3 since 2021Artificial intelligence and machine learning · 5 · 2 first-author · 2 since 2021Databases, data management, data science and information retrieval · 5 · 2 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
8 papers
High-performance computing · 48% Hardware reliability and fault tolerance · 35% GPUs and heterogeneous computing · 6%
Theoretical computer science
1 paper
Algorithms and data structures · 100%

Topics — the 24 heaviest of 25, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware reliability and fault tolerance › software fault tolerance
algorithm-based fault tolerance
1.852021
FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks · IEEE Trans. Parallel Distributed Syst. 2021
Resilient error-bounded lossy compressor for data transfer · SC 2021
FT-iSort: efficient fault tolerance for introsort · SC 2019
High-performance computing › lossy compression
error-bounded lossy compression
1.332021
Resilient error-bounded lossy compressor for data transfer · SC 2021
Significantly Improving Lossy Compression for HPC Datasets with Second-Order Prediction and Parameter Optimization · HPDC 2020
Significantly improving lossy compression quality based on an optimized hybrid prediction model · SC 2019
High-performance computing
scientific data compression
0.822020
Significantly Improving Lossy Compression for HPC Datasets with Second-Order Prediction and Parameter Optimization · HPDC 2020
Significantly improving lossy compression quality based on an optimized hybrid prediction model · SC 2019
High-performance computing
lossy compression
0.622021
Resilient error-bounded lossy compressor for data transfer · SC 2021
Significantly Improving Lossy Compression for HPC Datasets with Second-Order Prediction and Parameter Optimization · HPDC 2020
GPUs and heterogeneous computing › GPU-accelerated scientific computing
GPU-accelerated numerical linear algebra
0.622018
Fault tolerant one-sided matrix decompositions on heterogeneous systems with GPUs · SC 2018
GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing · SC 2016
High-performance computing
scientific computing systems
0.512021
Resilient error-bounded lossy compressor for data transfer · SC 2021
Hardware reliability and fault tolerance › soft errors
soft error resilience
0.512021
FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks · IEEE Trans. Parallel Distributed Syst. 2021
High-performance computing
parallel i/o
0.412019
Significantly improving lossy compression quality based on an optimized hybrid prediction model · SC 2019
Hardware reliability and fault tolerance
soft errors
0.412019
FT-iSort: efficient fault tolerance for introsort · SC 2019
Algorithms and data structures › sequence algorithms
sorting
0.412019
FT-iSort: efficient fault tolerance for introsort · SC 2019
High-performance computing › numerical linear algebra
matrix factorization
0.312018
Fault tolerant one-sided matrix decompositions on heterogeneous systems with GPUs · SC 2018
High-performance computing
fast fourier transform
0.312017
Correcting soft errors online in fast fourier transform · SC 2017
Hardware reliability and fault tolerance › error resilience
online fault tolerance
0.312017
Correcting soft errors online in fast fourier transform · SC 2017
Hardware reliability and fault tolerance › soft errors
soft error detection
0.312017
Correcting soft errors online in fast fourier transform · SC 2017
Energy-efficient computing
energy-efficient software
0.212016
GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing · SC 2016
Machine learning › Deep learning architectures and training
convolutional neural network
0.112021
FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks · IEEE Trans. Parallel Distributed Syst. 2021
Hardware accelerators and domain-specific architectures › machine learning accelerator › DNN inference
CNN inference
0.112021
FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks · IEEE Trans. Parallel Distributed Syst. 2021
High-performance computing
data transfer
0.112021
Resilient error-bounded lossy compressor for data transfer · SC 2021
Hardware accelerators and domain-specific architectures
machine learning accelerator
0.112021
FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks · IEEE Trans. Parallel Distributed Syst. 2021
Storage systems
data compression
0.112020
Significantly Improving Lossy Compression for HPC Datasets with Second-Order Prediction and Parameter Optimization · HPDC 2020
Storage systems
data reduction
0.112019
Significantly improving lossy compression quality based on an optimized hybrid prediction model · SC 2019
Parallel and multicore computing › parallel algorithms › sorting
parallel sorting
0.112019
FT-iSort: efficient fault tolerance for introsort · SC 2019
Distributed systems
fault tolerance
0.112018
Fault tolerant one-sided matrix decompositions on heterogeneous systems with GPUs · SC 2018
High-performance computing
linear algebra library
0.112016
GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing · SC 2016

Methods — techniques the papers use, named apart from their topics

error detection and correction · 1.5checksum-based fault tolerance · 1.0triple modular redundancy · 0.8XOR-based re-execution · 0.8independent-block-wise compression · 0.5second-order prediction · 0.4regression · 0.4parameter optimization · 0.4lorenzo predictor · 0.4adaptive predictor selection · 0.4
YearPublicationVenuePosition
2026 RWKVSR: Receptance Weighted Key-Value Network for Hyperspectral Image Super-Resolution
abstract
Deep learning has achieved significant success in hyperspectral image super-resolution (HSISR) by leveraging advanced feature extraction techniques to reconstruct high-resolution images from low-resolution counterparts. However, existing methods predominantly utilize 2D/3D convolutions or Transformer architectures, which are often hindered by limited receptive fields, quadratic computational complexity, and inadequate fusion of spatial-spectral dependencies. To address these challenges, this paper proposes RWKVSR, a novel lightweight network that integrates a Receptance Weighted Key-Value (RWKV) architecture for efficient HSISR. The proposed RWKVSR comprises of three key components: (1) A linear-complexity RWKV module replacing quadratic self-attention, enabling efficient global spectral-spatial modeling; (2) A Spectral-Spatial Residual Module (SSRM) employing anisotropic, direction-separable 3D convolutions to hierarchically extract multi-scale features while enhancing local-global interactions; and (3) A Hyperspectral Frequency Loss (HFL) optimizing spectral consistency by prioritizing high-frequency structural alignment between reconstructed and ground-truth images in the frequency domain. Extensive experiments conducted on the CAVE and Harvard datasets demonstrate that RWKVSR outperforms the existing state-of-the-art methods, effectively balancing accuracy and efficiency, and providing a practical solution for high-quality HSI reconstruction. Our paper code is publicly available at https://github.com/backy-1/RWKVSR.git.
Xiaofei Yang 0002, Sihuan Li, Weijia Cao, Yifang Ban, Yicong Zhou
IEEE Trans. Circuits Syst. Video Technol.2
2023 SZ3: A Modular Framework for Composing Prediction-Based Error-Bounded Lossy Compressors
abstract
Today's scientific simulations require a significant reduction of data volume because of extremely large amounts of data they produce and the limited I/O bandwidth and storage space. Error-bounded lossy compression has been considered one of the most effective solutions to the above problem. In practice, however, the best-fit compression method often needs to be customized or optimized in particular because of diverse characteristics in different datasets and various user requirements on the compression quality and performance. In this paper, we address this issue with a novel modular, composable compression framework named SZ3. Our contributions are four-folds. (1) We develop SZ3 which features an innovative modular abstraction for the prediction-based compression framework, such that compression modules can be plugged in easily to create new compressors based on characteristics of data and user requirements. (2) We create a new compression pipeline by SZ3 for GAMESS data, which significantly improves the compression ratios over state-of-the-art compressors. (3) We develop an adaptive compression pipeline by SZ3 for APS data with minimal efforts, which leads to the best rate-distortion among all existing error-bounded lossy compressors for any bit-rate. (4) We compare the sustainability of SZ3 with leading error-bounded prediction-based compressors, and then demonstrate the necessity of diverse pipelines by integrating and evaluating several compression pipelines on diverse scientific datasets from multiple disciplines. Experiments show that SZ3 incurs very limited overhead in compressor integration and our customized compression pipelines lead to up to 20% improvement in compression ratios under the same data distortion, when compared with the best existing approach.
Xin Liang 0001, Kai Zhao 0008, Sheng Di, Sihuan Li, Robert Underwood, Ali Murat Gok, Jiannan Tian, Junjing Deng, Jon Calhoun 0001, Dingwen Tao, Zizhong Chen, Franck Cappello
IEEE Trans. Big Data4
2022 Efficient Soft-Error Detection for Low-precision Deep Learning Recommendation Models
abstract
Soft error, namely silent corruption of signal or datum in a computer system, cannot be caverlierly ignored as compute and communication density grow exponentially. Soft error detection has been studied in the context of enterprise computing, high-performance computing and more recently in convolutional neural networks related to autonomous driving.Deep learning recommendation systems (DLRMs) have by now become ubiquitous and serve billions of users per day. Nevertheless, DLRM-specific soft error detection methods are hitherto missing. To fill the gap, this paper presents the first set of soft-error detection methods for low-precision quantized-arithmetic operators in DLRM including general matrix multiplication (GEMM) and EmbeddingBag. A practical method must detect error and do so with low overhead lest reduced inference speed degrades user experience. Exploiting the characteristics of both quantized arithmetic and the operators, we achieved more than 95% detection accuracy for GEMM with an overhead below 20%. For EmbeddingBag, we achieved 99% effectiveness in significant-bit-flips detection with less than 10% of false positives, while keeping overhead below 26%.
Sihuan Li, Ping Tak Peter Tang, Daya Shanker Khudia, Jongsoo Park, Harish Dattatraya Dixit, Zizhong Chen
IEEE Big Data1
2021 Improving Lossy Compression for SZ by Exploring the Best-Fit Lossless Compression Techniques
abstract
In the past decades, various lossy compressors have been studied broadly due to the ever-increasing volume of data being produced by today’s scientific applications. SZ has been one of the best error-bounded lossy compressors ever raised, and it has a flexible framework that includes four adjustable steps: prediction, quantization, variable-length encoding, and lossless compression. In this paper, we improve the lossy compression performances of the SZ compression model by exploring different existing lossless compression techniques using the Squash data compression benchmark. Specifically, we first characterize the bytes outputted by the first three steps in SZ, then we investigate the best lossless compressor with different datasets and different error bounds. We perform our exploration by testing 8 widely used lossless compressors under different configurations together with SZ over five well-known scientific simulation datasets. Our experiments show that adopting the best-fit lossless compressor selected based on our analysis can improve the overall compression speed by up to 40% compared to the previous lossless compression technique used in SZ with the comparable quality of reconstructed data.
Jinyang Liu 0003, Sihuan Li, Sheng Di, Xin Liang 0001, Kai Zhao 0008, Dingwen Tao, Zizhong Chen, Franck Cappello
IEEE BigData2
2021 Resilient error-bounded lossy compressor for data transfer
abstract
Today's exa-scale scientific applications or advanced instruments are producing vast volumes of data, which need to be shared/transferred through the network/devices with relatively low bandwidth (e.g., data sharing on WAN or transferring from edge devices to supercomputers). Lossy compression is one of the candidate strategies to address the big data issue. However, little work was done to make it resilient against silent errors, which may happen during the stage of compression or data transferring. In this paper, we propose a resilient error-bounded lossy compressor based on the SZ compression framework. Specifically, we design a new independent-block-wise model that decomposes the entire dataset into many independent sub-blocks to compress. Then, we design and implement a series of error detection/correction strategies elaboratively for each stage of SZ. Our method is arguably the first algorithm-based fault tolerance (ABFT) solution for lossy compression. Our proposed solution incurs negligible execution overhead in the fault-free situation. Upon soft errors happening, it ensures decompressed data strictly bounded within user's requirement with a very limited degradation of compression ratio and low overhead.
Sihuan Li, Sheng Di, Kai Zhao 0008, Xin Liang 0001, Zizhong Chen, Franck Cappello
SC1
2021 FT-CNN: Algorithm-Based Fault Tolerance for Convolutional Neural Networks
abstract
Convolutional neural networks (CNNs) are becoming more and more important for solving challenging and critical problems in many fields. CNN inference applications have been deployed in safety-critical systems, which may suffer from soft errors caused by high-energy particles, high temperature, or abnormal voltage. Of critical importance is ensuring the stability of the CNN inference process against soft errors. Traditional fault tolerance methods are not suitable for CNN inference because error-correcting code is unable to protect computational components, instruction duplication techniques incur high overhead, and existing algorithm-based fault tolerance (ABFT) techniques cannot protect all convolution implementations. In this article, we focus on how to protect the CNN inference process against soft errors as efficiently as possible, with the following three contributions. (1) We propose several systematic ABFTschemes based on checksum techniques and analyze their fault protection ability and runtime thoroughly. Unlike traditional ABFT based on matrix-matrix multiplication, our schemes support any convolution implementations. (2) We design a novel workflow integrating all the proposed schemes to obtain a high detection/correction ability with limited total runtime overhead. (3) We perform our evaluation using ImageNet with well-known CNN models including AlexNet, VGG-19, ResNet-18, and YOLOv2. Experimental results demonstrate that our implementation can handle soft errors with very limited runtime overhead (4%~8% in both error-free and error-injected situations).
Kai Zhao 0008, Sheng Di, Sihuan Li, Xin Liang 0001, Jieyang Chen, Kaiming Ouyang, Franck Cappello, Zizhong Chen
IEEE Trans. Parallel Distributed Syst.3
2020 SDRBench: Scientific Data Reduction Benchmark for Lossy Compressors
abstract
Efficient error-controlled lossy compressors are becoming critical to the success of today's large-scale scientific applications because of the ever-increasing volume of data produced by the applications. In the past decade, many lossless and lossy compressors have been developed with distinct design principles for different scientific datasets in largely diverse scientific domains. In order to support researchers and users assessing and comparing compressors in a fair and convenient way, we establish a standard compression assessment benchmark - Scientific Data Reduction Benchmark (SDRBench)1. SDRBench contains a vast variety of real-world scientific datasets across different domains, summarizes several critical compression quality evaluation metrics, and integrates many state-of-the-art lossy and lossless compressors. We demonstrate evaluation results using SDRBench and summarize six valuable takeaways that are helpful to the in-depth understanding of lossy compressors.
Kai Zhao 0008, Sheng Di, Xin Liang 0001, Sihuan Li, Dingwen Tao, Julie Bessac, Zizhong Chen, Franck Cappello
IEEE BigData4
2020 Towards End-to-end SDC Detection for HPC Applications Equipped with Lossy Compression
abstract
Data reduction techniques have been widely demanded and used by large-scale high performance computing (HPC) applications because of vast volumes of data to be produced and stored for post-analysis. Due to very limited compression ratios of lossless compressors, error-bounded lossy compression has become an indispensable part in many HPC applications nowadays, because it can significantly reduce science data volume with user-acceptable data distortion. Since the large-scale HPC applications equipped with lossy compression techniques always need to deal with vast volume of data, soft errors or silent data corruptions (SDC) are non-negligible. Although SDC detection techniques have been studied for years, no studies were performed toward the HPC applications with lossy compression, leaving a significant gap between these applications and confidence of execution results. To fill this gap, this paper proposes a couple of SDC detection strategies for scientific simulations with lossy compression. Experimental results on 4 widely used scientific simulation datasets show promising detection ability could be still obtained with two popular lossy compressors. Our parallel experiments with up to 1,024 cores confirm that the time overheads could be limited within 7.9%.
Sihuan Li, Sheng Di, Kai Zhao 0008, Xin Liang 0001, Zizhong Chen, Franck Cappello
CLUSTER1
2020 Significantly Improving Lossy Compression for HPC Datasets with Second-Order Prediction and Parameter Optimization
abstract
Today's extreme-scale high-performance computing (HPC) applications are producing volumes of data too large to save or transfer because of limited storage space and I/O bandwidth. Error-bounded lossy compression has been commonly known as one of the best solutions to the big science data issue, because it can significantly reduce the data volume with strictly controlled data distortion based on user requirements. In this work, we develop an adaptive parameter optimization algorithm integrated with a series of optimization strategies for SZ, a state-of-the-art prediction-based compression model. Our contribution is threefold. (1) We exploit effective strategies by using 2nd-order regression and 2nd-order Lorenzo predictors to improve the prediction accuracy significantly for SZ, thus substantially improving the overall compression quality. (2) We design an efficient approach selecting the best-fit parameter setting, by conducting a comprehensive priori compression quality analysis and exploiting an efficient online controlling mechanism. (3) We evaluate the compression quality and performance on a supercomputer with 4,096 cores, as compared with other state-of-the-art error-bounded lossy compressors. Experiments with multiple real-world HPC simulations datasets show that our solution can improve the compression ratio up to 46% compared with the second-best compressor. Moreover, the parallel I/O performance is improved by up to 40% thanks to the significant reduction of data size.
Kai Zhao 0008, Sheng Di, Xin Liang 0001, Sihuan Li, Dingwen Tao, Zizhong Chen, Franck Cappello
HPDC4
2019 Improving Performance of Data Dumping with Lossy Compression for Scientific Simulation
abstract
Because of the ever-increasing data being produced by today's high performance computing (HPC) scientific simulations, I/O performance is becoming a significant bottleneck for their executions. An efficient error-controlled lossy compressor is a promising solution to significantly reduce data writing time for scientific simulations running on supercomputers. In this paper, we explore how to optimize the data dumping performance for scientific simulation by leveraging error-bounded lossy compression techniques. The contributions of the paper are threefold. (1) We propose a novel I/O performance profiling model that can effectively represent the I/O performance with different execution scales and data sizes, and optimize the estimation accuracy of data dumping performance using least square method. (2) We develop an adaptive lossy compression framework that can select the bestfit compressor (between two leading lossy compressors SZ and ZFP) with optimized parameter settings with respect to overall data dumping performance. (3) We evaluate our adaptive lossy compression framework with up to 32k cores on a supercomputer facilitated with fast I/O systems and using real-world scientific simulation datasets. Experiments show that our solution can mostly always lead the data dumping performance to the optimal level with very accurate selection of the bestfit lossy compressor and settings. The data dumping performance can be improved by up to 27% at different scales.
Xin Liang 0001, Sheng Di, Dingwen Tao, Sihuan Li, Bogdan Nicolae, Zizhong Chen, Franck Cappello
CLUSTER4
2019 TSM2: optimizing tall-and-skinny matrix-matrix multiplication on GPUs
abstract
Linear algebra operations have been widely used in big data analytics and scientific computations. Many works have been done on optimizing linear algebra operations on GPUs with regular-shaped input. However, few works are focusing on fully utilizing GPU resources when the input is not regular-shaped. Current optimizations lack of considering fully utilizing the memory bandwidth and computing power, therefore they could only achieve sub-optimal performance. In this paper, we propose a performant tall-and-skinny matrix-matrix multiplication algorithm on GPUs - TSM2. It focuses on optimizing linear algebra operation with none regular-shaped input. We implement the proposed algorithm and test on three different Nvidia GPU micro-architectures: Kepler, Maxwell, and Pascal. Experiments show that our TSM2 speedups the computation by 1.1x - 3x, improves memory bandwidth utilization by 8% - 47.6%, and improves computing power utilization by 7% - 37.3% comparing to the current state-of-the-art works. We replace the original matrix operations in K-means and Algorithm-Bases Fault Tolerance (ABFT) with TSM2 and achieve up to 1.89x and 1.90x speed up.
Jieyang Chen, Nan Xiong, Xin Liang 0001, Dingwen Tao, Sihuan Li, Kaiming Ouyang, Kai Zhao 0008, Nathan DeBardeleben, Qiang Guan, Zizhong Chen
ICS5
2019 FT-iSort: efficient fault tolerance for introsort
abstract
Introspective sorting is a ubiquitous sorting algorithm which underlies many large scale distributed systems. Hardware-mediated soft errors can result in comparison and memory errors, and thus cause introsort to generate incorrect output, which in turn disrupts systems built upon introsort; hence, it is critical to incorporate fault tolerance capability within introsort. This paper proposes the first theoretically-sound, practical fault tolerant introsort with negligible overhead: FT-iSort. To tolerate comparison errors, we use minimal TMR protection via exploiting the properties of the effects of soft errors on introsort. This algorithm-based selective protection incurs far less overhead than naïve TMR protection designed to protect an entire application. To tolerate memory errors that escape DRAM error correcting code, we propose XOR-based re-execution. We incorporate our fault tolerance method into the well-known parallel sorting implementation HykSort, and we find that fault tolerant HykSort incurs negligible overhead and obtains nearly the same scalability as unprotected HykSort.
Sihuan Li, Hongbo Li 0006, Xin Liang 0001, Jieyang Chen, Elisabeth Giem, Kaiming Ouyang, Kai Zhao 0008, Sheng Di, Franck Cappello, Zizhong Chen
SC1
2019 Significantly improving lossy compression quality based on an optimized hybrid prediction model
abstract
With the ever-increasing volumes of data produced by today's large-scale scientific simulations, error-bounded lossy compression techniques have become critical: not only can they significantly reduce the data size but they also can retain high data fidelity for postanalysis. In this paper, we design a strategy to improve the compression quality significantly based on an optimized, hybrid prediction model. Our contribution is fourfold. (1) We propose a novel, transform-based predictor and optimize its compression quality. (2) We significantly improve the coefficient-encoding efficiency for the data-fitting predictor. (3) We propose an adaptive framework that can select the best-fit predictor accurately for different datasets. (4) We evaluate our solution and several existing state-of-the-art lossy compressors by running real-world applications on a supercomputer with 8,192 cores. Experiments show that our adaptive compressor can improve the compression ratio by 112~165% compared with the second-best compressor. The parallel I/O performance is improved by about 100% because of the significantly reduced data size. The total I/O time is reduced by up to 60X with our compressor compared with the original I/O time.
Xin Liang 0001, Sheng Di, Sihuan Li, Dingwen Tao, Bogdan Nicolae, Zizhong Chen, Franck Cappello
SC3
2018 Optimizing Lossy Compression with Adjacent Snapshots for N-body Simulation Data
abstract
Today's N-body simulations are producing extremely large amounts of data. The Hardware/Hybrid Accelerated Cosmology Code (HACC), for example, may simulate trillions of particles, producing tens of petabytes of data to store in a parallel file system, according to the HACC users. In this paper, we design and implement an efficient, in situ error-bounded lossy compressor to significantly reduce the data size for N-body simulations. Not only can our compressor save significant storage space for N-body simulation researchers, but it can also improve the I/O performance considerably with limited memory and computation overhead. Our contribution is threefold. (1) We propose an efficient data compression model by leveraging the consecutiveness of the cosmological data in both space and time dimensions as well as the physical correlation across different fields. (2) We propose a lightweight, efficient alignment mechanism to align the disordered particles across adjacent snapshots in the simulation, which is a fundamental step in the whole compression procedure. We also optimize the compression quality by exploring best-fit data prediction strategies and optimizing the frequencies of the space-based compression vs. time-based compression. (3) We evaluate our compressor using both a cosmological simulation package and molecular dynamics simulation data-two major categories in the N-body simulation domain. Experiments show that under the same distortion of data, our solution produces up to 43% higher compression ratios on the velocity field and up to 300% higher on the position field than do other state-of-the-art compressors (including SZ, ZFP, NUMARCK, and decimation). With our compressor, the overall I/O time on HACC data is reduced by up to 20% compared with the second-best compressor.
Sihuan Li, Sheng Di, Xin Liang 0001, Zizhong Chen, Franck Cappello
IEEE BigData1
2018 Error-Controlled Lossy Compression Optimized for High Compression Ratios of Scientific Datasets
abstract
Today's scientific simulations require a significant reduction of the data size because of extremely large volumes of data they produce and the limitation of storage bandwidth and space. If the compression is set to reach a high compression ratio, however, the reconstructed data are often distorted too much to tolerate. In this paper, we explore a new compression strategy that can effectively control the data distortion when significantly reducing the data size. The contribution is threefold. (1) We propose an adaptive compression framework to select either our improved Lorenzo prediction method or our optimized linear regression method dynamically in different regions of the dataset. (2) We explore how to select them accurately based on the data features in each block to obtain the best compression quality. (3) We analyze the effectiveness of our solution in details using four real-world scientific datasets with 100+ fields. Evaluation results confirm that our new adaptive solution can significantly improve the rate distortion for the lossy compression with fairly high compression ratios. The compression ratio of our compressor is 1.5X~8X as high as that of two other leading lossy compressors (SZ and ZFP) with the same peak single-to-noise ratio (PSNR), in the high-compression cases. Parallel experiments with 8,192 cores and 24 TB of data shows that our solution obtains 1.86X dumping performance and 1.95X loading performance compared with the second-best lossy compressor, respectively.
Xin Liang 0001, Sheng Di, Dingwen Tao, Sihuan Li, Shaomeng Li, Hanqi Guo 0001, Zizhong Chen, Franck Cappello
IEEE BigData4
2018 COMPI: Concolic Testing for MPI Applications
abstract
MPI is widely used as the bedrock of HPC applications, but there are no effective systematic software testing techniques for MPI programs. In this paper we develop COMPI, the first practical concolic testing tool for MPI applications. COMPI tackles two major challenges. First, it provides an automated testing tool for MPI programs - it performs concolic execution on a single process and records branch coverage across all. Infusing MPI semantics such as MPI rank and MPI_COMM_WORLD into COMPI enables it to automatically direct testing with various processes' executions as well as automatically determine the total number of processes used in the testing. Second, COMPI employs three techniques to effectively control the cost of testing as too high a cost may prevent its adoption. By capping input values, COMPI is made practical as too large an input can make the testing extremely slow and sometimes even fail as memory needed could exceed the computing platform's memory limit. With two-way instrumentation, we reduce the unnecessary memory and I/O overhead of COMPI and the target program. With constraint set reduction, COMPI keeps significantly fewer constraints by removing redundant ones in the presence of loops so as to avoid redundant tests against these branches. Our evaluation of COMPI uncovered four new bugs in a complex application and achieved 69-86% branch coverage which far exceeds the 1.8-38% coverage achieved via random testing.
Hongbo Li 0006, Sihuan Li, Zachary Benavides, Zizhong Chen, Rajiv Gupta 0001
IPDPS2
2018 Fault tolerant one-sided matrix decompositions on heterogeneous systems with GPUs
Jieyang Chen, Hongbo Li 0006, Sihuan Li, Xin Liang 0001, Panruo Wu, Dingwen Tao, Kaiming Ouyang, Yuanlai Liu, Kai Zhao 0008, Qiang Guan, Zizhong Chen
SC3
2017 Correcting soft errors online in fast fourier transform
abstract
While many algorithm-based fault tolerance (ABFT) schemes have been proposed to detect soft errors offline in the fast Fourier transform (FFT) after computation finishes, none of the existing ABFT schemes detect soft errors online before the computation finishes. This paper presents an online ABFT scheme for FFT so that soft errors can be detected online and the corrupted computation can be terminated in a much more timely manner. We also extend our scheme to tolerate both arithmetic errors and memory errors, develop strategies to reduce its fault tolerance overhead and improve its numerical stability and fault coverage, and finally incorporate it into the widely used FFTW library - one of the today's fastest FFT software implementations. Experimental results demonstrate that: (1) the proposed online ABFT scheme introduces much lower overhead than the existing offline ABFT schemes; (2) it detects errors in a much more timely manner; and (3) it also has higher numerical stability and better fault coverage.
Xin Liang 0001, Jieyang Chen, Dingwen Tao, Sihuan Li, Panruo Wu, Hongbo Li 0006, Kaiming Ouyang, Yuanlai Liu, Fengguang Song, Zizhong Chen
SC4
2016 GPU-ABFT: Optimizing Algorithm-Based Fault Tolerance for Heterogeneous Systems with GPUs
abstract
For matrix operations, the algorithm-based fault tolerance (ABFT) brings much lower fault tolerance overhead than the traditional Triple Modular Redundancy or Double Modular Redundancy approaches. Many works have been done to develop and optimize ABFT schemes on general purpose microprocessors. However, the ABFT schemes on heterogeneous systems with GPUs are not fully developed and optimized. Moreover, existing ABFT schemes can correct computing errors brings by the logic parts, however, many memory storage errors cannot be detected and corrected by current ABFT schemes. In this work, we designed a new ABFT scheme with both computing and memory storage protection. Then, we apply it to Cholesky decomposition on heterogeneous systems with GPUs. In addition, we develop several fault tolerance overhead reduction techniques specifically for heterogeneous systems with GPUs accelerators. Experimental results show that our ABFT scheme is able to correct both computing error and memory storage error with low overhead and comparable overall performance.
Jieyang Chen, Sihuan Li, Zizhong Chen
NAS2
2016 GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing
abstract
While many linear algebra libraries have been developed to optimize their performance, no linear algebra library considers their energy efficiency at the library design time. In this paper, we present GreenLA - an energy efficient linear algebra software package that leverages linear algebra algorithmic characteristics to maximize energy savings with negligible overhead. GreenLA is (1) energy efficient: it saves up to several times more energy than the best existing energy saving approaches that do not modify library source codes; (2) high performance: its performance is comparable to the highly optimized linear algebra library MAGMA; and (3) transparent to applications: with the same programming interface, existing MAGMA users do not need to modify their source codes to benefit from GreenLA. Experimental results demonstrate that GreenLA is able to save up to three times more energy than the best existing energy saving approaches while delivering similar performance compared to the state-of-the-art linear algebra library MAGMA.
Jieyang Chen, Panruo Wu, Dingwen Tao, Hongbo Li 0006, Xin Liang 0001, Sihuan Li, Rong Ge 0002, Laxmi N. Bhuyan, Zizhong Chen
SC7