Xutong Ma -

Registered user since Mon 28 Aug 2023

Name:Xutong Ma

Affiliation:Inria Paris

Personal website: https://orcid.org/0009-0009-1510-1668

GitHub: https://github.com/Snape3058

Research interests:C/C++ Static Analysis; Clang Static Analyzer; Coccinelle

Contributions

2026

ICSE

Committee Member in Research Track within the Research Track-track

2025

ESEC/FSE

Author of IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers within the Demonstrations-track

ICSE

Committee Member in Shadow PC within the Shadow PC-track

2024

ASE

ECOOP/ISSTA

Author of Panda: A Concurrent Scheduler for Compiler-Based Tools within the Tool Demonstrations-track

2023

ASE

2021

ASE

Author of Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers within the Research Papers-track

2019

ASE

Author of SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs within the Demonstrations-track

ISSTA

Author of Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android within the Tool Demonstration-track

	
		OSZAR »