Program synthesis is the task of automatically finding a program in the underlying
programming language that satisfies the user intent expressed in the form of some …

We present a new method for automatically providing feedback for introductory
programming problems. In order to use this method, we need a reference implementation of …

A key problem in the adoption of artificial neural networks in safety-related applications is
that misbehaviors can be hardly ruled out with traditional analytical or probabilistic …

This paper describes a novel technique for the synthesis of imperative programs. Automated
program synthesis has the potential to make programming and the design of systems easier …

We present a new approach for learning programs from noisy datasets. Our approach is
based on two new concepts: a regularized program generator which produces a candidate …

Fixing software bugs has always been an important and time-consuming process in software
development. Fixing concurrency bugs has become especially critical in the multicore era …

Concurrency bugs are widespread in multithreaded programs. Fixing them is time-
consuming and error-prone. We present CFix, a system that automates the repair of …

Graph-based games are an important tool in computer science. They have applications in
synthesis, verification, refinement, and far beyond. We review graph-based games with …

We present a new approach to example-guided program synthesis based on
counterexample-guided abstraction refinement. Our method uses the abstract semantics of …

In recent years, Satisfiability Modulo Theory (SMT) solvers are becoming increasingly
popular in the Computer Aided Verification and Reasoning community. Used natively or as …