Towards Translating Real-World Code with LLMs: A Study of Translating to Rust

Translation Validation. In Tools and Algorithms for Construction and Analysis of Systems (LNCS, Vol. 1384) . Springer, 151–166

Amir Pnueli, Michael Siegel, and Eli Singerman. 1998 · 1998

Earlier work this paper cites.

The Hungarian Method for the Assignment Problem

Harold W. Kuhn. 2010 · 2008

Earlier work this paper cites.

Automated behavioral regression testing. In International Conference on Software Testing, Verification and Validation . IEEE, 137–146

Wei Jin, Alessandro Orso, and Tao Xie. 2010 · 2010

Earlier work this paper cites.

Directed incremental symbolic execution

Suzette Person, Guowei Yang, Neha Rungta, and Sarfraz Khurshid. 2011 · 2011

Earlier work this paper cites.

Regression tests to expose change interaction errors. In Foundations of Software Engineering . 334–344

Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury. 2013 · 2013

Earlier work this paper cites.

Shadow of a doubt: testing for divergences between software versions. In Proceedings of the 38th International Conference on Software Engineering . 1181–1192

Hristina Palikareva, Tomasz Kuchta, and Cristian Cadar. 2016 · 2016

Earlier work this paper cites.

Continuous Fuzzing with libFuzzer and AddressSanitizer. In 2016 IEEE Cybersecurity Development (SecDev) . 157–157

Kosta Serebryany. 2016 · 2016

Earlier work this paper cites.

Nezha: Efficient domain-independent differential testing. In 2017 IEEE Symposium on security and privacy (SP) . IEEE, 615–632

Theofilos Petsios, Adrian Tang, Salvatore Stolfo, Angelos D Keromytis, and Suman Jana. 2017 · 2017

Earlier work this paper cites.

The JavaScript Object Notation (JSON) Data Interchange Format

Ed T. Bray. 2017 · 2017

Earlier work this paper cites.

DLFuzz: Differential fuzzing testing of deep learning systems. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering . 739–743

Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, and Jiaguang Sun. 2018 · 2018

Earlier work this paper cites.

Diffuzz: differential fuzzing for side-channel analysis. In International Conference on Software Engineering (ICSE) . IEEE, 176–187

Shirin Nilizadeh, Yannic Noller, and Corina S Pasareanu. 2019 · 2019

Earlier work this paper cites.

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. In Verification, Model Checking, and Abstract Interpretation . Springer, 90–111

Jack J. Garzella, Marek Baranowski, Shaobo He, and Zvonimir Rakamarić. 2020 · 2020

Earlier work this paper cites.

HyDiff: Hybrid differential software analysis. In International Conference on Software Engineering . 1273–1285

Yannic Noller, Corina S Păsăreanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske. 2020 · 2020

Earlier work this paper cites.

Unsupervised Translation of Programming Languages. In NeurIPS

Baptiste Rozière, Marie-Anne Lachaux, Lowik Chanussot, and Guillaume Lample. 2020 · 2020

Earlier work this paper cites.

Avatar: A parallel corpus for java-python program translation

Original

Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, and Kai-Wei Chang. 2021 · 2021

Cited alongside, same era.

Evaluating large language models trained on code

Original

Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al · 2021

Cited alongside, same era.

Translating C to safer Rust

Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf. 2021 · 2021

Cited alongside, same era.

Codenet: A large-scale AI for code dataset for learning a diversity of coding tasks

Original

Ruchir Puri, David S Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir Choudhury, Lindsey Decker, et al · 2021

Cited alongside, same era.

Automated transpilation of imperative to functional code using neural-guided program synthesis

Code translation with Compiler Representations

Marc Szafraniec, Baptiste Roziere, Hugh Leather Francois Charton, Patrick Labatut, and Gabriel Synnaeve. 2023 · 2023

Later among the works it cites.

Explain-then-translate: an analysis on improving program translation with self-generated explanations. In Findings of the Association for Computational Linguistics: EMNLP 2023 . Association for Computational Linguistics, 1741–1788

Zilu Tang, Mayank Agarwal, Alexander Shypula, Bailin Wang, Derry Wijaya, Jie Chen, and Yoon Kim. 2023 · 2023

Later among the works it cites.

GNU Parallel 20240122 (’Frederik X’)

Ole Tange. 2023 · 2023

Later among the works it cites.

Automated Program Repair in the Era of Large Pre-trained Language Models. In ICSE . IEEE

Chunqiu Steven Xia, Yuxiang Wei, and Lingming Zhang. 2023 · 2023

Later among the works it cites.

Conversational automated program repair

Original

Chunqiu Steven Xia and Lingming Zhang. 2023 · 2023