Xutong Ma

Orcid: 0009-0009-1510-1668

According to our database1, Xutong Ma authored at least 11 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Panda: A Concurrent Scheduler for Compiler-Based Tools.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022
Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures.
CoRR, 2022

2021
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020
GTFuzz: Guard Token Directed Grey-Box Fuzzing.
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

2019
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
A New Probabilistic Algorithm for Approximate Model Counting.
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018


  Loading...