Hanliang Zhang

According to our database, Hanliang Zhang authored at least 7 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Validated Code Translation for Projects with External Libraries.

Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama

CoRR, February, 2026

2025

Scalable, Validated Code Translation of Entire Projects using Large Language Models.

Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening

Proc. ACM Program. Lang., 2025

Quantifying the benefits of code hints for refactoring deprecated Java APIs.

Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Automated Translation of Real-World Codebases: How Far Are We?

Cristina David, Hanliang Zhang, Meng Wang

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

2024

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening

CoRR, 2024

2023

Contract lenses: Reasoning about bidirectional programs via calculation.

Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu

J. Funct. Program., 2023

Ownership Guided C to Rust Translation.

Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023