Dong Wang

PhD Student, Institude of Software, Chinese Academy of Sciences
wangdong18@otcaix.iscas.ac.cn

I am a 5th-year PhD student in ISCAS. I work with Prof. Jun Wei and Prof. Wensheng Dou.

My research interests include, but not limited to program analysis, testing and verification in distributed system.

I got my bachelor degree in Wuhan University in 2018.

Publications

2023

Model Checking Guided Testing for Distributed Systems
Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang
18th ACM SIGOPS European Conference on Computer Systems (EuroSys 2023)

Coverage Guided Fault Injection for Cloud Systems
Yu Gao, Wensheng Dou, Dong Wang, Wenhan Feng, Jun Wei, Hua Zhong, Tao Huang
45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)

Detecting Isolation Bugs via Transaction Oracle Construction
Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao, Wei Wang, Jun Wei, Lei Chen, Hanmo Wang, Hua Zhong, Tao Huang
45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)

2022

DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems
Dong Wang, Yu Gao, Wensheng Dou, Jun Wei
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2022).

Common Data Guided Crash Injection for Cloud Systems
Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei
44th ACM/IEEE International Conference on Software Engineering (ICSE Demo 2022).

Detecting Crash Recovery Bugs in Cloud Systems via Common Data Analysis
Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei
Journal of Software (软件学报 2022).

Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, Jun Wei
31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022).

2020

CoFI: Consistency-Guided Fault Injection for Cloud Systems
Haicheng Chen, Wensheng Dou, Dong Wang, Feng Qin
35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020).

Detecting Cache-Related Bugs in Spark Applications
Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, Hua Zhong
29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020).

2018

An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018).
ACM SIGSOFT Distinguished Paper Award