2024
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations.
CoRR, 2024

2021
GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts.
IEEE Trans. Emerg. Top. Comput., 2021

2018
DBAF: Dynamic Binary Analysis Framework and Its Applications.
Proceedings of the Network and System Security - 12th International Conference, 2018

2017
Cloud-based parallel concolic execution.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017