While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous
progress in recent years, combining the two approaches has remained a challenge. In this …

Abstract Programming-by-example (PBE) is a synthesis paradigm that allows users to
generate functions by simply providing input-output examples. While a promising interaction …

Live Coding is a creative coding practice, where the act of programming itself constitutes a
performance. The code written during a Live Coding performance often generates media, for …

Loop-invariant synthesis is the basis of every program verification procedure. Due to its
undecidability in general, a tool for invariant synthesis necessarily uses heuristics. Despite …

Formal methods techniques, such as verification, analysis, and synthesis, allow
programmers to prove properties of their programs, or automatically derive programs from …

Software development is an increasingly pervasive branch of modern industry and an
increasingly dominant operating cost across industries and disciplines. There have been …