Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
CloudRaid: hunting concurrency bugs in the cloud via log-mining
Published in ESEC/FSE, 2018
Download here
Understanding Node Change Bugs for Distributed Systems
Published in SANER, 2019
Download here
AgamottoEye: Recovering Request Flow for Cloud Systems via Log Analysis
Published in Journal of Computer Science Research, 2019
Download here
Log analysis for distributed systems and its application
Published in Chinese High Technology Letters, 2019
Download here
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis
Published in SOSP, 2019
Download here
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement
Published in TSE, 2020
Download here
Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing
Published in CGO, 2021
Download here
GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs
Published in CGO, 2021
Download here
Detecting TensorFlow Program Bugs in Real-World Industrial Environment
Published in ASE, 2021
Download here
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution
Published in APSEC, 2021
Download here
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Published in ESEC/FSE, 2022
Download here
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.
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.