In 2006, Geoffrey Hinton proposed the concept of training “Deep Neural Networks (DNNs)”
and an improved model training method to break the bottleneck of neural network …

Research at the intersection of machine learning, programming languages, and software
engineering has recently taken important steps in proposing learnable probabilistic models …

Programming is a powerful and ubiquitous problem-solving tool. Systems that can assist
programmers or even generate programs themselves could make programming more …

This paper explores the limits of the current generation of large language models for
program synthesis in general purpose programming languages. We evaluate a collection of …

Automatic program repair (APR) is crucial to improve software reliability. Recently, neural
machine translation (NMT) techniques have been used to automatically fix software bugs …

We propose that digital technologies and related data become increasingly prevalent and
that, consequently, ethical concerns arise. Looking at four principal stakeholders, we …

Automated generate-and-validate (GV) program repair techniques (APR) typically rely on
hard-coded rules, thus only fixing bugs following specific fix patterns. These rules require a …

The ability to generate natural language sequences from source code snippets has a variety
of applications such as code summarization, documentation, and retrieval. Sequence-to …

We present a reinforcement learning framework, called Programmatically Interpretable
Reinforcement Learning (PIRL), that is designed to generate interpretable and verifiable …

We survey recent work on neurosymbolic programming, an emerging area that bridges the
areas of deep learning and program synthesis. Like in classic machine learning, the goal …