Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis
Sui, Yulei, Ye, Ding, Xue, Jingling
Published in IEEE transactions on software engineering (01.02.2014)
Published in IEEE transactions on software engineering (01.02.2014)
Get full text
Journal Article
The Reliability Wall for Exascale Supercomputing
Yang, Xuejun, Wang, Zhiyuan, Xue, Jingling, Zhou, Yun
Published in IEEE transactions on computers (01.06.2012)
Published in IEEE transactions on computers (01.06.2012)
Get full text
Journal Article
Durable Address Translation in PCM-Based Flash Storage Systems
Duo Liu, Kan Zhong, Tianzheng Wang, Yi Wang, Zili Shao, Sha, Edwin Hsing-Mean, Jingling Xue
Published in IEEE transactions on parallel and distributed systems (01.02.2017)
Published in IEEE transactions on parallel and distributed systems (01.02.2017)
Get full text
Journal Article
Query-directed adaptive heap cloning for optimizing compilers
Sui, Yulei, Li, Yue, Xue, Jingling
Published in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (23.02.2013)
Published in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (23.02.2013)
Get full text
Conference Proceeding
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions
Sui, Yulei, Ye, Ding, Su, Yu, Xue, Jingling
Published in IEEE transactions on reliability (01.12.2016)
Published in IEEE transactions on reliability (01.12.2016)
Get full text
Journal Article
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely
Jie Liu, Yue Li, Tian Tan, Jingling Xue
Published in 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) (01.10.2017)
Published in 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) (01.10.2017)
Get full text
Conference Proceeding
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning
Chen, Juan, Tang, Yuhua, Dong, Yong, Xue, Jingling, Wang, Zhiyuan, Zhou, Wenhao
Published in IEEE transactions on computers (01.08.2016)
Published in IEEE transactions on computers (01.08.2016)
Get full text
Journal Article
An Efficient GPU Implementation of Inclusion-Based Pointer Analysis
Su, Yu, Ye, Ding, Xue, Jingling, Liao, Xiang-Ke
Published in IEEE transactions on parallel and distributed systems (01.02.2016)
Published in IEEE transactions on parallel and distributed systems (01.02.2016)
Get full text
Journal Article
SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution
Gao, Lin, Li, Lian, Xue, Jingling, Yew, Pen-Chung
Published in IEEE transactions on computers (01.05.2013)
Published in IEEE transactions on computers (01.05.2013)
Get full text
Journal Article
Region-Based May-Happen-in-Parallel Analysis for C Programs
Di, Peng, Sui, Yulei, Ye, Ding, Xue, Jingling
Published in 2015 44th International Conference on Parallel Processing (01.09.2015)
Published in 2015 44th International Conference on Parallel Processing (01.09.2015)
Get full text
Conference Proceeding
Journal Article
Parallel Pointer Analysis with CFL-Reachability
Yu Su, Ding Ye, Jingling Xue
Published in 2014 43rd International Conference on Parallel Processing (01.09.2014)
Published in 2014 43rd International Conference on Parallel Processing (01.09.2014)
Get full text
Conference Proceeding
Design and Implementation of a Highly Efficient DGEMM for 64-Bit ARMv8 Multi-core Processors
Wang, Feng, Jiang, Hao, Zuo, Ke, Su, Xing, Xue, Jingling, Yang, Canqun
Published in 2015 44th International Conference on Parallel Processing (01.09.2015)
Published in 2015 44th International Conference on Parallel Processing (01.09.2015)
Get full text
Conference Proceeding
Journal Article
Enhanced Peripheral Nerve Regeneration by a High Surface Area to Volume Ratio of Nerve Conduits Fabricated from Hydroxyethyl Cellulose/Soy Protein Composite Sponges
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
Published in ACS omega (30.11.2017)
Published in ACS omega (30.11.2017)
Get full text
Journal Article
WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
Ding Ye, Yu Su, Yulei Sui, Jingling Xue
Published in 2014 IEEE 25th International Symposium on Software Reliability Engineering (01.11.2014)
Published in 2014 IEEE 25th International Symposium on Software Reliability Engineering (01.11.2014)
Get full text
Conference Proceeding
Comparison of quantum dots immunofluorescence histochemistry and conventional immunohistochemistry for the detection of caveolin-1 and PCNA in the lung cancer tissue microarray
Chen, Honglei, Xue, Jingling, Zhang, Yuxia, Zhu, Xiaobo, Gao, Jun, Yu, Baoping
Published in Journal of molecular histology (01.08.2009)
Published in Journal of molecular histology (01.08.2009)
Get full text
Journal Article
Contention-Aware Scheduling for Asymmetric Multicore Processors
Fan, Xiaokang, Sui, Yulei, Xue, Jingling
Published in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) (01.12.2015)
Published in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) (01.12.2015)
Get full text
Conference Proceeding
Journal Article
RegTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities
Feng Zhang, Peng Di, Hao Zhou, Xiangke Liao, Jingling Xue
Published in 2016 45th International Conference on Parallel Processing (ICPP) (01.08.2016)
Published in 2016 45th International Conference on Parallel Processing (ICPP) (01.08.2016)
Get full text
Conference Proceeding