Xutong Ma (Ella)

She/Her/Hers 🏳️‍⚧️

• Ph.D. Student from Sep. 2016 to Jan. 2024
• Postdoc at the WHISPER team of Inria since Sep. 2024
• Developer of the LLVM project since 2020
• Research interest: C/C++ Static Analysis, Static Symbolic Execution, Clang Static Analyzer, Coccinelle
• ORCID : 0009-0009-1510-1668
• Google Scholar: Xutong Ma
• GitHub: @Snape3058
• Languages: Chinese, English, Japanese, French

My Publications

• Xutong Ma, Jiwei Yan, Jun Yan and Jian Zhang, “Panda: A Concurrent Scheduler for Compiler-Based Tools”. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024, pp. 1871-1875. (Tool Demo Paper)
  • [DOI Access] [Pre-Print] [Slides] [Demo Video] [Panda Tool] [Source Code]
• Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan and Jian Zhang, “Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count”, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, pp. 1429-1440.
  • [DOI Access] [Pre-Print] [Slides] [PyRefcon Tool] [Source Code]
• Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang and Zongyan Qiu, “Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers”, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, pp. 880-891.
  • [DOI Access] [Pre-Print] [Slides] [Spelton Tool] [Source Code]
• Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan and Jian Zhang, “SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs”, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, pp. 1122-1125. (Tool Demo Paper)
  • [DOI Access] [Pre-Print] [Slides] [Demo Video] [SPrinter Tool] [Source Code]
• Xutong Ma, Jiwei Yan, Jun Yan and Jian Zhang, “Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis”, International Conference on Software Quality, Reliability and Security (QRS), 2019, pp. 260-271.
  • [DOI Access] [Pre-Print] [Slides]

Collaborations

• Liwei Zhang, Baoquan Cui, Xutong Ma, and Jian Zhang, “An Empirical Study: Mems as a Static Performance Metric”, International Conference on Software Quality, Reliability and Security (QRS), 2025, pp. 783-794. [DOI Access]
• Yu Xiao, Xutong Ma, Zhilin Li, and Jun Yan, “IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers”, ACM International Conference on the Foundations of Software Engineering (FSE), 2025, pp. 1104-1108. [DOI Access]
• Zhilin Li, Xutong Ma, Mengze Hu, and Jun Yan, “Detecting Element Accessing Bugs in C++ Sequence Containers”, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024, pp. 883-894. [DOI Access]
• Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, and Jian Zhang, “PSMT: Satisfiability Modulo Theories Meets Probability Distribution”, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, pp. 1756-1760. (NIER Track) [DOI Access]
• Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang, “Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures”, arXiv:2206.13828 [cs.SE].
• Rundong Li, HongLiang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, and Jian Zhang, “GTFuzz: Guard token directed grey-box fuzzing”, IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2020, pp. 160-170. [DOI Access]
• Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, and Jian Zhang, “Approximating Integer Solution Counting via Space Quantification for Linear Constraints”, International Joint Conference on Artificial Intelligence (IJCAI), 2019, pp. 1697-1703. [DOI Access]
• Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, and Jian Zhang, “Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android”, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 2019, pp. 394-397. (Tool Demo Paper) [DOI Access]
• Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, and Xutong Ma, “A new probabilistic algorithm for approximate model counting”, International Joint Conference on Automated Reasoning (IJCAR), 2018, pp. 312-328. [DOI Access]

Services

• PC Member: ICSE 2026, FSE 2026
• Journal Reviewer: TOSEM