Hanliang Zhang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Query Translation

Top Venues

J. Funct. Program.

Publications

Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR (2024)
Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
Ownership Guided C to Rust Translation. CAV (3) (2023)
Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. 33 (2023)
Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
Ownership guided C to Rust translation. CoRR (2023)