Zhengyao Liu

According to our database¹, Zhengyao Liu authored at least 5 papers between 2022 and 2026.

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

2026

Lemma Discovery in Agentic Program Verification.

[BibT_eX]

[DOI]

CoRR, March, 2026

2025

Agent That Debugs: Dynamic State-Guided Vulnerability Repair.

[BibT_eX]

[DOI]

CoRR, April, 2025

Code Property Graph Meets Typestate: A Scalable Framework to Behavioral Bug Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2025

2024

Scalable Defect Detection via Traversal on Code Graph.

[BibT_eX]

[DOI]

CoRR, 2024

2022

Style Change Detection Based On Bi-LSTM And Bert.

[BibT_eX]

[DOI]

Jiayang Zi

Ling Zhou

Zhengyao Liu

Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to, 2022

Zhengyao Liu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...