| 2025 | QRS | An Empirical Study: Mems as a Static Performance Metric. | Liwei Zhang, Baoquan Cui, Xutong Ma, Jian Zhang |
| 2024 | ISSTA | Panda: A Concurrent Scheduler for Compiler-Based Tools. | Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang |
| 2020 | PRDC | GTFuzz: Guard Token Directed Grey-Box Fuzzing. | Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang |
| 2019 | IJCAI | Approximating Integer Solution Counting via Space Quantification for Linear Constraints. | Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang |
| 2019 | ISSTA | Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. | Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang |
| 2019 | QRS | Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. | Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang |
| 2018 | CADE | A New Probabilistic Algorithm for Approximate Model Counting. | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |
| 2018 | CADE | A New Probabilistic Algorithm for Approximate Model Counting. | Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |