Program

Sun 8:30-10:00 am

Invited Talk (Chair: Richard Paige)

  • Opening
    (Eric Van Wyk, Martin Erwig, Richard Paige)

  • Dark Knowledge and Graph Grammars in Automated Software Design
    Don Batory, Rui Goncalves, Bryan Marker and Janet Siegmund

Sun 10:30-12:00 pm

Domain-Specific Languages (Chair: Mark van den Brand)

  • Developing a Domain-specific Language for Scheduling in the European Energy Sector
    Stefan Sobernig, Mark Strembeck and Andreas Beck

  • Micro-Machinations: A DSL for Game Economies
    Riemer van Rozen and Paul Klint

  • xMOF: Executable DSMLs based on fUML
    Tanja Mayerhofer, Philip Langer, Manuel Wimmer and Gerti Kappel

Sun 1:30-3:00 pm

Language Patterns & Evolution (Chair: Martin Erwig)

  • Variability Support in Domain-Specific Language Development
    Edoardo Vacchi, Walter Cazzola, Suresh Pillay and Benoît Combemale

  • Software Evolution to Domain-Specific Languages
    Stefan Fehrenbach, Sebastian Erdweg and Klaus Ostermann

  • Micropatterns in Grammars
    Vadim Zaytsev

Sun 3:30-5:00 pm

Grammars (Chair: Gorel Hedin)

  • Safe Specification of Operator Precedence Rules
    Ali Afroozeh, Mark Van Den Brand, Adrian Johnstone, Elizabeth Scott and Jurgen Vinju

  • Detecting ambiguity in programming language grammars
    Naveneetha Vasudevan and Laurence Tratt

  • A Pretty Good Formatting Pipeline
    Anya Helene Bagge and Tero Hasu

Mon 10:30-12:00 pm

Tools (Chair: Jurgen Vinju)

  • The State of the Art in Language Workbenches
    Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël Konat, Pedro J. Molina, Martin Palatnik, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth and Jimi van der Woning

  • A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
    Papa Issa Diallo, Joël Champeau and Loïc Lagadec

  • Whiley: a Platform for Research in Software Verification
    David Pearce and Lindsay Groves

  • Method and tool support for classifying software languages with Wikipedia
    Ralf Laemmel, Dominik Mosen and Andrei Varanovich

Mon 1:30-3:00 pm

Language Analysis (Chair: Eric Van Wyk)

  • Language-Parametric Incremental Name and Type Analysis
    Guido H. Wachsmuth, Gabriël D.P. Konat, Vlad A. Vergu, Danny M. Groenewegen and Eelco Visser

  • A Generic Framework for Symbolic Execution
    Andrei Arusoaie, Dorel Lucanu and Vlad Rusu

  • Circular Higher-order Attribute Grammars
    Emma Söderberg and Görel Hedin

Mon 3:30-5:00 pm

Meta- and Megamodeling (Chair: Richard Paige)

  • Mapping-Aware Megamodeling: Design Patterns and Laws
    Zinovy Diskin, Sahar Kokaly and Tom Maibaum

  • Partial Instances via Subclassing
    Kacper Bak, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki and Andrzej Wasowski

  • Reifying Concurrency for Executable Metamodeling
    Benoît Combemale, Julien Deantoni, Matias Vara Larsen, Frederic Mallet, Olivier Barais, Benoit Baudry and Robert France