Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

Abstract Model transformations are a key element in the OMG's Model Driven Development
agenda. They did not begin here: the fundamental idea of transforming, automatically, one …

Architecture specifications notionally define the fundamental interface between hardware
and software: the envelope of allowed behaviour for processor implementations, and the …

We propose a categorical semantics of gradient-based machine learning algorithms in terms
of lenses, parametric maps, and reverse derivative categories. This foundation provides a …

We present Aeneas, a new verification toolchain for Rust programs based on a lightweight
functional translation. We leverage Rust's rich region-based type system to eliminate …

A bidirectional transformation (BX) keeps a pair of interrelated models synchronized.
Symmetric BXs are those for which neither model in the pair fully determines the other. We …

Over the past two decades machine learning has permeated almost every realm of
technology. At the same time, many researchers have begun using category theory as a …

Lenses--bidirectional transformations between pairs of connected structures--have been
extensively studied and are beginning to find their way into industrial practice. However …

Science, industry, and society are being revolutionized by radical new capabilities for
information sharing, distributed computation, and collaboration offered by the World Wide …

Bidirectional model transformation is a key technology in model-driven engineering (MDE),
when two models that can change over time have to be kept constantly consistent with each …