Accepted Papers

  • Gradually Typing Strategies, Jeff Smits, Eelco Visser

  • A Family of Languages for Trustworthy Agent-Based Simulation, Steffen Zschaler, Fiona A. C. Polack

  • Annotating Executable DSLs with Energy Estimation Formulas, Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé

  • A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars, Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer

  • A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation, Nils Weidmann, Lars Fritsche, Anthony Anjorin

  • Software Language Engineers’ Worst Nightmare, Vadim Zaytsev

  • Principles and Patterns of JastAdd-style Reference Attribute Grammars, Niklas Fors, Emma Söderberg, Görel Hedin

  • Tool Demo: A Gamified Interactive Feedback System for Grammar Development, Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer

  • Extrinsically Typed Operational Semantics for Functional Languages, Matteo Cimini, Dale Miller, Jeremy G. Siek

  • Towards the Optical Character Recognition of DSLs, Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, Jordi Cabot

  • Test Case Generation from Context-Free Grammars Using Generalized Traversal of LR-Automata, Christoff Rossouw, Bernd Fischer

  • Featherweight Swift: A Core Calculus for Swift’s Type System, Dimitri, Didier

  • Untangling mechanized proofs, Clément Pit-Claudel

  • Monadification of Attribute Grammars, Dawn Michaelson, Eric Van Wyk

  • Behavior Trees in Action: A Study of Robotics Applications, Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski

  • Strategic Tree Rewriting in Attribute Grammars, Lucas Kramer, Eric Van Wyk

  • A semantic framework for PEGs, Sérgio Queiroz de Medeiros, Carlos Olarte

  • Example-Driven Software Language Engineering, Mikhail Barash

  • Grammar-based Testing for Little Languages, Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer

  • Modular and distributed IDE, Fabien Coulon, Alex Auvolat, Benoit Combemale, Yerom-David Bromberg, François Taïni, Olivier Barais, Noël Plouzeau

  • Block-Based Syntax from Context-Free Grammars, Mauricio Verano Merino, Tijs van der Storm