Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have
demonstrated capabilities in many coding-adjacent domains. In this work we consider how …

Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have
demonstrated capabilities in many coding-adjacent domains. In this work, we consider how …

Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …

AC decompiler converts an executable into source code. The recovered C source code,
once re-compiled, is expected to produce an executable with the same functionality as the …

Human analysts must reverse engineer binary programs as a prerequisite for a number of
security tasks, such as vulnerability analysis, malware detection, and firmware re-hosting …

Contrary to prevailing wisdom, we argue that the measure of binary decompiler success is
not to eliminate all gotos or reduce the complexity of the decompiled code but to get as close …

Large language models (LLMs) have undergone rapid evolution and achieved remarkable
results in recent times. OpenAI's ChatGPT, backed by GPT-3.5 or GPT-4, has gained instant …

Automatically improving and repairing software using search-based methods is an active
research topic. Many current systems use existing source code as the ingredients of repairs …