We stand with Ukraine  

Yide Du

Orcid: 0009-0000-0199-5642

According to our database1, Yide Du authored at least 4 papers between 2021 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
EUF-based Solving Dyck-Reachability with Applications to Static Analysis.
[BibTeX]
[DOI]
Yide Du
,
Zhenbang Chen
,
Kunlin Liu
,
Guofeng Zhang
,
Xudong Wang
,
Ke Ma
,
Wei Dong
,
Ji Wang
Proceedings of the Formal Methods - 27th International Symposium, 2026

2024
Verification of message-passing uninterpreted programs.
[BibTeX]
[DOI]
Weijiang Hong
,
Zhenbang Chen
,
Yufeng Zhang
,
Hengbiao Yu
,
Yide Du
,
Ji Wang
Sci. Comput. Program., 2024

2022
Collaborative Verification of Uninterpreted Programs.
[BibTeX]
[DOI]
Yide Du
,
Weijiang Hong
,
Zhenbang Chen
,
Ji Wang
Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021
Trace Abstraction-Based Verification for Uninterpreted Programs.
[BibTeX]
[DOI]
Weijiang Hong
,
Zhenbang Chen
,
Yide Du
,
Ji Wang
Proceedings of the Formal Methods - 24th International Symposium, 2021


  Loading...