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

Title Page

Article: sle20foreword-fm000-p doi:

Message from the Chairs

Article: sle20foreword-fm001-p doi:

SLE 2020 Organization

Article: sle20foreword-fm002-p doi:

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

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: sle20main-p4-p doi:10.1145/3426425.3426928

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 Article: sle20main-p8-p doi:10.1145/3426425.3426929

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 Article: sle20main-p12-p doi:10.1145/3426425.3426930

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 Article: sle20main-p15-p doi:10.1145/3426425.3426931

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 Article: sle20main-p20-p doi:10.1145/3426425.3426932

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

Publisher's Version Video Article: sle20main-p27-p doi:10.1145/3426425.3426933

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 Article: sle20main-p32-p doi:10.1145/3426425.3426934

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 Article: sle20main-p39-p doi:10.1145/3426425.3426935

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 Article: sle20main-p44-p doi:10.1145/3426425.3426936

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 Article: sle20main-p50-p doi:10.1145/3426425.3426937

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 Article: sle20main-p55-p doi:10.1145/3426425.3426938

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

Publisher's Version Video Article: sle20main-p56-p doi:10.1145/3426425.3426939

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

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional Article: sle20main-p66-p doi:10.1145/3426425.3426940

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

Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: sle20main-p71-p doi:10.1145/3426425.3426941

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 Article: sle20main-p74-p doi:10.1145/3426425.3426942

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 Article: sle20main-p75-p doi:10.1145/3426425.3426943

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 Artifacts Available Artifacts Functional Article: sle20main-p78-p doi:10.1145/3426425.3426944

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

Publisher's Version Video Article: sle20main-p80-p doi:10.1145/3426425.3426945

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 Article: sle20main-p85-p doi:10.1145/3426425.3426946

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 Article: sle20main-p91-p doi:10.1145/3426425.3426947

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 Article: sle20main-p106-p doi:10.1145/3426425.3426948