Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …

Refactoring is the process of changing the internal structure of software to improve its quality
without modifying its external behavior. Empirical studies have repeatedly shown that …

In this work we systematically review the recent advancements in software engineering with
language models, covering 70+ models, 40+ evaluation tasks, 180+ datasets, and 900 …

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

Employing lightweight, tool-based code review of code changes (aka modern code review)
has become the norm for a wide variety of open-source and industrial systems. In this paper …

We present a learning-based approach to detect and fix a broad range of bugs in Javascript
programs. We frame the problem in terms of learning a sequence of graph transformations …

Lessons from building static analysis tools at Google Page 1 58 COMMUNICATIONS OF THE
ACM | APRIL 2018 | VOL. 61 | NO. 4 Lessons from Building Static Analysis Tools at Google …

Program repair is an important but difficult software engineering problem. One way to
achieve acceptable performance is to focus on classes of simple bugs, such as bugs with …

Program Analysis has been a rich and fruitful field of research for many decades, and
countless high quality program analysis tools have been produced by academia. Though …

Automatic static analysis tools (ASATs) are instruments that support code quality
assessment by automatically detecting defects and design issues. Despite their popularity …