research
∙
07/27/2023
Multilingual Code Co-Evolution Using Large Language Models
Many software projects implement APIs and algorithms in multiple program...
share
research
∙
02/20/2023
Learning Deep Semantics for Test Completion
Writing tests is a time-consuming yet essential task during software dev...
research
∙
11/11/2022
Using Developer Discussions to Guide Fixing Bugs in Software
Automatically fixing software bugs is a challenging task. While recent w...
research
∙
09/13/2022
Inline Tests
Unit tests are widely used to check source code quality, but they can be...
research
∙
09/09/2022
Compiler Testing using Template Java Programs
We present JAttack, a framework that enables template-based testing for ...
research
∙
08/10/2022
CoditT5: Pretraining for Source Code and Natural Language Editing
Pretrained language models have been shown to be effective in many softw...
research
∙
10/08/2021
Learning to Describe Solutions for Bug Reports Based on Developer Discussions
When a software bug is reported, developers engage in a discussion to co...
research
∙
08/22/2021
Evaluation Methodologies for Code Learning Tasks
There has been a growing interest in developing machine learning (ML) mo...
research
∙
03/24/2021
Learning to Generate Code Comments from Class Hierarchies
Descriptive code comments are essential for supporting code comprehensio...
research
∙
03/01/2021
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Naming conventions are an important concern in large verification projec...
research
∙
10/04/2020
Deep Just-In-Time Inconsistency Detection Between Comments and Source Code
Natural language comments convey key aspects of source code such as impl...
research
∙
06/18/2020
Learning to Format Coq Code Using Language Models
Should the final right bracket in a record declaration be on a separate ...
research
∙
04/25/2020
Learning to Update Natural Language Comments Based on Code Changes
We formulate the novel task of automatically updating an existing natura...
research
∙
04/16/2020
Deep Generation of Coq Lemma Names Using Elaborated Terms
Coding conventions for naming, spacing, and other essentially stylistic ...
research
∙
03/13/2020
QED at Large: A Survey of Engineering of Formally Verified Software
Development of formal proofs of correctness of programs can increase act...
research
∙
12/13/2019
Associating Natural Language Comment and Source Code Entities
Comments are an integral part of software development; they are natural ...
research
∙
08/06/2018