SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus

The advent of strong generative AI has a considerable impact on various software engineering tasks such as code repair, test generation, or language translation. While tools like GitHub Copilot are already in widespread use in interactive settings, automated approaches require a higher level of reliability before being useable in industrial practice. In this paper, we focus on three aspects that directly influence the quality of the results: a) the effect of automated feedback loops, b) the choice of Large Language Model (LLM), and c) the influence of behavior-preserving code changes. We investigate the effect of these three variables on an automated C-to-Rust translation system. C code to Rust translation is an attractive use case in industry due to Rust’s safety guarantees. The translation system is based on a generate-and-check pattern, in which the Rust code generated by the LLM is automatically checked for compilability and behavioral equivalence with the original C~code. For negative checking results, the LLM is re-prompted in a feedback loop to repair its output. Our results show that without feedback loops LLM selection has a large effect on translation success. However, when the translation system uses feedback loops the differences across models diminish. We observe this for the average performance of the system as well as its robustness under code perturbations. Finally, we also identify that diversity provided by code perturbations can even result in improved system performance.

Wed 18 Mar

Displayed time zone: Athens change

16:00 - 17:30
16:00
15m
Talk
Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
Industrial Track
16:15
15m
Talk
Efficient Translation of Long Code Blocks using Large Language Models
Research Track
Venkatesan Chakaravarthy IBM Research - India, Anamitra Roy Choudhury IBM, Vini Kanvar IBM Research, Rami Katan IBM Research Haifa, Shivmaran Pandian IBM Research - India, Aditya Raghuvanshi International Institute of Information Technology, Hyderabad, Yogish Sabharwal IBM Research - India
16:30
15m
Talk
Translating Code with Large Language Models and Human-in-the-loop feedback
Journal First Track
Gabriele Dario De Siano University of Naples Federico II, Anna Rita Fasolino Federico II University of Naples, Giancarlo Sperlì University of Naples Federico II, Andrea Vignali University of Naples Federico II
16:45
15m
Talk
Migrating Esope to Fortran 2008 using model transformations
Industrial Track
Younoussa Sow DTIPD Framatome, Nicolas Anquetil University of Lille, Lille, France, Léandre Brault , Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
17:00
15m
Talk
Refining LLM-based COBOL-to-Java Translation via Natural Language Summary Augmentation
Industrial Track
Aman Bhardwaj IBM Research - India, Vijay Arya IBM Research, Yogish Sabharwal IBM Research - India
17:15
7m
Talk
Toward Reliable Code De-obfuscation with Large Language Models
Short Papers and Posters Track
Yujeong Choi Duksung Women’s University, Dohwan Ji Hanbat National University, Yujin Kwon Duksung Women’s University, Jinyoung Kim Sungkyunkwan University
17:22
7m
Talk
LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
Early Research Achievement (ERA) Track