SLE 2020
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020)
Powered by
Conference Publishing Consulting

13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020), November 16-17, 2020, Virtual, USA

SLE 2020 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
SLE 2020 Organization

Papers

Gradually Typing Strategies
Jeff Smits and Eelco Visser
(Delft University of Technology, Netherlands)
Publisher's Version Video 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 Video 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 Video 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 Video 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 Artifacts Reusable Artifacts Functional
Monadification of Attribute Grammars
Dawn Michaelson and Eric Van Wyk
(University of Minnesota, USA)
Publisher's Version Video 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 Video Artifacts Functional
Strategic Tree Rewriting in Attribute Grammars
Lucas Kramer and Eric Van Wyk
(University of Minnesota, USA)
Publisher's Version Video 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 Video Info 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 Video 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 Video Artifacts Functional

proc time: 6.76