We propose a novel way to incorporate expert knowledge into the training of deep neural
networks. Many approaches encode domain constraints directly into the network …

We propose a new technique based on program synthesis for automatically generating
visualizations from natural language queries. Our method parses the natural language …

Library migration is a challenging problem, where most existing approaches rely on prior
knowledge. This can be, for example, information derived from changelogs or statistical …

Case split is a core proof rule in current decision procedures for the theory of string
constraints. Its use is the primary cause of the state space explosion in string constraint …

Data-Centric Synchronization (DCS) shifts the reasoning about concurrency restrictions from
control structures to data declaration. It is a high-level declarative approach that abstracts …

This paper is concerned with synthesizing programs based on black-box oracles: we are
interested in the case where there exists an executable implementation of a component or …

Porting specialized application components to new platforms is difficult. This is particularly
true if the components depend on proprietary libraries, or specific hardware. To tackle this …

Parametricity states that polymorphic functions behave the same regardless of how they are
instantiated. When develo** polymorphic programs, Wadler's free theorems can serve as …

Visualizations have become crucial in the contemporary data-driven world as they aid in
exploring, verifying, and sharing insights obtained from data. In this paper, we propose a …

Case split is a core proof rule in current decision procedures for the theory of string
constraints. Its use is the primary cause of the state space explosion in string constraint …