Zhongye Wang

Orcid: 0009-0002-4494-0486

According to our database¹, Zhongye Wang authored at least 4 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding.

[BibT_eX]

[DOI]

Zhongye Wang

Qinxiang Cao

Yichen Tao

J. Autom. Reason., September, 2024

Compositionality and Observational Refinement for Linearizability with Crashes.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

2023

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.

[BibT_eX]

[DOI]

Zhongye Wang

Qinxiang Cao

Yichen Tao

CoRR, 2023

2020

Reentrancy? Yes. Reentrancy Bug? No.

[BibT_eX]

[DOI]

Qinxiang Cao

Zhongye Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Zhongye Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...