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
∙
09/13/2022
Inline Tests
Unit tests are widely used to check source code quality, but they can be...
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
∙
02/22/2022
A Framework for Multi-stage Bonus Allocation in meal delivery Platform
Online meal delivery is undergoing explosive growth, as this service is ...
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
∙
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
∙
08/06/2018