AI Code Translation with LLMs: Behavioral Equivalence in Practice

🗣️ Meetup Talk: Has the LLM Correctly Translated My Code?

🔍 Verifying Code Translations with Behavioral Analysis

As LLMs become increasingly popular for translating code across languages, a critical question arises: Can we trust the translated code to behave the same way?
Join us for a deep dive into a novel approach that tackles this challenge head-on. In this session, we’ll explore a method that uses log injection and behavioral analysis to verify that code translated by LLMs — such as from Java to C# — maintains functional and operational equivalence.

✅ Learn how this technique:
• Pinpoints behavioral mismatches in translated code
• Supports debugging, compliance, and quality assurance
• Helps developers resolve issues faster and with confidence

⸻

🎙️ Speaker: Wesley K. G. Assunção
NC State University Professor

With a rich background spanning Brazil, Austria, and the U.S., Wesley brings deep expertise in software modernization, testing, and AI/ML for development. He co-edits the In Practice track at the Journal of Systems and Software.

🌐 https://wesleyklewerton.github.io

📅 Don’t miss this opportunity to explore the intersection of LLMs and software verification!