23 citations · 50 across the 5 of their papers we have counts for
5 papers · 1 filter
AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi +4
Code translation transforms programs from one programming language (PL) to another. Several rule-based transpilers have been designed to automate code translation between different…
CodeMind: Evaluating Large Language Models for Code Reasoning
Changshu Liu, Yang Chen, Reyhaneh Jabbarvand
Large Language Models (LLMs) have been widely used to automate programming tasks. Their capabilities have been evaluated by assessing the quality of generated code through tests or…
Program Decomposition and Translation with Static Analysis
Ali Reza Ibrahimzada
The rising popularity of Large Language Models (LLMs) has motivated exploring their use in code-related tasks. Code LLMs with more than millions of parameters are trained on a mass…
Challenging Bug Prediction and Repair Models with Synthetic Bugs
Ali Reza Ibrahimzada, Yang Chen, Ryan Rong +1
Bugs are essential in software engineering; many research studies in the past decades have been proposed to detect, localize, and repair bugs in software systems. Effectiveness eva…
Perfect is the enemy of test oracle
Ali Reza Ibrahimzada, Yigit Varli, Dilara Tekinoglu +1
Automation of test oracles is one of the most challenging facets of software testing, but remains comparatively less addressed compared to automated test input generation. Test ora…