Memory coloring: A compiler approach for scratchpad memory management L Li, L Gao, J Xue 14th International Conference on Parallel Architectures and Compilation …, 2005 | 160 | 2005 |
Boosting the performance of flow-sensitive points-to analysis using value flow L Li, C Cifuentes, N Keynes Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 119 | 2011 |
Understanding and detecting evolution-induced compatibility issues in android apps D He, L Li, L Wang, H Zheng, G Li, J Xue Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 84 | 2018 |
BegBunch: Benchmarking for C bug detection tools C Cifuentes, C Hoermann, N Keynes, L Li, S Long, E Mealy, M Mounteney, ... Proceedings of the 2nd International Workshop on Defects in Large Software …, 2009 | 67 | 2009 |
Context-sensitive analysis framework using value flows L Li, CN Cifuentes, NRA Keynes US Patent 8,516,443, 2013 | 58 | 2013 |
Precise and scalable context-sensitive pointer analysis via value flow graph L Li, C Cifuentes, N Keynes ACM SIGPLAN Notices 48 (11), 85-96, 2013 | 55 | 2013 |
Compiler-directed scratchpad memory management via graph coloring L Li, H Feng, J Xue ACM Transactions on Architecture and Code Optimization (TACO) 6 (3), 1-17, 2009 | 54 | 2009 |
Method and system for performing backward-driven path-sensitive dataflow analysis NRA Keynes, CN Cifuentes, L Li US Patent 8,893,102, 2014 | 52 | 2014 |
Practical and effective symbolic analysis for buffer overflow detection L Li, C Cifuentes, N Keynes Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 51 | 2010 |
SEED: A statically greedy and dynamically adaptive approach for speculative loop execution L Gao, L Li, J Xue, PC Yew IEEE Transactions on Computers 62 (5), 1004-1016, 2012 | 46 | 2012 |
Path-sensitive analysis framework for bug checking L Li, CN Cifuentes US Patent 9,189,318, 2015 | 40 | 2015 |
Principle and practice of taint analysis 王蕾, 李丰, 李炼, 冯晓兵 Journal of Software 28 (4), 860-882, 2017 | 38 | 2017 |
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis J Lu, C Liu, L Li, X Feng, F Tan, J Yang, L You Proceedings of the 27th ACM Symposium on Operating Systems Principles, 114-130, 2019 | 36 | 2019 |
Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis D He, H Li, L Wang, H Meng, H Zheng, J Liu, S Hu, L Li, J Xue 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 35 | 2019 |
CloudRaid: hunting concurrency bugs in the cloud via log-mining J Lu, F Li, L Li, X Feng Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 34 | 2018 |
Scratchpad allocation for data aggregates in superperfect graphs L Li, QH Nguyen, J Xue Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages …, 2007 | 33 | 2007 |
Transitioning Parfait into a development tool C Cifuentes, N Keynes, L Li, N Hawes, M Valdiviezo IEEE Security & Privacy 10 (3), 16-23, 2012 | 31 | 2012 |
GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs T Yuan, G Li, J Lu, C Liu, L Li, J Xue 2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021 | 30 | 2021 |
Memos: A full hierarchy hybrid memory management framework L Liu, H Yang, Y Li, M Xie, L Li, C Wu 2016 IEEE 34th International Conference on Computer Design (ICCD), 368-371, 2016 | 25 | 2016 |
Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs L Li, J Xue, J Knoop ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-42, 2011 | 23 | 2011 |