Xutong Ma

Group Experience

Graduated 2024
PhD

Publications

12 publications

2025

IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers
FSE 2025Yu XiaoXutong MaZhilin Li Jun Yan
Code

2024

Detecting Element Accessing Bugs in C++ Sequence Containers
ASE 2024Zhilin LiXutong MaMengze Hu Jun Yan
Code
Panda: A Concurrent Scheduler for Compiler-Based Tools
ISSTA 2024Xutong MaJiwei Yan Jun Yan Jian Zhang
Code

2023

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
ASE 2023Xutong MaJiwei Yan Hao Zhang Jun Yan Jian Zhang
Code
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui HanXutong MaBaoquan Cui Minghao Liu Pei Huang Feifei Ma Jian Zhang
Code

2021

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
ASE 2021Xutong MaJiwei Yan Wei Wang Jun Yan Jian ZhangZongyan Qiu

2020

GTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong LiHongLiang LiangLiming LiuXutong MaRong Qu Jun Yan Jian Zhang

2018

A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing Ge Feifei MaTian LiuJian ZhangXutong Ma