• Sign in
  • Sign up
conf.researchr.org / Xutong Ma
  • ASE 2019 profile
  • ASE 2021 profile
  • ASE 2023 profile
  • ISSTA 2019 profile
Xutong Ma

Registered user since Mon 28 Aug 2023

Name:Xutong Ma
Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Personal website: http://lcs.ios.ac.cn/~maxt/
X (Twitter): https://x.com/MaHsutung38324
GitHub: https://github.com/Snape3058
Research interests:C/C++ Static Analysis; Symbolic Execution; Clang Static Analyzer

Contributions

2023

ASE

  • Author of PSMT: Satisfiability Modulo Theories Meets Probability Distribution within the NIER Track-track
  • Author of Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count within the Research Papers-track

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
Share
xTue 5 Dec 00:34
using conf.researchr.org (v1.62.0)
Support page
Sign Up