We present a system called Smyth for program sketching in a typed functional language
whereby the concrete evaluation of ordinary assertions gives rise to input-output examples …

We present an evaluation update (or simply, update) algorithm for a full-featured functional
programming language, which synthesizes program changes based on output changes …

Complex safety-critical systems require multiple models for a comprehensive description,
resulting in error-prone development and laborious verification. Bidirectional transformation …

Embedding is a language development technique that implements the object language as a
library in a host language. There are many advantages of the approach, including being …

Invertibility is a fundamental concept in computer science, with various manifestations in
software development (serializer/deserializer, parser/printer, redo/undo, compressor …

Modern software systems are becoming increasingly complex and are created by different
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …

We propose a technique for synthesizing bidirectional programs from the corresponding
unidirectional code plus a few input/output examples. The core ideas are:(1) constructing a …

Electronic medical data sharing between stakeholders, such as patients, doctors, and
researchers, can promote more effective medical treatment collaboratively. These sensitive …

Invertible programming languages specify transformations to be run in two directions, such
as compression/decompression or encryption/decryption. Two key concepts in invertible …

A bidirectional transformation is a pair of map**s between source and view data objects,
one in each direction. When the view is modified, the source is updated accordingly with …