SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications

Can large language models transform natural language intent into formal method postconditions?

Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, and Shuvendu K Lahiri. 2024 · 1912

Earlier work this paper cites.

A Fortran to C converter. In ACM SIGPLAN Fortran Forum , Vol. 9. ACM New York, NY, USA, 21–22

Stuart I Feldman. 1990 · 1990

Earlier work this paper cites.

Some simple effective approximations to the 2-poisson model for probabilistic weighted retrieval. In SIGIR’94: Proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University . Springer, 232–241

Stephen E Robertson and Steve Walker. 1994 · 1994

Earlier work this paper cites.

LLVM: A compilation framework for lifelong program analysis & transformation. In International symposium on code generation and optimization, 2004. CGO 2004. IEEE, 75–86

Chris Lattner and Vikram Adve. 2004 · 2004

Earlier work this paper cites.

Efficient incremental algorithms for dynamic detection of likely invariants. In proceedings of the 12th ACM SIGSOFT twelfth International Symposium on Foundations of Software Engineering . 23–32

Jeff H Perkins and Michael D Ernst. 2004 · 2004

Earlier work this paper cites.

Static specification inference using predicate mining

Murali Krishna Ramanathan, Ananth Grama, and Suresh Jagannathan. 2007 · 2007

Earlier work this paper cites.

Inferring specifications to detect errors in code

Mana Taghdiri and Daniel Jackson. 2007 · 2007

Earlier work this paper cites.

Predicting program properties from" big code"

Veselin Raychev, Martin Vechev, and Andreas Krause. 2015 · 2015

Earlier work this paper cites.

Apex: Automated inference of error specifications for c apis. In Proceedings of the 31st IEEE/ACM international conference on automated software engineering . 472–482

Yuan Kang, Baishakhi Ray, and Suman Jana. 2016 · 2016

Earlier work this paper cites.

How the GNU coreutils are tested

Pádraig Brady. 2017 · 2017

Earlier work this paper cites.

Unsupervised translation of programming languages

Baptiste Roziere, Marie-Anne Lachaux, Lowik Chanussot, and Guillaume Lample. 2020 · 2020

Earlier work this paper cites.

Rust in the Android platform

Google. 2021a · 2021

Earlier work this paper cites.

Rust in the Linux kernel

Google. 2021b · 2021

Earlier work this paper cites.

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

Earlier work this paper cites.

Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis

Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari. 2021 · 2021

Cited alongside, same era.

Leveraging automated unit tests for unsupervised code translation

Original

Baptiste Roziere, Jie M Zhang, Francois Charton, Mark Harman, Gabriel Synnaeve, and Guillaume Lample. 2021 · 2021

Cited alongside, same era.

Ast-transformer: Encoding abstract syntax trees efficiently for code summarization. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 1193–1195

Ze Tang, Chuanyi Li, Jidong Ge, Xiaoyu Shen, Zheling Zhu, and Bin Luo. 2021 · 2021

Cited alongside, same era.

Code Summarization with Structure-induced Transformer. In Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021 , Chengqing Zong, Fei Xia, Wenjie Li, and Roberto Navigli (Eds.). Association for Computational Linguistics, Online, 1078–1090

Hongqiu Wu, Hai Zhao, and Min Zhang. 2021 · 2021

Cited alongside, same era.

Explain-then-translate: an analysis on improving program translation with self-generated explanations. In The 2023 Conference on Empirical Methods in Natural Language Processing

Zilu Tang, Mayank Agarwal, Alexander G Shypula, Bailin Wang, Derry Wijaya, Jie Chen, and Yoon Kim. [n. d.] · 2023

Later among the works it cites.

Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions

Eric Zelikman, Qian Huang, Gabriel Poesia, Noah Goodman, and Nick Haber. 2023 · 2023

Later among the works it cites.

Repository-Level Compositional Code Translation and Validation

Original

Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Saurabh Sinha, and Reyhaneh Jabbarvand. 2024 · 2024

Closest in time.

Lost in the middle: How language models use long contexts

Nelson F Liu, Kevin Lin, John Hewitt, Ashwin Paranjape, Michele Bevilacqua, Fabio Petroni, and Percy Liang. 2024 · 2024

Closest in time.

The Invisible $1.52 Trillion Problem: Clunky Old Software

Christopher Mims. 2024 · 2024