Bi-directional transformations (BX) – Theory and Applications Across Disciplines
Videos from BIRS Workshop
Janis Voigtlaender, University of Bonn
Monday Dec 2, 2013 09:19 - 10:16
Minitutorial: BX in PL
Richard Paige, University of York
Monday Dec 2, 2013 10:49 - 11:43
Minitutorial: BX in SE
Frank Hermann, University of Luxembourg
Monday Dec 2, 2013 14:21 - 15:28
Minitutorial: BX in GT
James Terwilliger, Microsoft Corporation
Monday Dec 2, 2013 15:51 - 16:52
Minitutorial: BX in DB
Perdita Stevens, LFCS Edinburgh
Monday Dec 2, 2013 17:05 - 17:36
Introduction to the Bx Example Repository
Manuel Alcino Cunha, Universidade do Minho
Tuesday Dec 3, 2013 09:02 - 09:14
Assessing Bidirectional Model Transformation Tools
Erhan Leblebici, TU Darmstadt
Tuesday Dec 3, 2013 09:14 - 09:25
What we need from the Bx example zoo
Yingfei Xiong, Peking University
Tuesday Dec 3, 2013 09:25 - 09:35
Computability of Combinators
Arend Rensink, University of Twente
Tuesday Dec 3, 2013 09:35 - 09:47
What can BX make from Sense?
Ekkart Kindler, Techical University of Denmark
Tuesday Dec 3, 2013 09:47 - 09:57
Challenging BX as a Software Engineer: What is a problem? How much BX do we need?
Meng Wang, Chalmers University
Tuesday Dec 3, 2013 09:57 - 10:12
Model/Implementation Synchronisation in Domain-Specific Programming Languages
Jeremy Gibbons, University of Oxford
Wednesday Dec 4, 2013 09:01 - 09:18
Incremental Updates and Non-Free Datatypes
James McKinna, University of Edinburgh
Wednesday Dec 4, 2013 09:19 - 09:36
Type Theory and Algebraic BX
Mike Johnson, Macquarie University
Wednesday Dec 4, 2013 09:42 - 09:56
Mathematical foundations for Bx: Symmetric lenses and spans
Meng Wang, Chalmers University
Wednesday Dec 4, 2013 09:57 - 10:12
Making Semantic Bidirectionalization More Applicable
Frank Hermann, University of Luxembourg
Wednesday Dec 4, 2013 11:00 - 11:18
Correctness and Completeness for Incremental Model Synchronisation Based on TGGs
Holger Giese, Hasso Plattner Institute für Softwaresystemtechnik GmbH
Wednesday Dec 4, 2013 11:18 - 11:36
The Implications of Optimality Results for Incremental Model Synchronization for TGGs
Fernando Orejas, Universitat Politècnica de Catalunya (UPC)
Wednesday Dec 4, 2013 11:36 - 11:52
Incrementality in Model Transformation with Triple Graph Grammars
Soichiro Hidaka, National Institute of Informatics
Wednesday Dec 4, 2013 11:53 - 12:10
Compositional development framework for bidirectional model transformations based on structural recursion on graphs
Zhenjiang Hu, National Institute for Informatics
Thursday Dec 5, 2013 08:56 - 09:14
Validation of Bidirectional Transformation
Albert Zuendorf, University of Kassel
Thursday Dec 5, 2013 09:15 - 09:33
Doing Model to Model transformations inplace with an intermediate generic graph
Yingfei Xiong, Peking University
Thursday Dec 5, 2013 09:33 - 09:48
BX from Synchronous Grammars
Arend Rensink, University of Twente
Thursday Dec 5, 2013 09:48 - 10:03
Semantics Preserving Transformation: An Impossible Dream?
James Cheney, University of Edinburgh
Thursday Dec 5, 2013 10:50 - 11:10
Bidirectionality, traceability and provenance
Tom Maibaum, McMaster University
Thursday Dec 5, 2013 11:10 - 11:26
A Conceptual Framework for BX
Jens Weber, University of Victoria
Thursday Dec 5, 2013 11:27 - 11:44
BX in Database Evolution: Implementation Alternatives and Trade-Offs
Hugo Pacheco, National Institute of Informatics
Thursday Dec 5, 2013 11:45 - 12:00
BiFlux: A Bidirectional Functional Update Language for XML
Kazutaka Matsuda, University of Tokyo
Thursday Dec 5, 2013 12:00 - 12:16
Relating a data structure and its text representation: A case study of pretty-printing and parsing
Soichiro Hidaka, National Institute of Informatics
Thursday Dec 5, 2013 16:19 - 16:35
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Martin Gogolla, University of Bremen
Thursday Dec 5, 2013 16:35 - 16:54
Modeling Language Transformations with USE
Frank Hermann, University of Luxembourg
Thursday Dec 5, 2013 16:55 - 17:13
HenshinTGG: TGG-Extension of HenshinEMF
