Recent advances in Large Language Models (LLM) have made automatic code generation
possible for real-world programming tasks in general-purpose programming languages …

Search-based program synthesis Page 1 84 COMMUNICATIONS OF THE ACM | DECEMBER
2018 | VOL. 61 | NO. 12 review articles Writing programs that are both correct and efficient is …

Transformers have revolutionized natural language processing (NLP) and have had a huge
impact on automating tasks. Recently, transformers have led to the development of powerful …

Recent advances in Deep Neural Networks (DNNs) have led to active development of
specialized DNN accelerators, many of which feature a large number of processing …

This paper presents a new technique for automatically synthesizing SQL queries from
natural language (NL). At the core of our technique is a new NL-based program synthesis …

Recent years have seen the proposal of a number of neural architectures for the problem of
Program Induction. Given a set of input-output examples, these architectures are able to …

The classical formulation of the program-synthesis problem is to find a program that meets a
correctness specification given as a logical formula. Recent work on program synthesis and …

Debugging consumes significant time and effort in any major software development project.
Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given …

A notable class of techniques for automatic program repair is known as semantics-based.
Such techniques, eg, Angelix, infer semantic specifications via symbolic execution, and then …

Many algorithms for congestion control, scheduling, network measurement, active queue
management, and traffic engineering require custom processing of packets in the data plane …