Program
BX 2014
Important Dates
Program Committee
How to Submit
Accepted Papers
Program
Proceedings at CEUR-WS.org
Proceedings at CEUR-WS.org (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 |