Demystifying the DAO Governance Process. - Junjie Ma; Muhui Jiang; Jinan Jiang; Xiapu Luo; Yufeng Hu; Yajin Zhou; Qi Wang 012; Fengwei Zhang (CoRR, 2024)

Understanding Vulnerability Inducing Commits of the Linux Kernel. - Muhui Jiang; Jinan Jiang; Tao Wu; Zuchao Ma; Xiapu Luo; Yajin Zhou (ACM Trans. Softw. Eng. Methodol., 2024)

ConsCS: Effective and Efficient Verification of Circom Circuits. - Jinan Jiang; Xinghao Peng; Jinzhao Chu; Xiapu Luo (ICSE, 2025)

Unearthing Gas-Wasting Code Smells in Smart Contracts With Large Language Models. - Jinan Jiang; Zihao Li 001; Haoran Qin; Muhui Jiang; Xiapu Luo; Xiaoming Wu 003; Haoyu Wang 001; Yutian Tang; Chenxiong Qian; Ting Chen 002 (IEEE Trans. Software Eng., 2025)

Understanding Security Issues in the DAO Governance Process. - Junjie Ma; Muhui Jiang; Jinan Jiang; Xiapu Luo; Yufeng Hu; Yajin Zhou; Qi Wang 012; Fengwei Zhang (IEEE Trans. Software Eng., 2025)