Reentrancy? Yes. Reentrancy Bug? No. - Qinxiang Cao; Zhongye Wang (SETTA, 2020)

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding. - Zhongye Wang; Qinxiang Cao; Yichen Tao (CoRR, 2023)

A Multi-Scale Feature Extraction Method Based on Improved Transformer for Intrusion Detection. - Lijun Gu; Zhongye Wang (Int. J. Inf. Secur. Priv., 2024)

Compositionality and Observational Refinement for Linearizability with Crashes. - Arthur Oliveira Vale; Zhongye Wang; Yixuan Chen 002; Peixin You; Zhong Shao 001 (Proc. ACM Program. Lang., 2024)

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding. - Zhongye Wang; Qinxiang Cao; Yichen Tao (J. Autom. Reason., 2024)