Modifications to the data representation of an abstract data type (ADT) can require
significant semantic refactoring of the code. Motivated by this observation, this paper …

It is imperative to democratize robotic process automation (RPA), as RPA has become a
main driver of the digital transformation but is still technically very demanding to construct …

A key challenge in example-based program synthesis is the gigantic search space of
programs. To address this challenge, various work proposed to use abstract interpretation to …

The goal of programmatic Learning from Demonstration (LfD) is to learn a policy in a
programming language that can be used to control a robot's behavior from a set of user …

Since executing a smart contract on the Ethereum blockchain costs money (measured in
gas), smart contract developers spend significant effort in reducing gas usage. In this paper …

Containers, such as lists and maps, are fundamental data structures in modern
programming languages. However, improper choice of container types may lead to …

In this paper, we present a new synthesis method based on the novel concept of a constraint
annotated tree automaton (CATA). A CATA is a variant of a finite tree automaton (FTA) …

Big data analytics frameworks like Apache Spark and Flink enable users to implement
queries over large, distributed databases using functional APIs. In recent years, these APIs …

This paper presents a new synthesis-based approach for solving the Learning from
Demonstration (LfD) problem in robotics. Given a set of user demonstrations, the goal of …

Program synthesis tools automate programming itself, generating executable code from a
high-level specification. In recent years, type systems have proved an effective specification …