Program

Home
Program Committee
Accepted Papers and Talks
Proceedings

Program
Important Dates
Submission Guidelines

Click the titles for the abstracts, papers, and slides (if available).

09:00–10:30 Session 1: Databases and Model Transformations (Chair: James Cheney) 09:00–10:00 Zachary Ives: Mappings, Updates, 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

Rooms

• Workshop: MV (Mandeville Hall) 204
• Breakfast (from 8:30am), lunch, and coffee: MV 365