3 citations · 9 across the 4 of their papers we have counts for
4 papers
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…
Jigsaw: Large Language Models meet Program Synthesis
Naman Jain, Skanda Vaidyanath, Arun Iyer +4
Large pre-trained language models such as GPT-3, Codex, and Google's language model are now capable of generating code from natural language specifications of programmer intent. We…