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
ASE 2023-profile
View general profile
View general profile