Publications     |    Awards     |    Research
Yu Gao    Yu Gao (高 钰)
    PostDoc
    Email: gaoyu15 @ otcaix.iscas.ac.cn
              gaoyu @ iscas.ac.cn
    Technology Center of Software Engineering (TCSE)
    Institute of Software Chinese Academy of Sciences (ISCAS)

    CV: [pdf]    

Education

  • 09/2017~07/2022, Institute of Software Chinese Academy of Sciences, PhD student in Software Engineering under the supervision of Prof. Jun Wei and Prof. Wensheng Dou
  • 09/2015~09/2017, Institute of Software Chinese Academy of Sciences, Master student in Software Engineering under the supervision of Prof. Jun Wei and Prof. Wensheng Dou
  • 09/2010~09/2014, Nankai University, Bachelor diploma of Software Engineering

Research

  • Research Interests : Software Reliability, Program Analysis, Software Engineering. My research mainly focuses on improving the reliability of distributed systems, especially for the reliability of fault tolerance procotols of distributed systems.

Publications

  1. Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction [pdf | bib]
    Jiansen Song, Wensheng Dou, Yu Gao, Ziyu Cui, Yingying Zheng, Dong Wang, Wei Wang, Jun Wei, Tao Huang,
    In proceedings of the 50th International Conference on Very Large Data Bases (VLDB 2024).
  2. Understanding Transaction Bugs in Database Systems [pdf | bib]
    Ziyu Cui, Wensheng Dou, Yu Gao, Dong Wang, Jiansen Song, Yingying Zheng, Tao Wang, Rui Yang, Kang Xu, Yixin Hu, Jun Wei, Tao Huang,
    In proceedings of the 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024).
  3. FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems [pdf | bib]
    Wenhan Feng, Qiugen Pei, Yu Gao, Dong, Wang, Wensheng Dou, Jun Wei, Zheheng Liang, Zhenyue Long,
    In proceedings of the 46th IEEE/ACM International Conference on Software Engineering (ICSE Demo 2024).
  4. Testing Raft Systems Based on TLA+ Formal Specification (基于TLA+形式化规约的Raft系统测试) [pdf | bib]
    Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang,
    Journal of Software (软件学报), 2024.
  5. Model Checking Guided Testing for Distributed Systems [pdf | bib]
    Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang,
    In proceedings of the 18th European Conference on Computer Systems (EuroSys 2023).
  6. Coverage Guided Fault Injection for Cloud Systems [pdf | bib]
    Yu Gao, Wensheng Dou, Dong Wang, Wenhan Feng, Jun Wei, Hua Zhong, Tao Huang,
    In proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023).
  7. Detecting Isolation Bugs via Transaction Oracle Construction [pdf | bib]
    Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao, Wei Wang, Jun Wei, Lei Chen, Hanmo Wang, Hua Zhong, Tao Huang,
    In proceedings of the 45th IEEE/ACM International Conference on Software Engineering (ICSE 2023).
  8. Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing [pdf | bib]
    Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, Jun Wei,
    In proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022).
  9. DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems [pdf | bib]
    Dong Wang, Yu Gao, Wensheng Dou, Jun Wei,
    In proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2022).
  10. Common Data Guided Crash Injection for Cloud Systems [pdf | video | bib]
    Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei,
    In proceedings of the 44th ACM/IEEE International Conference on Software Engineering (ICSE Demo 2022).
  11. Common Data Guided Crash Recovery Bug Detection for Distributed Systems(共用数据导向的分布式系统失效恢复缺陷检测)
    Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei,
    Journal of Software (软件学报), 2022.
  12. Detecting Cache-Related Bugs in Spark Applications [pdf | bib]
    Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, Hua Zhong,
    In proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020).
  13. Detecting Atomicity Violations for Event-Driven Node.js Applications [pdf | bib]
    Xiaoning Chang, Wensheng Dou, Yu Gao, Jie Wang, Jun Wei, Tao Huang,
    In proceedings of the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019).
  14. An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems [pdf | bib]
    Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu,
    In proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018).
    Code/data: CREB
    Won ACM SIGSOFT Distinguished Paper Award
  15. Context-Based Event Trace Reduction in Client-Side JavaScript Applications [pdf | bib]
    Jie Wang, Wensheng Dou, Chushu Gao, Yu Gao, Jun Wei,
    In proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (ICST 2018).
  16. A Comprehensive Study on Real World Concurrency Bugs in Node.js [pdf | bib]
    Jie Wang,Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Jun Wei,
    In proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017).

Awards

  • Excellent Doctoral Dissertation of Chinese Academy of Sciences (2023)
  • Outstanding Graduate of University of Chinese Academy of Sciences (2022)
  • President's Fellowship of Chinese Academy of Sciences (2019)
  • National Scholarship (2017, 2018)