Lian Li

According to our database, Lian Li authored at least 29 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations.

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis.

Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement.

Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling Xue

IEEE Trans. Software Eng., 2022

Generic sensitivity: customizing context-sensitive pointer analysis for generics.

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems.

Jie Lu, Haofeng Li, Chen Liu, Lian Li, Kun Cheng

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Detecting TensorFlow Program Bugs in Real-World Industrial Environment.

Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs.

Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, Jingling Xue

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing.

Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution.

Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun Zhang

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2019

Understanding Node Change Bugs for Distributed Systems.

Jie Lu, Liu Chen, Lian Li, Xiaobing Feng

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis.

Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Yang, Liang You

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis.

Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

CloudRaid: hunting concurrency bugs in the cloud via log-mining.

Jie Lu, Feng Li, Lian Li, Xiaobing Feng

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Understanding and detecting evolution-induced compatibility issues in Android apps.

Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

May-happen-in-parallel analysis with static vector clocks.

Qing Zhou, Lian Li, Lei Wang, Jingling Xue, Xiaobing Feng

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017

Dynamic symbolic execution for polymorphism.

Lian Li, Yi Lu, Jingling Xue

Proceedings of the 26th International Conference on Compiler Construction, 2017

2013

SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution.

Lin Gao, Lian Li, Jingling Xue, Pen-Chung Yew

IEEE Trans. Computers, 2013

2010

Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs.

Lian Li, Jingling Xue, Jens Knoop

ACM Trans. Embed. Comput. Syst., 2010

2009

Compiler-directed scratchpad memory management via graph coloring.

Lian Li, Hui Feng, Jingling Xue

ACM Trans. Archit. Code Optim., 2009

Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.

Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Thread-Sensitive Modulo Scheduling for Multicore Processors.

Lin Gao, Quan Hoang Nguyen, Lian Li, Jingling Xue, Tin-Fook Ngai

Proceedings of the 2008 International Conference on Parallel Processing, 2008

2007

Scratch-pad memory management for static data aggregates.

Lian Li

PhD thesis, 2007

Trace-based leakage energy optimisations at link time.

Lian Li, Jingling Xue

J. Syst. Archit., 2007

Scratchpad allocation for data aggregates in superperfect graphs.

Lian Li, Quan Hoang Nguyen, Jingling Xue

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Loop recreation for thread-level speculation.

Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation.

Lian Li, Hui Wu, Hui Feng, Jingling Xue

Proceedings of the Advances in Computer Systems Architecture, 2007

2006

Trace-Based Data Cache Leakage Reduction at Link Time.

Lian Li, Jingling Xue

Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

2005

Memory Coloring: A Compiler Approach for Scratchpad Memory Management.

Lian Li, Lin Gao, Jingling Xue

Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques (PACT 2005), 2005

2004

A trace-based binary compilation framework for energy-aware computing.

Lian Li, Jingling Xue

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004