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
Jie Lu 陆杰
About me
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 FengESEC/FSE CCF-A, 2018
View
Understanding Node Change Bugs for Distributed Systems
Jie Lu, Liu Chen, Lian Li and Xiaobing FengSANER CCF-B, 2019
View
AgamottoEye: Recovering Request Flow for Cloud Systems via Log Analysis
Jie Lu, Feng Li, Lian liJournal of Computer Science Research, 2019
View
Log analysis for distributed systems and its application
Jie Lu, Feng li, Lian LiChinese High Technology Letters, 2019
View
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 YouSOSP CCF-A, 2019
View
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement
Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling XueTSE CCF-A, 2020
View
Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing
Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin GaoCGO CCF-A, 2021
View
GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs
Ting Yuan, Guangwei Li, Jie Lu*, Chen Liu, Lian Li, Jingling XueCGO CCF-B, 2021
View
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 XueASE CCF-A, 2021
View
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution
Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun ZhangAPSEC CCF-C, 2021
View
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin GaoESEC/FSE CCF-A, 2022
View
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems
Jie Lu, Haofeng Li, Chen Liu, Lian li, Kun ChengBest Paper Honorable Mention, ACM CCS, CCF-A, 2022
View
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 XueASE CCF-A, 2023
View
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, lin GaoICECCS CCF-C, 2024
View
Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-sensitivity Optimizations
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin GaoCGO CCF-B, 2024
View
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. HuoNDSS CCF-A, 2024
View
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 CuiTSE CCF-A, 2024
View
Better Not Together: Staged Solving for Context-Free Language Reachability
Chenghang Shi, Haofeng Li, Jie Lu, Lian LiISSTA CCF-A, 2024
View
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling XueOOPSLA CCF-A, 2024
View
Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications
Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian LiCCS CCF-A, 2024
View
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 GongNDSS CCF-A, 2025
View
Module-Aware Context Sensitive Pointer Analysis
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan ZhaoICSE 25 CCF-A, 2025
View
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.
分布式系统崩溃恢复缺陷检测
Published:
Talk about CrashTuner In Chinese.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.