Search Results - "Xue, Jingling"

Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis by Sui, Yulei, Ye, Ding, Xue, Jingling

“…We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to…”
Get full text

The Reliability Wall for Exascale Supercomputing by Yang, Xuejun, Wang, Zhiyuan, Xue, Jingling, Zhou, Yun

“…Reliability is a key challenge to be understood to turn the vision of exascale supercomputing into reality. Inevitably, large-scale supercomputing systems,…”
Get full text

Predicting Cross-Core Performance Interference on Multicore Processors with Regression Analysis by Zhao, Jiacheng, Cui, Huimin, Xue, Jingling, Feng, Xiaobing

“…Despite their widespread adoption in cloud computing, multicore processors are heavily under-utilized in terms of computing resources. To avoid the potential…”
Get full text

Durable Address Translation in PCM-Based Flash Storage Systems by Duo Liu, Kan Zhong, Tianzheng Wang, Yi Wang, Zili Shao, Sha, Edwin Hsing-Mean, Jingling Xue

“…Phase change memory (PCM) is a promising DRAM alternative because of its non-volatility, high density, low standby power and close-to-DRAM performance. These…”
Get full text

Query-directed adaptive heap cloning for optimizing compilers by Sui, Yulei, Li, Yue, Xue, Jingling

“…Andersen's pointer analysis becomes more precise when applied with full heap cloning but unscalable for large, heap-intensive programs. In contrast,…”
Get full text

Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions by Sui, Yulei, Ye, Ding, Su, Yu, Xue, Jingling

“…Spatial errors (e.g., buffer overflows) continue to be one of the dominant threats to software reliability and security in C/C++ programs. Presently, the…”
Get full text

VTensor: Using Virtual Tensors to Build a Layout-Oblivious AI Programming Framework by Yu, Feng, Zhao, Jia-Cheng, Cui, Hui-Min, Feng, Xiao-Bing, Xue, Jingling

“…Tensors are a popular programming interface for developing artificial intelligence (AI) algorithms. Layout refers to the order of placing tensor data in the…”
Get full text

Automatic Target Description File Generation by Geng, Hong-Na, Lyu, Fang, Zhong, Ming, Cui, Hui-Min, Xue, Jingling, Feng, Xiao-Bing

“…Agile hardware design is gaining increasing momentum and bringing new chips in larger quantities to the market faster. However, it also takes new challenges…”
Get full text

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely by Jie Liu, Yue Li, Tian Tan, Jingling Xue

“…Reflection, which is widely used in practice and abused by many security exploits, poses a significant obstacle to program analysis. Reflective calls can be…”
Get full text

An Efficient GPU Implementation of Inclusion-Based Pointer Analysis by Su, Yu, Ye, Ding, Xue, Jingling, Liao, Xiang-Ke

“…We present an efficient GPU implementation of Andersen's whole-program inclusion-based pointer analysis, a fundamental analysis on which many others are based,…”
Get full text

Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning by Chen, Juan, Tang, Yuhua, Dong, Yong, Xue, Jingling, Wang, Zhiyuan, Zhou, Wenhao

“…The key to reducing static energy in supercomputers is switching off their unused components. Routers are the major components of a supercomputer. Whether…”
Get full text

SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution by Gao, Lin, Li, Lian, Xue, Jingling, Yew, Pen-Chung

“…Research on compiler techniques for thread-level loop speculation has so far remained on studying its performance limits: loop candidates that are worthy of…”
Get full text

Region-Based May-Happen-in-Parallel Analysis for C Programs by Di, Peng, Sui, Yulei, Ye, Ding, Xue, Jingling

“…The C programming language continues to play an essential role in the development of system software. May-Happen-in-Parallel (MHP) analysis is the basis of…”
Get full text

Parallel Pointer Analysis with CFL-Reachability by Yu Su, Ding Ye, Jingling Xue

“…This paper presents the first parallel implementation of pointer analysis with Context-Free Language (CFL) reachability, an important foundation for supporting…”
Get full text

Design and Implementation of a Highly Efficient DGEMM for 64-Bit ARMv8 Multi-core Processors by Wang, Feng, Jiang, Hao, Zuo, Ke, Su, Xing, Xue, Jingling, Yang, Canqun

“…This paper presents the design and implementation of a highly efficient Double-precision General Matrix Multiplication (DGEMM) based on Open BLAS for 64-bit…”
Get full text

Optimally Maximizing Iteration-Level Loop Parallelism by Liu, Duo, Wang, Yi, Shao, Zili, Guo, Minyi, Xue, Jingling

“…Loops are the main source of parallelism in many applications. This paper solves the open problem of extracting the maximal number of iterations from a loop to…”
Get full text

Enhanced Peripheral Nerve Regeneration by a High Surface Area to Volume Ratio of Nerve Conduits Fabricated from Hydroxyethyl Cellulose/Soy Protein Composite Sponges by Zhao, Yanteng, Zhang, Qiang, Zhao, Lei, Gan, Li, Yi, Li, Zhao, Yanan, Xue, Jingling, Luo, Lihua, Du, Qiaoyue, Geng, Rongxin, Sun, Zhihong, Benkirane-Jessel, Nadia, Chen, Pu, Li, Yinping, Chen, Yun

“…Multichannel nerve guide conduits (MCNGCs) have been widely studied and exhibited outstanding nerve repair function. However, the effect of the geometric…”
Get full text

WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions by Ding Ye, Yu Su, Yulei Sui, Jingling Xue

“…Spatial errors (e.g., Buffer overflows) continue to be one of the dominant threats to software reliability and security in C/C++ programs. Presently, the…”
Get full text

Acyclic orientation graph coloring for software-managed memory allocation by Wang, Li, Xue, JingLing, Yang, XueJun

“…This paper presents a novel compiler algorithm,called acyclic orientation graph coloring（AOG coloring）,for managing data objects in software-managed memory…”
Get full text

Comparison of quantum dots immunofluorescence histochemistry and conventional immunohistochemistry for the detection of caveolin-1 and PCNA in the lung cancer tissue microarray by Chen, Honglei, Xue, Jingling, Zhang, Yuxia, Zhu, Xiaobo, Gao, Jun, Yu, Baoping

“…Luminescent semiconductor quantum dots (QDs) are a new class of fluorescent label with wide ranges of applications in cell imaging. In this study, we evaluated…”
Get full text