Ding YE

Research Associate

School of Computer Science and Engineering

The University of New South Wales

Sydney, NSW 2052, Australia

Research Interests

I am working on some projects developing static and dynamic program analysis techniques for concurrency error detections.

During my PhD studies, my research was focused on software engineering and high performance computing. My PhD thesis is available here.

I did research in bioinformatics during my Master's degree studies.

Publications

An Efficient GPU Implementation of Inclusion-based Pointer Analysis.
Yu Su, Ding Ye, Jingling Xue and Xiangke Liao.
IEEE Transactions on Parallel and Distributed Systems (TPDS '15 To Appear).

WPBound: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.
Ding Ye, Yu Su, Yulei Sui and Jingling Xue.
In 25th IEEE International Symposium on Software Reliability Engineering (ISSRE '14).

Parallel Pointer Analysis with CFL-Reachability.
Yu Su, Ding Ye and Jingling Xue.
2014 International Conference on Parallel Processing (ICPP '14).

Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis.
Yulei Sui, Ding Ye and Jingling Xue.
IEEE Transactions on Software Engineering (TSE '14).

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis.
Ding Ye, Yulei Sui and Jingling Xue.
2014 International Symposium on Code Generation and Optimization (CGO '14).

Accelerating Inclusion-based Pointer Analysis on Heterogeneous CPU-GPU Systems.
Yu Su, Ding Ye and Jingling Xue.
2013 IEEE International Conference on High Performance Computing (HiPC '13).

Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis.
Yulei Sui, Ding Ye and Jingling Xue.
2012 International Symposium on Software Testing and Analysis (ISSTA '12).

Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs.
Peng Di, Ding Ye, Yu Su, Yulei Sui and Jingling Xue.
2012 International Conference on Parallel Processing (ICPP '12).


Previous publications (Bioinformatics):

Towards Fully Identifying a Benchmark Dataset of Tandem mass Spectra with an Integrated Modification Discovery Pipeline.
Yan Fu and Ding Ye.
59th ASMS Conference on Mass Spectrometry and Allied Topics (ASMS '11).

DeltAMT: a statistical algorithm for fast detection of protein modifications from LC-MS/MS data.
Yan Fu, Liyun Xiu, Wei Jia, Ding Ye, Ruixiang Sun, Xiaohong Qian, Simin He.
Molecular & Cellular Proteomics, 10(5):M110.000455, 2011.

Open MS/MS Spectral Library Search to Identify Unanticipated Post-Translational Modifications and Increase Spectral Identification Rate.
Ding Ye, Yan Fu, Ruixiang Sun, Haipeng Wang, Zuofei Yuan, Hao Chi and Simin He.
18th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB '10). Also appears in Bioinformatics, 26(12):i399-i406, 2010.

Education

2011-2015: PhD @ The University of New South Wales

2008-2011: Master @ Institute of Computing Technology, Chinese Academy of Sciences

2004-2008: Bachelor @ Huazhong University of Science and Technology