•
Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
•
•
•
•
•
Page not in menu
This is a page not in th emain menu
•
•
•
Posts
•
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
•
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
•
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
•
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
•
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
funding
portfolio
•
Portfolio item number 1
Short description of portfolio item number 1
•
Portfolio item number 2
Short description of portfolio item number 2
publications
•
CloudRaid: hunting concurrency bugs in the cloud via log-mining
Jie Lu, Feng Li, Lian Li and Xiaobing Feng
ESEC/FSE, CCF-A, 2018
•
Understanding Node Change Bugs for Distributed Systems
Jie Lu, Liu Chen, Lian Li and Xiaobing Feng
SANER, CCF-B, 2019
•
AgamottoEye: Recovering Request Flow for Cloud Systems via Log Analysis
Jie Lu, Feng Li, Lian li
Journal of Computer Science Research, 2019
•
Log analysis for distributed systems and its application
Jie Lu, Feng li, Lian Li
Chinese High Technology Letters, 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
SOSP, CCF-A, 2019
•
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement
Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling Xue
TSE, CCF-A, 2020
•
Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing
Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao
CGO, CCF-B, 2021
•
GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs
Ting Yuan, Guangwei Li, Jie Lu*, Chen Liu, Lian Li, Jingling Xue
CGO, CCF-B, 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
ASE, CCF-A, 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
APSEC, CCF-C, 2021
•
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao
ESEC/FSE, CCF-A, 2022
•
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems
Jie Lu, Haofeng Li, Chen Liu, Lian li, Kun Cheng
Best Paper Honorable Mention, ACM CCS, CCF-A, 2022
•
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
ASE, CCF-A, 2023
•
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, lin Gao
ICECCS, CCF-C, 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
CGO, CCF-B, 2024
•
File Hijacking Vulnerability: The Elephant in the Room
Chendong Yu, Yang Xiao, Jie Lu, Yuekang Li , Yeting Li, L. Li, Y. Dong, J. Wang, J. Shi, D. Bo, W. Huo
NDSS, CCF-A, 2024
•
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, and ChenXi Cui
TSE, CCF-A, 2024
•
Better Not Together: Staged Solving for Context-Free Language Reachability
Chenghang Shi, Haofeng Li, Jie Lu, Lian Li
ISSTA, CCF-A, 2024
•
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue
OOPSLA, CCF-A, 2024
•
Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications
Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li
CCS, CCF-A, 2024
•
Sheep’s Clothing, Wolf’s Data: Detecting Server-Induced Client Vulnerabilities in Windows Remote IPC
Fangming Gu, Qingli Guo, Jie Lu, Qinghe Xie, Beibei Zhao, Kangjie Lu, Hong Li, and Xiaorui Gong
NDSS, CCF-A, 2025
•
Module-Aware Context Sensitive Pointer Analysis
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao
ICSE, CCF-A, 2025
•
SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web Applications
Haining Meng, Jie Lu, Yongheng Huang, Lian Li
Internetware, CCF-C, 2025
•
VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis
Liqing Cao, Haofeng Li, Chenghang Shi, Jie Lu, Haining Meng, Lian Li and Jingling Xue
ESEC/FSE, CCF-A, 2025
•
Understanding Real-World Vulnerabilities in Distributed Cloud Systems
Jie Lu, Lian Li
ChinaXiv, CCF-None, 2025
•
Reviving Discarded Vulnerabilities: Exploiting Previously Unexploitable Linux Kernel Bugs Through Control Metadata Fields
Hao Zhang, Jie Lu, Shaomin Chen, Tianshuo Han, Bolun Zhang, Jian Liu, Xiaorui Gong
ACM CCS, CCF-A, 2025
•
ZIPPER: Static Taint Analysis for PHP Applications with Precision and Efficiency
Xinyi Wang, Yeting Li, Jie Lu, Shizhe Cui, Chenghang Shi, Qin Mai, Yunpei Zhang, Yang Xiao, Feng Li, Wei Huo
USENIX Security, CCF-A, 2025
•
Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification
Chenghang Shi, Dongjie He, Haofeng Li, Jie Lu, Lian Li, and Jingling Xue
OOPSLA, CCF-A, 2025
•
Understanding Resource Injection Vulnerabilities in Kubernetes Ecosystems
Defang Bo, Jie Lu, Feng Li, Jingting Chen, Jinchen Wang, Chendong Yu, Wei Huo
ASE, CCF-A, 2025
•
LoopSCC: Summarizing Complex Multi-branch Nested Loops via Periodic Oscillation Interval
Kai Zhu, Haofeng Li, Kuihao Yan, Rongqing Wang, Jiaming Guo, Haoran Yang, Jie Lu, Lei Yu, Xiaoqi Jia, Chenkai Guo, Haichao Du, Qingjia Huang, Yamin Xie, Jing Tang
ICSE, CCF-A, 2025
•
Context-Free Language Reachability via Efficient Relation Chaining
Chenghang Shi, Haofeng Li, Jie Lu, Lian Li
OOPSLA, CCF-A, 2026
•
LifeFuzz: Lifecycle-Guided Fuzzing for Windows Driver Cross-Handler Vulnerabilities
Chendong Yu, Yuekang Li, Yang Xiao, Jie Lu, Yeting Li, Defang Bo, Wei Huo
EuroSys, CCF-A, 2026
•
SpecWeaver: End-to-End HTTP API Specification Inference Across Multi-Layer Routing in Production Web Services
Wenbo Hu, Jie Lu, Jingting Chen, Feng Li, Chenghang Shi, Xiaonan Shi, Jinchen Wang, Wei Huo
FSE, CCF-A, 2026
•
THESEUS: Smart Web Crawling via Resource-Guided Semantic Modeling
Yongheng Huang, Chenghang Shi, Wenxiao Yao, Jie Lu, Haofeng Li, Youlong Chen, Dong Liu, Mengna Ma, Yong Liu, Qinfen Hao, Lian Li
CCS, CCF-A, 2026
•
Tracing the Invisible: Semantic Message Flow Discovery via Data Contracts in Real-World Distributed Systems
Youlong Chen, Jie Lu, Mingtao Huang, Chenghang Shi, Yongheng Huang, Haofeng Li, Dong Liu, Mengna Ma, Yong Liu, Qinfen Hao, Lian Li
ASE, CCF-A, 2026
•
SHCRGuard: Security risk analysis of self-hosted CI/CD runners in GitHub Actions
Pengfei Shi, Jiaqi Huang, Yifan Xu, Jinfu Chen, Jie Lu, Fangyuan Qi, Hanzhong Peng, Huashan Chen, Feng Liu
JSS, CCF-B, 2026
•
Lights, Camera, Crash: Detecting Decoder Vulnerabilities in Video Conferencing Platforms
Xiangru Liu, Jie Lu, Qingli Guo, Fangming Gu, Yingli Sun, Yue Xie, Lian Li, Kangjie Lu, Baoxu Liu, Xiaoqi Jia
NDSS, CCF-A, 2027
•
Tool: Qoufflé: An Extensible Compiler from CodeQL to Soufflé Datalog
Mingtao Huang, Haofeng Li, Qihang Wan, Jie Lu, Lian Li, Jingling Xue
CGO, CCF-B, 2027
•
Level By Level: Practical Indirect Call Resolution for Stripped Binaries via On-Demand Multi-Layer Offset Analysis
Jian Wang, Chenghang Shi, Feng Li, Lanlan Zhan, Jinchen Wang, Jie Lu, Yiming Liu, Jianhua Zhou, Wenbo Hu, Yeting Li, Wei Huo
IEEE S&P, CCF-A, 2027
talks
•
CloudRaid: hunting concurrency bugs in the cloud via log-mining
Published:
Talk about CloudRaid at FSE2018.Download slides here.
•
Understanding Node Change Bugs for Distributed Systems
Published:
Talk about NCBugs.Download slides here.
•
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis
Published:
Task about CrashTuner at SOSP2019.Download slides here.
•
•
CrashTuner: Detecting Crash Recovery Bugs in Cloud Systems via Meta-info Analysis
Published:
Talk about CrashTuner at ChinaSys.Download slides here.
•
Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing
Published:
Talk about DiskDroid at CGO2021.Download slides here.
•
GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs
Published:
Talk about GoBench at CGO2021.Download slides here.
•
Detecting TensorFlow Program Bugs in Real-World Industrial Environment
Published:
Talk about ShapeTracer at ASE21.Download slides here.
teaching
•
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
•
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.