متابعة
Hanliang Zhang
Hanliang Zhang
بريد إلكتروني تم التحقق منه على bristol.ac.uk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Towards translating real-world code with LLMs: A study of translating to Rust
HF Eniser, H Zhang, C David, M Wang, M Christakis, B Paulsen, J Dodds, ...
arXiv preprint arXiv:2405.11514, 2024
192024
Ownership guided C to Rust translation
H Zhang, C David, Y Yu, M Wang
International Conference on Computer Aided Verification, 459-482, 2023
172023
Scalable, validated code translation of entire projects using large language models
H Zhang, C David, M Wang, B Paulsen, D Kroening
arXiv preprint arXiv:2412.08035, 2024
32024
Contract lenses: Reasoning about bidirectional programs via calculation
H Zhang, W Tang, R Xie, M Wang, Z Hu
Journal of Functional Programming 33, e10, 2023
32023
Quantifying the benefits of code hints for refactoring deprecated Java APIs
C David, P Kesseli, D Kroening, H Zhang
arXiv preprint arXiv:2412.08041, 2024
2024
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
H Ferit Eniser, H Zhang, C David, M Wang, M Christakis, B Paulsen, ...
arXiv e-prints, arXiv: 2405.11514, 2024
2024
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–6