Xutong Ma - RankMe

16 papers A* 6A 3C 3Journal 2Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Empirical Study: MEMS as a Static Performance Metric. CoRR Liwei Zhang, Baoquan Cui, Xutong Ma, Jian Zhang
2025	C	`conf`	An Empirical Study: Mems as a Static Performance Metric. QRS Liwei Zhang, Baoquan Cui, Xutong Ma, Jian Zhang
2025	—	`conf`	IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers. SIGSOFT FSE Companion Yu Xiao, Xutong Ma, Zhilin Li, Jun Yan
2024	A*	`conf`	Detecting Element Accessing Bugs in C++ Sequence Containers. ASE Zhilin Li, Xutong Ma, Mengze Hu, Jun Yan
2024	A	`conf`	Panda: A Concurrent Scheduler for Compiler-Based Tools. ISSTA Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
2023	A*	`conf`	Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang
2023	A*	`conf`	PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
2022	J	`jnl`	Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures. CoRR Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang
2021	A*	`conf`	Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu
2020	C	`conf`	GTFuzz: Guard Token Directed Grey-Box Fuzzing. PRDC Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang
2019	A	`conf`	Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. ISSTA Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang
2019	A*	`conf`	Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
2019	C	`conf`	Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
2019	A*	`conf`	SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang
2018	—	`conf`	A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
2018	A	`conf`	A New Probabilistic Algorithm for Approximate Model Counting. IJCAR Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma