Large Language Models (LLMs) have significantly impacted numerous domains, including
Software Engineering (SE). Many recent publications have explored LLMs applied to …

Automated Program Repair (APR) attempts to patch software bugs and reduce manual
debugging efforts. Very recently, with the advances in Large Language Models (LLMs), an …

This paper introduces an innovative approach that combines Large Language Models
(LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially …

The rapid proliferation of Large Language Models (LLMs) has been a driving force in the
growth of cloud-based LLM services, which are now integral to advancing AI applications …

Repository-level code completion aims to generate code for unfinished code snippets within
the context of a specified repository. Existing approaches mainly rely on retrieval-augmented …

With the rise of large language models (LLMs), researchers are increasingly exploring their
applications in var ious vertical domains, such as software engineering. LLMs have …

Large Language Models (LLMs) have demonstrated impressive capability in many natural
language tasks. However, the auto-regressive generation process makes LLMs prone to …

Code generation models have increasingly become integral to aiding software
development. Although current research has thoroughly examined the correctness of the …

A central piece in enabling intelligent agentic behavior in foundation models is to make them
capable of introspecting upon their behavior, reasoning, and correcting their mistakes as …

LLMs have becoming increasingly powerful, both in their benign and malicious uses. With
the increase in capabilities, researchers have been increasingly interested in their ability to …