From GSDLab GRACE Wiki
GRACE International Meeting on Bidirectional Transformations
Shonan Village Center, Japan
14-18 December
Schedule
Overview
|
| Morning
| Afternoon
| Evening
|
| 14 December
|
| Arrival
| Welcome reception
|
| 15 December
| Short talks
| Short talks
| Scheduling discussion
|
| 16 December
| Session I
| Excursion
| Demos
|
| 17 December
| Session II
| Session III
| Banquet
|
| 18 December
| Wrapup discussion
| Departure
|
15 December — Short Talks
- Languages
- Robert Glück
- Holger Bock Axelsen [ pdf | pptx ]
- Kazutaka Matsuda [ pdf ]
- Keisuke Nakano [ pdf ]
- Meng Wang [ pdf ]
- Zhenjiang Hu [ pdf ]
- Nate Foster [ pdf ]
- Languages and Applications
- Shin-Cheng Mu [ pdf ]
- Janis Voigtländer [ pdf ]
- Ralf Lämmel [ pdf ]
- Davit Lutterkort [ pdf ]
- Kathleen Fisher [ ppt ]
- Jacome Cunha [ pdf ]
- Hiroyuki Kato [ pdf ]
- Models
- Andy Schürr [ pdf ]
- Bernd Fischer [ ppt ]
- Alfonso Pierantonio [ pdf ]
- Ali Razavi [ pdf | pptx ]
- Kryzsztof Czarnecki [ pdf | ppsx ]
- Zinovy Diskin [ pdf ]
- Soichiro Hidaka [ pdf ]
- Models and Transformations
- Jean Bezivin [ pdf ]
- Davide Di Ruscio [ pdf ]
- Antonio Vallecillo [ pdf ]
- Andrzej Wasowski [ pdf ]
- James Terwilliger [ pdf | pptx ]
- Hui Song [ pdf ]
- Yingfei Xiong [ pdf | pptx ]
16 December
- 9:00-10:30
- Andy Schürr - Triple Graph Grammar (tutorial) [ pdf ]
- Janis Voigtländer - Free Theorems and Bidirectional Transformations [ pdf ]
- Nate Foster - Quotient Lenses [ pdf ]
- James Terwilliger - Graphical User Interfaces as Updatable Views [ pdf | pptx ]
- 11:00 - 12:30
- Antonio Vallecillo - Realizing Correspondences in Multi-viewpoint Specifications [ pdf | ppt ]
- Zinovy Diskin - Algebraic Semantics for Model Translation [ pdf ]
- Discussion on Properties of Bidirectional Transformations [ pdf ]
17 December
- 9:00 - 10:30
- Robert Glück - Reversible Programming Languages (tutorial)
- Holger Axelsen - Reversible Flowchart Languages [ pdf | pptx ]
- Kathleen Fisher - Format Inference [ ppt ]
- 11-12:30
- Zhenjiang Hu - Inversion in Parallelization [ pdf ]
- Ralf Lämmel - A Suite for Coupled Grammar Transformations [ pdf ]
- Kazutaka Matsuda - Bidirectionalization of Programs with Duplication through Complement Function Derivation [ pdf ]
- Discussion of Terminology [ Notes ]
- 14:00-15:30
- Meng Wang - Translucent Abstraction: Safe Views Through Bidirectional Transformations [ pdf ]
- Hiroyuki Kato - Introduction to UnQL+ [ pdf ]
- Soichiro Hidaka - Bidirectional Graph Transformation using UnCAL [ pdf ]
- Shin-Cheng Mu - Inverse Computation for UnCAL [ pdf ]
- Krzyzstof Czarnecki - Bidirectional Transformations for Framework-Specific Modeling Languages [ pdf | ppsx ]
- Yingfei Xiong - Operation-Based Synchronization with Intra-Relation Support [ pdf ]
- 16:00-17:30
- Hui Song - Architecture-Based Runtime System Management [ pdf | [ pptx ]
- Davide Di Ruscio - Automating Co-Evolution in Model-Driven Engineering [ pdf ]
- Discussion of Benchmark Problems [ pdf ]
18 December
- 9:00-10:30
- Alfonso Pierantonio - Change Propagation in Model Transformation [ pdf ]
- Keisuke Nakano - Typechecking Model Transformation [ pdf ]
- 10:30-11:00
- Wrap-up Discussion [ pdf ]
