SLE 2020
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020)

Title Page

Message from the Chairs

SLE 2020 Organization

Gradually Typing Strategies
Jeff Smits and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

A Family of Languages for Trustworthy Agent-Based Simulation
Steffen Zschaler and Fiona A. C. Polack
(King's College London, UK; Keele University, UK)

Publisher's Version Video

Annotating Executable DSLs with Energy Estimation Formulas
Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, and Gerson Sunyé
(IMT Atlantique, France; ICAM, France; LS2N, France; University of Nantes, France)

Publisher's Version Video Artifacts Functional

A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, and Gabriele Taentzer
(TU Darmstadt, Germany; University of Marburg, Germany)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Reusable Artifacts Functional

A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Nils Weidmann, Lars Fritsche, and Anthony Anjorin
(University of Paderborn, Germany; TU Darmstadt, Germany; IAV, Germany)

Publisher's Version Video

Software Language Engineers’ Worst Nightmare
Vadim Zaytsev
(University of Twente, Netherlands)

Publisher's Version Video Info

Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Niklas Fors, Emma Söderberg, and Görel Hedin
(Lund University, Sweden)

Publisher's Version Video

An Interactive Feedback System for Grammar Development (Tool Paper)
Chelsea Barraball, Moeketsi Raselimo, and Bernd Fischer
(Stellenbosch University, South Africa)

Publisher's Version Video Artifacts Functional

Extrinsically Typed Operational Semantics for Functional Languages
Matteo Cimini, Dale Miller, and Jeremy G. Siek
(University of Massachusetts at Lowell, USA; Inria, France; École Polytechnique, France; Indiana University, USA)

Publisher's Version Video

Towards the Optical Character Recognition of DSLs
Jorge Perianez-Pascual, Roberto Rodriguez-Echeverria, Loli Burgueño, and Jordi Cabot
(University of Extremadura, Spain; Open University of Catalonia, Spain)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
Christoff Rossouw and Bernd Fischer
(Stellenbosch University, South Africa)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Featherweight Swift: A Core Calculus for Swift’s Type System
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)

Publisher's Version Video

Untangling Mechanized Proofs
Clément Pit-Claudel
(Massachusetts Institute of Technology, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional

Monadification of Attribute Grammars
Dawn Michaelson and Eric Van Wyk
(University of Minnesota, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, and Andrzej Wąsowski
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Oslo, Norway; IT University of Copenhagen, Denmark)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Strategic Tree Rewriting in Attribute Grammars
Lucas Kramer and Eric Van Wyk
(University of Minnesota, USA)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

A Semantic Framework for PEGs
Sérgio Queiroz de Medeiros and Carlos Olarte
(Federal University of Rio Grande do Norte, Brazil)

Publisher's Version Published Artifact Video Info Artifacts Available Artifacts Functional

Example-Driven Software Language Engineering
Mikhail Barash
(University of Bergen, Norway)

Publisher's Version Video

Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer
(Stellenbosch University, South Africa; Uppsala University, Sweden)

Publisher's Version Video Artifacts Functional

Modular and Distributed IDE
Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, and Noël Plouzeau
(Obeo, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

Block-Based Syntax from Context-Free Grammars
Mauricio Verano Merino and Tijs van der Storm
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional