Proceedings at (BibTeX)

08:45-09:00 Opening Remarks: James Terwilliger [paper]
09:00-10:40 Session 1: Types, Transformations, and Benchmark
Chair: Soichiro Hidaka
09:00-09:15 Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala [paper]
Arif Wider
09:15-09:30 Towards a framework for multi-directional model transformations [paper]
Nuno Macedo, Alcino Cunha, Hugo Pacheco
09:30-09:45 Formalizing Semantic Bidirectionalization with Dependent Types [paper]
Helmut Grohne, Andres Löh, and Janis Voigtländer
09:45-10:00 Group discussion
10:00-10:15 BenchmarX [paper]
Anthony Anjorin, Manuel Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, and Andy Schürr
10:15-10:30 Towards a Repository of Bx Examples [paper]
James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens
10:30-10:40 Group discussion
10:40-11:00 Coffee Break
11:00-12:30 Session 2: Databases, Monads, and Lenses
Chair: James Terwilliger
11:00-11:15 Intersection Schemas as a Dataspace Integration Technique [paper]
Richard Brownlow and Alex Poulovassilis
11:15-11:30 Bidirectional Transformations in Database Evolution: A Case Study "At Scale" [paper (with updated email of the authors)]
Mathieu Beine, Nicolas Hames, Jens Weber, and Anthony Cleve
11:30-11:40 Group discussion
11:40-11:55 Entangled State Monads [paper]
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens
11:55-12:10 Spans of Lenses [paper]
Michael Johnson and Robert Rosebrugh
12:10-12:30 Group discussion and closing
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.