Hanliang Zhang

Orcid: 0000-0003-3309-0439

According to our database1, Hanliang Zhang authored at least 5 papers between 2023 and 2024.

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

Timeline

2023
2024
0
1
2
3
4
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

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

2023
Contract lenses: Reasoning about bidirectional programs via calculation.
J. Funct. Program., 2023

Ownership Guided C to Rust Translation.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023


  Loading...