Program

Rooms

  • Workshop: MV (Mandeville Hall) 204
  • Breakfast (from 8:30am), lunch, and coffee: MV 365
09:00–10:30 Session 1: Databases and Model Transformations (Chair: James Cheney)
09:00–10:00 Zachary Ives:
Views, Update Propagation, and Provenance (Invited Talk)
10:00–10:30 Nils Weidmann, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr, and Erhan Leblebici:
Incremental Bidirectional Model Transformation with eMoflon::IBeX
10:30–11:00 Coffee Break
11:00–12:30 Session 2: Lenses and Beyond (Chair: Anders Miltner)
11:00–11:30 Zinovy Diskin:
A Toolbox of Lenses: Dimensions of the Lens Design Space
11:30–12:00 Brendan Fong and Michael Johnson:
Lenses and Learners
12:00–12:30 Anthony Anjorin, Enes Yigitbas, and Hermann Kaindl
Consistent Runtime Adaptation of User Interfaces
12:30–14:00 Lunch
14:00–15:30 Session 3: Multidirectionality and Categorical Foundations (Chair: Anthony Anjorin)
14:00–14:30 Michael Johnson and Robert Rosebrugh:
Multicategories of Multiary Lenses
14:30–15:00 Zinovy Diskin:
Reified Correspondences: A New Component of the Multiary Delta Lenses Framework
15:00–15:30 Michael Johnson and François Renaud:
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive
15:30–16:00 Coffee Break
16:00–18:00 Session 4: Bidirectionality and Reversibility (Chair: Josh Ko)
16:00–16:30 Mark Tullsen:
ASN.1 Encoding Schemes Done Right Using CMPCT
16:30–17:00 Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin Pierce, David Walker, and Steve Zdancewic:
Expanding the Power of Lens Synthesis
17:00–17:30 Jacques Carette and Amr Sabry:
Optics and Type Equivalences
17:30–18:00 Mikaël Mayer and Ravi Chugh:
A Bidirectional Krivine Evaluator
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.