| 2025 | EuroSys | Understanding the Linux Kernel, Visually. | Hanzhi Liu, Yanyan Jiang, Chang Xu |
| 2024 | ASPLOS | The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators. | Xianfei Ou, Cong Li, Yanyan Jiang, Chang Xu |
| 2023 | USENIX | The Hitchhiker's Guide to Operating Systems. | Yanyan Jiang |
| 2023 | SOSP | Validating JIT Compilers via Compilation Space Exploration. | Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su |
| 2022 | ICSE | Push-Button Synthesis of Watch Companions for Android Apps. | Cong Li, Yanyan Jiang, Chang Xu |
| 2021 | APSEC | Automatic Performance Testing for Image Displaying in Android Apps. | Wenjie Li, Yanyan Jiang, Jun Ma, Chang Xu |
| 2021 | ICSE | Synthesizing Object State Transformers for Dynamic Software Updates. | Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma |
| 2021 | ICSE | PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. | Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma |
| 2020 | ICSE | Testing file system implementations on layered models. | Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2020 | ICSE | ComboDroid: generating high-quality test inputs for Android apps via use case combinations. | Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2018 | ECOOP | Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. | Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu |
| 2018 | ICSE | Synthesizing relation-aware entity transformation by examples. | Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu |
| 2017 | ICSE | Synthesizing object transformation for dynamic software updating. | Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian L |
| 2016 | APSEC | Effectively Manifesting Concurrency Bugs in Android Apps. | Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu |
| 2016 | APSEC | Testing Android Apps via Guided Gesture Event Generation. | Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2015 | APSEC | ABC: Accelerated Building of C/C++ Projects. | Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu |
| 2015 | COMPSAC | Concolic Metamorphic Debugging. | Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2015 | COMPSAC | CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. | Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2014 | APSEC | User Guided Automation for Testing Mobile Apps. | Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2014 | APSEC | GAIN: GPU-Based Constraint Checking for Context Consistency. | Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2014 | ICSE | CARE: cache guided deterministic replay for concurrent Java programs. | Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2013 | Middleware | DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. | Yanyan Jiang, Chang Xu, Xiaoxing Ma |