research
∙
06/19/2023
Guiding Language Models of Code with Global Context using Monitors
Language models of code (LMs) work well when the surrounding code in the...
share
research
∙
04/07/2023
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions
Large language models (LLMs), such as OpenAI's Codex, have demonstrated ...
research
∙
08/11/2022
Interactive Code Generation via Test-Driven User-Intent Formalization
Pre-trained large language models (LLMs) such as OpenAI Codex have shown...
research
∙
06/04/2022
Fault-Aware Neural Code Rankers
Large language models (LLMs) have demonstrated an impressive ability to ...
research
∙
11/23/2021
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
Program merging is standard practice when developers integrate their ind...
research
∙
09/20/2021
Neural Unit Test Suggestions
Testing is widely recognized as an important stage of the software devel...
research
∙
05/17/2021
DeepMerge: Learning to Merge Programs
Program merging is ubiquitous in modern software development. Although c...
research
∙
03/28/2020
A Dataset of Dockerfiles
Dockerfiles are one of the most prevalent kinds of DevOps artifacts used...
research
∙
02/08/2020
Learning from, Understanding, and Supporting DevOps Artifacts for Docker
With the growing use of DevOps tools and frameworks, there is an increas...
research
∙
04/27/2019
Enabling Open-World Specification Mining via Unsupervised Learning
Many programming tasks require using both domain-specific code and well-...
research
∙
12/20/2018
Formal Specification and Verification of Smart Contracts for Azure Blockchain
In this paper, we describe the formal verification of Smart Contracts of...
research
∙
10/20/2017
