Fetching the paper…
Reading the bibliography…
Large language models (LLMs) show promise in code translation due to their ability to generate idiomatic code.
A. Pnueli, M. Siegel, and E. Singerman, “Translation validation,” in Tools and Algorithms for Construction and Analysis of Systems
1998
Earlier work this paper cites.
G. C. Necula, “Translation validation for an optimizing compiler,” in Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
2000
Earlier work this paper cites.
J. Matthews and R. B. Findler, “Operational semantics for multi-language programs,” in Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2007
Earlier work this paper cites.
W. Jin, A. Orso, and T. Xie, “Automated behavioral regression testing,” in International Conference on Software Testing, Verification and Validation
2010
Earlier work this paper cites.
S. Person, G. Yang, N. Rungta, and S. Khurshid, “Directed incremental symbolic execution,” ACM Sigplan Notices
2011
Earlier work this paper cites.
M. Böhme, B. C. d. S. Oliveira, and A. Roychoudhury, “Regression tests to expose change interaction errors,” in Foundations of Software Engineering
2013
Earlier work this paper cites.
R. Khadka, B. V. Batlajery, A. M. Saeidi, S. Jansen, and J. Hage, “How do professionals perceive legacy systems and software modernization?,” in International Conference on Software Engineering
2014
Earlier work this paper cites.
S. Jain and I. Chana, “Modernization of legacy systems: A generalised roadmap,” in International Conference on Computer and Communication Technology
2015
Earlier work this paper cites.
H. Palikareva, T. Kuchta, and C. Cadar, “Shadow of a doubt: testing for divergences between software versions,” in Proceedings of the 38th International Conference on Software Engineering
2016
Earlier work this paper cites.
T. Petsios, A. Tang, S. Stolfo, A. D. Keromytis, and S. Jana, “Nezha: Efficient domain-independent differential testing,” in 2017 IEEE Symposium on Security and Privacy (SP)
2017
Earlier work this paper cites.
J. Guo, Y. Jiang, Y. Zhao, Q. Chen, and J. Sun, “DLFuzz: Differential fuzzing testing of deep learning systems,” in European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2018
Earlier work this paper cites.
S. Nilizadeh, Y. Noller, and C. S. Pasareanu, “Diffuzz: differential fuzzing for side-channel analysis,” in International Conference on Software Engineering (ICSE)
2019
Earlier work this paper cites.
B. Rozière, M. Lachaux, L. Chanussot, and G. Lample, “Unsupervised translation of programming languages,” in NeurIPS
2020
Earlier work this paper cites.
R. Griesemer, R. Hu, W. Kokke, J. Lange, I. L. Taylor, B. Toninho, P. Wadler, and N. Yoshida, “Featherweight Go,” 2020
2020
Earlier work this paper cites.
J. J. Garzella, M. Baranowski, S. He, and Z. Rakamarić, “Leveraging compiler intermediate representation for multi- and cross-language verification,” in Verification, Model Checking, and Abstract Interpretation
2020
Earlier work this paper cites.
Y. Noller, C. S. Păsăreanu, M. Böhme, Y. Sun, H. L. Nguyen, and L. Grunske, “HyDiff: Hybrid differential software analysis,” in International Conference on Software Engineering
2020
Earlier work this paper cites.
M. Emre, R. Schroeder, K. Dewey, and B. Hardekopf, “Translating C to safer Rust,” Proceedings of the ACM on Programming Languages
2021
Cited alongside, same era.
2021
Cited alongside, same era.
S. Lu, D. Guo, S. Ren, J. Huang, A. Svyatkovskiy, A. Blanco, C. Clement, D. Drain, D. Jiang, D. Tang, G. Li, L. Zhou, L. Shou, L. Zhou, M. Tufano, M. GONG, M. Zhou, N. Duan, N. Sundaresan, S. K. Deng, S. Fu, and S. LIU, “CodeXGLUE: A machine learning benchmark dataset for code understanding and generation,” in Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks
2021
Cited alongside, same era.
2021
Accessed: 2024-11-05
“Tools to build on AWS.” https://aws.amazon.com/developer/tools/ · 2024
Closest in time.
Accessed: 2024-11-05
“Cloud SDK: Libraries and command line interface.” https://cloud.google.com/sdk/ · 2024
Closest in time.
Accessed: 2024-11-05
“Download Azure SDKs and tools.” https://azure.microsoft.com/en-us/downloads/ · 2024
Closest in time.
“Eliminating memory safety vulnerabilities once and for all (DARPA).” https://www.darpa.mil/news-events/2024-07-31a
2024
Closest in time.
2024
Closest in time.
R. Pan, A. R. Ibrahimzada, R. Krishna, D. Sankar, L. P. Wassi, M. Merler, B. Sobolev, R. Pavuluri, S. Sinha, and R. Jabbarvand, “Lost in translation: A study of bugs introduced by large language models while translating code,” 2024
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
2021
Cited alongside, same era.
B. Rozière, J. Zhang, F. Charton, M. Harman, G. Synnaeve, and G. Lample, “Leveraging automated unit tests for unsupervised code translation,” in ICLR
2022
Cited alongside, same era.
D. Patterson, N. Mushtak, A. Wagner, and A. Ahmed, “Semantic soundness for language interoperability,” in Programming Language Design and Implementation
2022
Cited alongside, same era.
H. Zhang, C. David, Y. Yu, and M. Wang, “Ownership guided C to Rust translation,” in Computer Aided Verification (CAV)
2023
Cited alongside, same era.
Z. Tang, M. Agarwal, A. Shypula, B. Wang, D. Wijaya, J. Chen, and Y. Kim, “Explain-then-translate: an analysis on improving program translation with self-generated explanations,” in Findings of the Association for Computational Linguistics: EMNLP 2023
2023
Cited alongside, same era.
M. Szafraniec, B. Roziere, H. L. F. Charton, P. Labatut, and G. Synnaeve, “Code translation with compiler representations,” ICLR
2023
Cited alongside, same era.
2023
Cited alongside, same era.
M. Jiao, T. Yu, X. Li, G. Qiu, X. Gu, and B. Shen, “On the evaluation of neural code translation: Taxonomy and benchmark,” in Automated Software Engineering (ASE)
2023
Cited alongside, same era.
2024
Closest in time.
H. F. Eniser, H. Zhang, C. David, M. Wang, M. Christakis, B. Paulsen, J. Dodds, and D. Kroening, “Towards translating real-world code with LLMs: A study of translating to Rust,” 2024
2024
Closest in time.
A. Z. H. Yang, Y. Takashima, B. Paulsen, J. Dodds, and D. Kroening, “VERT: Verified equivalent Rust transpilation with large language models as few-shot learners,” 2024
2024
Closest in time.
A. R. Ibrahimzada, K. Ke, M. Pawagi, M. S. Abid, R. Pan, S. Sinha, and R. Jabbarvand, “Repository-level compositional code translation and validation,” 2024
2024
Closest in time.
M. Shiraishi and T. Shinagawa, “Context-aware code segmentation for C-to-Rust translation using large language models,” 2024
2024
Closest in time.
D. Tolnay, “Anyhow.” https://github.com/dtolnay/anyhow , 2024
2024
Closest in time.
P. Di, J. Li, H. Yu, W. Jiang, W. Cai, Y. Cao, C. Chen, D. Chen, H. Chen, L. Chen, G. Fan, J. Gong, Z. Gong, W. Hu, T. Guo, Z. Lei, T. Li, Z. Li, M. Liang, C. Liao, B. Liu, J. Liu, Z. Liu, S. Lu, M. Shen, G. Wang, H. Wang, Z. Wang, Z. Xu, J. Yang, Q. Ye, G. Zhang, Y. Zhang, Z. Zhao, X. Zheng, H. Zhou, L. Zhu, and X. Zhu, “CodeFuse-13B: A pretrained multi-lingual code large language model,” in International Conference on Software Engineering: Software Engineering in Practice
2024
Closest in time.
S. Tipirneni, M. Zhu, and C. K. Reddy, “StructCoder: Structure-aware transformer for code generation,” ACM Trans. Knowl. Discov. Data
2024
Closest in time.
J. Liu, C. S. Xia, Y. Wang, and L. Zhang, “Is your code generated by ChatGPT really correct? Rigorous evaluation of large language models for code generation,” Advances in Neural Information Processing Systems
2024
Closest in time.
2024
Closest in time.
P. Deligiannis, A. Lal, N. Mehrotra, R. Poddar, and A. Rastogi, “RustAssistant: Using LLMs to fix compilation errors in Rust code,” in International Conference on Software Engineering (ICSE)
2025
Closest in time.