publications by categories in reverse chronological order.


  1. EMSOFT ’22
    Tardis: Coverage-Guided Embedded Operating System Fuzzing
    Yuheng, Shen, Yiru, Xu,  Hao, Sun, Jianzhong, Liu, Zichen, Xu, Aiguo, Cui, Heyuan, Shi, and Jiang, Yu
    ACM Trans. Embed. Comput. Syst. 2022
  2. ATC ’22
    KSG: Augmenting Kernel Fuzzing with System Call Specification Generation
    Hao, Sun, Yuheng, Shen, Jianzhong, Liu, Yiru, Xu, and Yu, Jiang
    In 2022 USENIX Annual Technical Conference (USENIX ATC 22) Jul 2022


  1. SOSP ’21
    HEALER: Relation Learning Guided Kernel Fuzzing
    Hao, Sun, Yuheng, Shen, Cong, Wang, Jianzhong, Liu, Yu, Jiang, Ting, Chen, and Aiguo, Cui
    In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles Jul 2021
  2. EMSOFT ’21
    Rtkaller: State-Aware Task Generation for RTOS Fuzzing
    Yuheng, Shen,  Hao, Sun, Yu, Jiang, Heyuan, Shi, Yixiao, Yang, and Wanli, Chang
    ACM Trans. Embed. Comput. Syst. Sep 2021


  1. ISSRE ’19
    Go-Sanitizer: Bug-Oriented Assertion Generation for Golang
    Cong, Wang,  Hao, Sun, Yiwen, Xu, Yu, Jiang, Huafeng, Zhang, and Ming, Gu
    In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Sep 2019