lian li
Cited by
Cited by
Memory coloring: A compiler approach for scratchpad memory management
L Li, L Gao, J Xue
14th International Conference on Parallel Architectures and Compilation …, 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
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
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
Context-sensitive analysis framework using value flows
L Li, CN Cifuentes, NRA Keynes
US Patent 8,516,443, 2013
Method and system for performing backward-driven path-sensitive dataflow analysis
NRA Keynes, CN Cifuentes, L Li
US Patent 8,893,102, 2014
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
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
Understanding and detecting evolution-induced compatibility issues in Android apps
D He, L Li, L Wang, H Zheng, G Li, J Xue
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
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
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
Transitioning Parfait into a development tool
C Cifuentes, N Keynes, L Li, N Hawes, M Valdiviezo
IEEE Security & Privacy 10 (3), 16-23, 2012
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
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
Towards data tiling for whole programs in scratchpad memory allocation
L Li, H Wu, H Feng, J Xue
Asia-Pacific Conference on Advances in Computer Systems Architecture, 63-74, 2007
Path-sensitive analysis framework for bug checking
L Li, CN Cifuentes
US Patent 9,189,318, 2015
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
Exploiting speculative TLP in recursive programs by dynamic thread prediction
L Gao, L Li, J Xue, TF Ngai
International Conference on Compiler Construction, 78-93, 2009
Dynamic symbolic execution for polymorphism
L Li, Y Lu, J Xue
Proceedings of the 26th International Conference on Compiler Construction …, 2017
Path-sensitive data flow analysis simplified
K Winter, C Zhang, IJ Hayes, N Keynes, C Cifuentes, L Li
International Conference on Formal Engineering Methods, 415-430, 2013
The system can't perform the operation now. Try again later.
Articles 1–20