Zhongye Wang

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Derivation Rules

Nonlinear Dimensionality Reduction

Top Venues

J. Autom. Reason.

Publications

Zhongye Wang, Qinxiang Cao, Yichen Tao
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding. J. Autom. Reason. 68 (3) (2024)
Zhongye Wang, Qinxiang Cao, Yichen Tao
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding. CoRR (2023)
Qinxiang Cao, Zhongye Wang
Reentrancy? Yes. Reentrancy Bug? No. SETTA (2020)