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
1462005
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
802011
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
502009
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
452009
Context-sensitive analysis framework using value flows
L Li, CN Cifuentes, NRA Keynes
US Patent 8,516,443, 2013
402013
Method and system for performing backward-driven path-sensitive dataflow analysis
NRA Keynes, CN Cifuentes, L Li
US Patent 8,893,102, 2014
372014
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
372013
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
362010
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
342012
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
322007
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
252018
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
212011
Transitioning Parfait into a development tool
C Cifuentes, N Keynes, L Li, N Hawes, M Valdiviezo
IEEE Security & Privacy 10 (3), 16-23, 2012
192012
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
172016
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
152007
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
122009
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
112013
Points-to analysis using value flow
L Li, CN Cifuentes, NRA Keynes
US Patent 8,473,927, 2013
102013
Loop recreation for thread-level speculation
L Gao, L Li, J Xue, TF Ngai
2007 International Conference on Parallel and Distributed Systems, 1-10, 2007
102007
Dynamic symbolic execution for polymorphism
L Li, Y Lu, J Xue
Proceedings of the 26th International Conference on Compiler Construction …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20