155 citations · 309 across the 27 of their papers we have counts for
6 papers · 1 filter
Frustrated with Code Quality Issues? LLMs can Help!
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane +5
As software projects progress, quality of code assumes paramount importance as it affects reliability, maintainability and security of software. For this reason, static analysis to…
CodePlan: Repository-level Coding using LLMs and Planning
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade +6
Software engineering activities such as package migration, fixing errors reports from static analysis or testing, and adding type annotations or other specifications to a codebase,…
StaticFixer: From Static Analysis to Static Repair
Naman Jain, Shubham Gandhi, Atharv Sonwane +5
Static analysis tools are traditionally used to detect and flag programs that violate properties. We show that static analysis tools can also be used to perturb programs that satis…
Guiding Language Models of Code with Global Context using Monitors
Lakshya A Agrawal, Aditya Kanade, Navin Goyal +2
Language models of code (LMs) work well when the surrounding code provides sufficient context. This is not true when it becomes necessary to use types, functionality or APIs define…
GrACE: Generation using Associated Code Edits
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai +6
Developers expend a significant amount of time in editing code for a variety of reasons such as bug fixing or adding new features. Designing effective methods to predict code edits…
FLAME: A small language model for spreadsheet formulas
Harshit Joshi, Abishai Ebenezer, José Cambronero +5
Spreadsheets are a vital tool for end-user data management. Using large language models for formula authoring assistance in these environments can be difficult, as these models are…