EXHIBIT

Expressive High-Level Languages for Bidirectional Transformations

In computer systems, copies of data are very often stored in different formats. Bidirectional transformations are programs that synchronise the data pairwise: when one is changed, the appropriate transformation is run to incorporate the changes in the other format.

The aim of the EXHIBIT project is to streamline the development of bidirectional transformations through a new generation of bidirectional languages. A key design goal is that the new languages will be closely integrated with mainstream general-purpose languages, naturally reusing existing language constructs, libraries, and programming patterns to maximise the usability of the new framework.

News

Aug 31, 2021
Our paper “Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches” has been accepted for OOPSLA 2021.
May 28, 2020
The site has been moved to this page.
May 8, 2020
Our paper “Sparcl: A Language for Partially-Invertible Computation” has been accepted for ICFP 2020.
Nov 20, 2019
This project site is created.

Getting Involved

Just email us

Acknowledgement

Our research is partially supported by the following projects.