Fingerprint
Dive into the research topics where Hanliang Zhang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Quantifying the benefits of code hints for refactoring deprecated Java APIs
David, C., Kesseli, P., Kroening, D. & Zhang, H., 27 Jun 2025. 12 p.Research output: Contribution to conference › Conference Paper › peer-review
Open AccessFile69 Downloads (Pure) -
Scalable, Validated Code Translation of Entire Projects using Large Language Models
Zhang, H., David, C., Wang, M., Paulsen, B. & Kroening, D., 13 Jun 2025, Proceedings of the ACM on Programming Languages: Issue PLDI. Hicks, M. (ed.). New York: Association for Computing Machinery, Vol. 9. p. 1616-1641 26 p. 212. (Proceedings of the ACM on Programming Languages).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile5 Citations (Scopus)213 Downloads (Pure) -
Contract lenses: Reasoning about bidirectional programs via calculation
Zhang, H., Tang, W., Xie, R., Wang, M. & Hu, Z., 6 Nov 2023, In: Journal of Functional Programming. 33, 41 p., e10.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access1 Citation (Scopus)