paper-with-me

Papers

SampleFix: Learning to Correct Programs by Efficient Sampling of Diverse Fixes

2020-10-13 · NeurIPS Workshop CAP 2020 12 · Hossein Hajipour, Apratim Bhattacharyya, Mario Fritz

Automatic program correction holds the potential of dramatically improving the productivity of programmers. Recent advances in machine learning and NLP have rekindled the hope to eventually fully automate the process of repairing programs. A key challenge is ambiguity, as multiple codes -- or fixes -- can implement the same functionality, and there is uncertainty on the intention of the programmer. As a consequence, datasets by nature fail to capture the full variance introduced by such ambiguities. Therefore, we propose a deep generative model to automatically correct programming errors by learning a distribution over potential fixes. Our model is formulated as a deep conditional variational autoencoder that can efficiently sample diverse fixes for a given erroneous program. In order to account for inherent ambiguity and lack of representative datasets, we propose a novel regularizer to encourage the model to generate diverse fixes. Our evaluations on common programming errors show strong improvements over the state-of-the-art approaches.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

SampleFix: Learning to Generate Functionally Diverse Fixes

2019-06-24 · Hossein Hajipour, Apratim Bhattacharyya, Cristian-Alexandru Staicu, Mario Fritz

Automatic program repair holds the potential of dramatically improving the productivity of programmers during the software development process and correctness of software in general. Recent advances in machine learning, …

DiversityProgram Repair

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions

2023-04-07 · Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri

Large language models (LLMs), such as OpenAI's Codex, have demonstrated their potential to generate code from natural language descriptions across a wide range of programming tasks. Several benchmarks have recently emerg…

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

2024-12-19 · Pedro Orvalho, Mikoláš Janota, Vasco Manquinho

Automated Program Repair (APR) for introductory programming assignments (IPAs) is motivated by the large number of student enrollments in programming courses each year. Since providing feedback on IPAs requires substanti…

Fault localizationProgram RepairZero-Shot Learning

FixEval: Execution-based Evaluation of Program Fixes for Programming Problems

2022-06-15 · Md Mahim Anjum Haque, Wasi Uddin Ahmad, Ismini Lourentzou, Chris Brown

The complexity of modern software has led to a drastic increase in the time and cost associated with detecting and rectifying software bugs. In response, researchers have explored various methods to automatically generat…

Bug fixing

Improving Scheduled Sampling with Elastic Weight Consolidation for Neural Machine Translation

2021-09-13 · Michalis Korakakis, Andreas Vlachos

Despite strong performance in many sequence-to-sequence tasks, autoregressive models trained with maximum likelihood estimation suffer from exposure bias, i.e. the discrepancy between the ground-truth prefixes used durin…

Machine TranslationTranslation