Ding Ye

According to our database1, Ding Ye authored at least 16 papers between 2005 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Blind detection of cyclostationary signals based on multi-antenna beamforming technology.
IET Commun., 2021

2016
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions.
IEEE Trans. Reliab., 2016

An Efficient GPU Implementation of Inclusion-Based Pointer Analysis.
IEEE Trans. Parallel Distributed Syst., 2016

A Motion Tracking and Sensor Fusion Module for Medical Simulation.
Proceedings of the Medicine Meets Virtual Reality 22 - NextMed, 2016

2015
Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis.
PhD thesis, 2015

Region-Based May-Happen-in-Parallel Analysis for C Programs.
Proceedings of the 44th International Conference on Parallel Processing, 2015

2014
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis.
IEEE Trans. Software Eng., 2014

WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Parallel Pointer Analysis with CFL-Reachability.
Proceedings of the 43rd International Conference on Parallel Processing, 2014

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013
Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems.
Proceedings of the 20th Annual International Conference on High Performance Computing, 2013

2012
Static memory leak detection using full-sparse value-flow analysis.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs.
Proceedings of the 41st International Conference on Parallel Processing, 2012

2010
Open MS/MS spectral library search to identify unanticipated post-translational modifications and increase spectral identification rate.
Bioinform., 2010

2009
vBench: A micro-benchmark for File - I/O performance of virtual machines.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

2005
An integrated 2D and 3D pipeline for independent filmmakers.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2005


  Loading...