PUBLICATIONS
publications by categories in reverse chronological order.
2026
- ICSE ’26Configuration-Sensitive Linux Kernel FuzzingIn Proceedings of the International Conference on Software Engineering (ICSE) 2026to appear
- EuroSys ’26Effective On-Hardware Fuzzing of Embedded Operating SystemsIn Proceedings of the European Conference on Computer Systems (EuroSys) 2026to appear
2025
- ASE ’25PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux KernelProceedings of the ACM on Software Engineering 2025
- TOSEM ’25SnapCC: Effective File System Consistency Testing Using Systematic State ExplorationACM Transactions on Software Engineering and Methodology 2025
- DAC ’25DROIDFUZZ: Proprietary Driver Fuzzing for Embedded Android DevicesIn Proceedings of the 62nd ACM/IEEE Design Automation Conference (DAC) 2025
- ICSE ’25SUNFLOWER: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed GenerationIn Proceedings of the IEEE/ACM 47th International Conference on Software Engineering (ICSE) 2025
- SANER ’25DragonRadar: Fuzzing Linux Kernel Deployed in Cloud-Native EnvironmentIn 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) 2025
- TECS ’25Directed Real-time Linux Fuzzing with Configuration AwarenessACM Transactions on Embedded Computing Systems 2025
2024
- TOSEM ’24Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access ProceduresACM Transactions on Software Engineering and Methodology 2024
- FSE ’24When Fuzzing Meets LLMs: Challenges and OpportunitiesIn Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE ’24 Companion) 2024
- EuroSys ’24Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized ProgramIn Proceedings of the Nineteenth European Conference on Computer Systems (EuroSys ’24) 2024
- S&P ’24Saturn: Host-Gadget Synergistic USB Driver FuzzingIn Proceedings of the 2024 IEEE Symposium on Security and Privacy (S&P ’24) 2024
- TCAD ’24ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus GenerationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2024
- ISSTA ’24Enhancing ROS System Fuzzing through Callback TracingIn Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’24) 2024
- FSE ’24CVEcenter: Industry Practice of Automated Vulnerability Management for Linux Distribution CommunityIn Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE ’24 Companion) 2024
- CCS ’24Leveraging Binary Coverage for Effective Generation Guidance in Kernel FuzzingIn Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (CCS ’24) 2024
- ASE ’24Industry Practice of Directed Kernel Fuzzing for Open-source Linux DistributionIn Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE ’24) 2024
- DAC ’24Effectively Sanitizing Embedded Operating SystemsIn Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC ’24) 2024
- SANER ’24PatchBert: Continuous Stable Patch Identification for Linux Kernel via Pre-trained Model Fine-tuningIn Proceedings of the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER ’24) 2024
2023
- RTSS ’23Brief Industry Paper: Directed Kernel Fuzz Testing on Real-Time LinuxIn Proceedings of the 2023 IEEE Real-Time Systems Symposium (RTSS ’23) 2023
2022
- USENIX ATC ’22KSG: Augmenting Kernel Fuzzing with System Call Specification GenerationIn Proceedings of the 2022 USENIX Annual Technical Conference (USENIX ATC ’22) 2022
- ESEC/FSE ’22Industry Practice of Configuration Auto-Tuning for Cloud Applications and ServicesIn Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’22) 2022
- TCAD ’22Tardis: Coverage-Guided Embedded Operating System FuzzingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2022
2021
- TECS ’21Rtkaller: State-Aware Task Generation for RTOS FuzzingACM Transactions on Embedded Computing Systems 2021
- SOSP ’21Healer: Relation Learning Guided Kernel FuzzingIn Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP ’21) 2021