马旭桐
组内经历
2024 年毕业
博士
论文
2025
2024
2023
2021
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
ASE 2021CCF AXutong MaJiwei YanWei WangJun YanJian ZhangZongyan Qiu
2020
GTFuzz: Guard Token Directed Grey-Box Fuzzing
PRDC 2020Rundong LiHongLiang LiangLiming LiuXutong MaRong QuJun YanJian Zhang
2019
2018
A New Probabilistic Algorithm for Approximate Model Counting
IJCAR 2018Cunjing GeFeifei MaTian LiuJian ZhangXutong Ma
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。