Repository-Level Compositional Code Translation and Validation

1 code implementation • 31 Oct 2024 • Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Saurabh Sinha, Reyhaneh Jabbarvand

Several rule-based transpilers have been designed to automate code translation between different pairs of PLs.

Code Translation Translation

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning

1 code implementation • 15 Feb 2024 • Changshu Liu, Shizhuo Dylan Zhang, Ali Reza Ibrahimzada, Reyhaneh Jabbarvand

The first two evaluate models to predict the execution output of an arbitrary code or code the model could correctly synthesize.

Automated Bug Generation in the era of Large Language Models

no code implementations • 3 Oct 2023 • Ali Reza Ibrahimzada, Yang Chen, Ryan Rong, Reyhaneh Jabbarvand

From the classic software engineering point of view, a hard-to-repair bug differs from the correct code in multiple locations, making it hard to localize and repair.

Program Repair

Perfect is the enemy of test oracle

1 code implementation • 3 Feb 2023 • Ali Reza Ibrahimzada, Yigit Varli, Dilara Tekinoglu, Reyhaneh Jabbarvand

This paper presents SEER, a learning-based approach that in the absence of test assertions or other types of oracle, can determine whether a unit test passes or fails on a given method under test (MUT).

software testing