Static memory leak detection using full-sparse value-flow analysis Y Sui, D Ye, J Xue Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 168 | 2012 |
Detecting memory leaks statically with full-sparse value-flow analysis Y Sui, D Ye, J Xue IEEE Transactions on Software Engineering 40 (2), 107-122, 2014 | 131 | 2014 |
Open MS/MS spectral library search to identify unanticipated post-translational modifications and increase spectral identification rate D Ye, Y Fu, RX Sun, HP Wang, ZF Yuan, H Chi, SM He Bioinformatics 26 (12), i399-i406, 2010 | 91 | 2010 |
Accelerating dynamic detection of uses of undefined values with static value-flow analysis D Ye, Y Sui, J Xue Proceedings of Annual IEEE/ACM International Symposium on Code Generation …, 2014 | 47 | 2014 |
Parallel pointer analysis with CFL-reachability Y Su, D Ye, J Xue 2014 43rd International Conference on Parallel Processing, 451-460, 2014 | 45 | 2014 |
DeltAMT: a statistical algorithm for fast detection of protein modifications from LC-MS/MS data Y Fu, LY Xiu, W Jia, D Ye, RX Sun, XH Qian, SM He Molecular & Cellular Proteomics 10 (5), 2011 | 42 | 2011 |
Automatic parallelization of tiled loop nests with enhanced fine-grained parallelism on GPUs P Di, D Ye, Y Su, Y Sui, J Xue 2012 41st International Conference on Parallel Processing, 350-359, 2012 | 36 | 2012 |
Wpbound: Enforcing spatial memory safety efficiently at runtime with weakest preconditions D Ye, Y Su, Y Sui, J Xue 2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014 | 30 | 2014 |
Eliminating redundant bounds checks in dynamic buffer overflow detection using weakest preconditions Y Sui, D Ye, Y Su, J Xue IEEE Transactions on Reliability 65 (4), 1682-1699, 2016 | 23 | 2016 |
An efficient GPU implementation of inclusion-based pointer analysis Y Su, D Ye, J Xue, XK Liao IEEE Transactions on Parallel and Distributed Systems 27 (2), 353-366, 2015 | 19 | 2015 |
Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems Y Su, D Ye, J Xue 20th Annual International Conference on High Performance Computing, 149-158, 2013 | 19 | 2013 |
Region-based may-happen-in-parallel analysis for C programs P Di, Y Sui, D Ye, J Xue 2015 44th International Conference on Parallel Processing, 889-898, 2015 | 13 | 2015 |
vBench: A micro-benchmark for File-I/O performance of virtual machines P Yuan, H Jin, D Ye, W Cao, Y Yan, X Xie 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), 168-173, 2009 | 1 | 2009 |
Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis D Ye UNSW Sydney, 2015 | | 2015 |