Lian Li - RankMe

40 papers A* 9A 6B 7C 1Journal 10Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification. Proc. ACM Program. Lang. Chenghang Shi, Dongjie He, Haofeng Li, Jie Lu, Lian Li, Jingling Xue
2025	A*	`conf`	Module-Aware Context Sensitive Pointer Analysis. ICSE Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao
2025	—	`conf`	SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web Applications. Internetware Haining Meng, Jie Lu, Yongheng Huang, Lian Li
2025	J	`jnl`	VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-object Typestate Analysis. Proc. ACM Softw. Eng. Liqing Cao, Haofeng Li, Chenghang Shi, Jie Lu, Haining Meng, Lian Li, Jingling Xue
2024	B	`conf`	AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation. ICECCS Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao
2024	A	`conf`	Better Not Together: Staged Solving for Context-Free Language Reachability. ISSTA Chenghang Shi, Haofeng Li, Jie Lu, Lian Li
2024	J	`jnl`	Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers. Proc. ACM Program. Lang. Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue
2024	A	`conf`	Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations. CGO Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao
2024	A*	`conf`	Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications. CCS Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li
2024	A*	`conf`	File Hijacking Vulnerability: The Elephant in the Room. NDSS Chendong Yu, Yang Xiao, Jie Lu, Yuekang Li, Yeting Li, Lian Li, Yifan Dong, Jian Wang, Jingyi Shi, Defang Bo, Wei Huo
2024	J	`jnl`	Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis. IEEE Trans. Software Eng. Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, Chenxi Cui
2024	J	`jnl`	Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving. IEEE Trans. Software Eng. Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue
2023	A*	`conf`	Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. ASE Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue
2022	J	`jnl`	CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement. IEEE Trans. Software Eng. Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling Xue
2022	A*	`conf`	Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems. CCS Jie Lu, Haofeng Li, Chen Liu, Lian Li, Kun Cheng
2022	—	`conf`	Generic sensitivity: customizing context-sensitive pointer analysis for generics. ESEC/SIGSOFT FSE Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao
2021	A*	`conf`	Detecting TensorFlow Program Bugs in Real-World Industrial Environment. ASE Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue
2021	C	`conf`	Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution. APSEC Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun Zhang
2021	A	`conf`	GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. CGO Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, Jingling Xue
2021	A	`conf`	Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing. CGO Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao
2019	A*	`conf`	CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis. SOSP Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Yang, Liang You
2019	A*	`conf`	Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. ASE Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue
2019	A	`conf`	Understanding Node Change Bugs for Distributed Systems. SANER Jie Lu, Liu Chen, Lian Li, Xiaobing Feng
2018	—	`conf`	CloudRaid: hunting concurrency bugs in the cloud via log-mining. ESEC/SIGSOFT FSE Jie Lu, Feng Li, Lian Li, Xiaobing Feng
2018	A	`conf`	May-happen-in-parallel analysis with static vector clocks. CGO Qing Zhou, Lian Li, Lei Wang, Jingling Xue, Xiaobing Feng
2018	A*	`conf`	Understanding and detecting evolution-induced compatibility issues in Android apps. ASE Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue
2017	B	`conf`	Dynamic symbolic execution for polymorphism. CC Lian Li, Yi Lu, Jingling Xue
2013	J	`jnl`	SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution. IEEE Trans. Computers Lin Gao, Lian Li, Jingling Xue, Pen-Chung Yew
2010	J	`jnl`	Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. ACM Trans. Embed. Comput. Syst. Lian Li, Jingling Xue, Jens Knoop
2009	J	`jnl`	Compiler-directed scratchpad memory management via graph coloring. ACM Trans. Archit. Code Optim. Lian Li, Hui Feng, Jingling Xue
2009	B	`conf`	Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction. CC Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai
2008	B	`conf`	Thread-Sensitive Modulo Scheduling for Multicore Processors. ICPP Lin Gao, Quan Hoang Nguyen, Lian Li, Jingling Xue, Tin-Fook Ngai
2007	B	`conf`	Loop recreation for thread-level speculation. ICPADS Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai
2007	—	`—`	Scratch-pad memory management for static data aggregates. Lian Li
2007	B	`conf`	Scratchpad allocation for data aggregates in superperfect graphs. LCTES Lian Li, Quan Hoang Nguyen, Jingling Xue
2007	—	`conf`	Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation. Asia-Pacific Computer Systems Architecture Conference Lian Li, Hui Wu, Hui Feng, Jingling Xue
2007	J	`jnl`	Trace-based leakage energy optimisations at link time. J. Syst. Archit. Lian Li, Jingling Xue
2006	—	`conf`	Trace-Based Data Cache Leakage Reduction at Link Time. Asia-Pacific Computer Systems Architecture Conference Lian Li, Jingling Xue
2005	—	`conf`	Memory Coloring: A Compiler Approach for Scratchpad Memory Management. IEEE PACT Lian Li, Lin Gao, Jingling Xue
2004	B	`conf`	A trace-based binary compilation framework for energy-aware computing. LCTES Lian Li, Jingling Xue