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 | 19 | 2024 |
Ownership guided C to Rust translation H Zhang, C David, Y Yu, M Wang International Conference on Computer Aided Verification, 459-482, 2023 | 17 | 2023 |
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 | 3 | 2024 |
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 | 3 | 2023 |
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 |