| 2025 | ICSE | Module-Aware Context Sensitive Pointer Analysis. | Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao |
| 2024 | CCS | Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications. | Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li |
| 2024 | CGO | Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations. | Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao |
| 2024 | ICECCS | AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation. | Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao |
| 2024 | ISSTA | Better Not Together: Staged Solving for Context-Free Language Reachability. | Chenghang Shi, Haofeng Li, Jie Lu, Lian Li |
| 2024 | NDSS | File Hijacking Vulnerability: The Elephant in the Room. | Chendong Yu, Yang Xiao, Jie Lu, Yuekang Li, Yeting Li, Lian Li, Yifan Dong, Jian Wang, Jingyi Shi, Defang Bo, Wei Huo |
| 2022 | CCS | Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems. | Jie Lu, Haofeng Li, Chen Liu, Lian Li, Kun Cheng |
| 2021 | APSEC | Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution. | Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun Zhang |
| 2021 | CGO | Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing. | Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao |
| 2021 | CGO | GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. | Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, Jingling Xue |
| 2019 | FPGA | How to Accelerate FPGA Application in an Asynchronous Way? | Anping He, Jinlin Zhang, Lvying Yu, Pengfei Li, Lian Li |
| 2019 | ISI | Information Hiding in OOXML Format Data based on the Splitting of Text Elements. | Wenjie Guo, Li Yang, Yonggang Lu, Yi Yang, Lian Li, Zongli Liu |
| 2019 | ISI | Text Watermarking for OOXML Format Documents Based on Color Transformation. | Li Yang, Wenjie Guo, Yonggang Lu, Yi Yang, Lian Li, Zongli Liu |
| 2019 | SOSP | 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 |
| 2018 | CGO | May-happen-in-parallel analysis with static vector clocks. | Qing Zhou, Lian Li, Lei Wang, Jingling Xue, Xiaobing Feng |
| 2018 | CISIS | μC/OS-II Based RTOS Kernel. | Lian Li, Xianchen Shi |
| 2018 | HCI | Building an Ontology for Eldercare Service in China with a Hierarchical Clustering Method. | Ning An, Yue Yin, Huisheng Shi, Peng Han, Shi Cheng, Lian Li |
| 2018 | ICPR | A Selective Tracking and Detection Framework with Target Enhanced Feature. | Xinyao Ding, Lian Li, Xin Zhang |
| 2018 | IJCNN | Hand Gesture Recognition and Real-time Game Control Based on A Wearable Band with 6-axis Sensors. | Yande Li, Taiqian Wang, Aamir Khan, Lian Li, Caihong Li, Yi Yang, Li Liu |
| 2018 | QRS | A FPGA Based SAT Solver with High Random and Concurrent Strategies. | Anping He, Lvying Yu, Haitao Zhang, Lian Li, Jinzhao Wu |
| 2017 | APSEC | Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection. | Xingming Wu, Lian Li, Jian Zhang |
| 2017 | CC | Dynamic symbolic execution for polymorphism. | Lian Li, Yi Lu, Jingling Xue |
| 2017 | ICMV | Researches of fruit quality prediction model based on near infrared spectrum. | Yulin Shen, Lian Li |
| 2016 | GLOBECOM | Multi-Channel MAC Protocol: Spectrum Penetration Method for Vehicular Ad Hoc Networks. | Zhou Jia, Cailian Chen, Lian Li, Xinping Guan |
| 2016 | ICCD | Memos: A full hierarchy hybrid memory management framework. | Lei Liu, Hao Yang, Yong Li, Mengyao Xie, Lian Li, Chenggang Wu |
| 2015 | ACII | Harmony search for feature selection in speech emotion recognition. | Yongsen Tao, Kunxia Wang, Jing Yang, Ning An, Lian Li |
| 2014 | UIC | Network Traffic Prediction Based on LSSVM Optimized by PSO. | Yi Yang, Yanhua Chen, Caihong Li, Xiangquan Gui, Lian Li |
| 2013 | CLOSER | An HPC Application Deployment Model on Azure Cloud for SMEs. | Fan Ding, Dieter an Mey, Sandra Wienke, Ruisheng Zhang, Lian Li |
| 2013 | CLOSER | A Study on Today's Cloud Environments for HPC Applications. | Fan Ding, Dieter an Mey, Sandra Wienke, Ruisheng Zhang, Lian Li |
| 2013 | ICFEM | Path-Sensitive Data Flow Analysis Simplified. | Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li |
| 2011 | PAKDD | A Partial Correlation-Based Bayesian Network Structure Learning Algorithm under SEM. | Jing Yang, Lian Li |
| 2009 | CC | Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction. | Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai |
| 2009 | CCGRID | Domain-Specific Groupware Environment for E-research on Chemistry. | Dongmei Yue, Ruisheng Zhang, Chen Zhao, Ruipeng Wei, Lian Li |
| 2009 | FAW | Heuristics for Mobile Object Tracking Problem in Wireless Sensor Networks. | Li Liu, Hao Li, Junling Wang, Lian Li, Caihong Li |
| 2009 | ICDM | GRAPE: A Graph-Based Framework for Disambiguating People Appearances in Web Search. | Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li |
| 2009 | PEPM | Program analysis for bug detection using parfait: invited talk. | Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz |
| 2009 | WWW | Two birds with one stone: a graph-based framework for disambiguating and tagging people names in web search. | Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li |
| 2008 | APSCC | Extending BPEL2.0 for Grid-Based Scientific Workflow Systems. | Huajian Zhang, Xiaoliang Fan, Ruisheng Zhang, Jiazao Lin, Zhili Zhao, Lian Li |
| 2008 | CW | Implementing of Gaussian Syntax-Analyzer Using ANTLR. | Sanxian Liu, Ruisheng Zhang, Dongyun Wang, Huarong Sun, Ying Chen, Lian Li |
| 2008 | GPC | Workflow Technology for Drug Discovery. | Liangying Luo, Ruisheng Zhang, Chunyan Zhang, Xiaoliang Fan, Lian Li |
| 2008 | ICPP | Thread-Sensitive Modulo Scheduling for Multicore Processors. | Lin Gao, Quan Hoang Nguyen, Lian Li, Jingling Xue, Tin-Fook Ngai |
| 2007 | COMPSAC | A Study on Distributed Resource Information Service in Grid System. | Jiuyuan Huo, Liqun Liu, Li Liu, Yi Yang, Lian Li |
| 2007 | FAW | A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
| 2007 | ICPADS | Loop recreation for thread-level speculation. | Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai |
| 2007 | SNPD | Selection of the Order of Autoregressive Models for Host Load Prediction in Grid. | Jiuyuan Huo, Liqun Liu, Li Liu, Yi Yang, Lian Li |
| 2006 | APSCC | Using Ant Colony Optimization for SuperScheduling in Computational Grid. | Li Liu, Yi Yang, Lian Li, Wanbing Shi |
| 2006 | APSCC | MICE: An Efficient Grid Scheme for Mathematical Computing. | Yi Yang, Li Liu, Lian Li, Zhenfang Li, Rui Zhou |
| 2006 | APWEB | A Framework and Survey of Knowledge Discovery Services on the OGSA-DAI. | Jian Zhan, Lian Li |
| 2006 | ICNC | Simulation for Interactive Markov Chains. | Xiying Zhao, Lian Li, Jinzhao Wu |
| 1993 | ISSAC | The Regular Problem and Green Equivalences for Special Monoids. | Jinzhao Wu, Lian Li |