Follow
lian li
Title
Cited by
Cited by
Year
Memory coloring: A compiler approach for scratchpad memory management
L Li, L Gao, J Xue
14th International Conference on Parallel Architectures and Compilation …, 2005
1602005
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
1092011
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
822018
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
662009
Context-sensitive analysis framework using value flows
L Li, CN Cifuentes, NRA Keynes
US Patent 8,516,443, 2013
542013
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
532009
Method and system for performing backward-driven path-sensitive dataflow analysis
NRA Keynes, CN Cifuentes, L Li
US Patent 8,893,102, 2014
522014
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
502010
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
492013
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
432012
Path-sensitive analysis framework for bug checking
L Li, CN Cifuentes
US Patent 9,189,318, 2015
392015
Principle and practice of taint analysis
王蕾, 李丰, 李炼, 冯晓兵
Journal of Software 28 (4), 860-882, 2017
382017
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
332007
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
322019
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
302018
Transitioning Parfait into a development tool
C Cifuentes, N Keynes, L Li, N Hawes, M Valdiviezo
IEEE Security & Privacy 10 (3), 16-23, 2012
292012
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
262021
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
252011
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
242019
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
232016
The system can't perform the operation now. Try again later.
Articles 1–20