Guess & Sketch: Language Model Guided Transpilation

arXiv:2309.14396v2 Announce Type: replace-cross
Abstract: Maintaining legacy software requires many software and systems engineering hours. Assembly code programs, which demand low-level control over the computer machine state and have no variable names, are particularly difficult for humans to analyze. Existing conventional program translators guarantee correctness, but are hand-engineered for the source and target programming languages in question. Learned transpilation, i.e. automatic translation of code, offers an alternative to manual re-writing and engineering efforts. Automated symbolic program translation approaches guarantee correctness …

abstract analyze arxiv assembly code computer control cs.lg cs.pl cs.se demand engineering humans language language model low machine software state systems type