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 ORCID logo and Eelco Visser ORCID logo
(Delft University of Technology, Netherlands)
Publisher's Version Video Artifacts Functional
A Family of Languages for Trustworthy Agent-Based Simulation
Steffen ZschalerORCID logo and Fiona A. C. Polack ORCID logo
(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 ORCID logo, Jean-Marie Mottu, and Gerson Sunyé ORCID logo
(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 ZaytsevORCID logo
(University of Twente, Netherlands)
Publisher's Version Video Info
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Niklas Fors ORCID logo, Emma Söderberg ORCID logo, and Görel Hedin ORCID logo
(Lund University, Sweden)
Publisher's Version Video
An Interactive Feedback System for Grammar Development (Tool Paper)
Chelsea Barraball ORCID logo, Moeketsi Raselimo ORCID logo, and Bernd FischerORCID logo
(Stellenbosch University, South Africa)
Publisher's Version Video Artifacts Functional
Extrinsically Typed Operational Semantics for Functional Languages
Matteo Cimini ORCID logo, Dale MillerORCID logo, 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 ORCID logo, Roberto Rodriguez-Echeverria ORCID logo, Loli Burgueño ORCID logo, and Jordi CabotORCID logo
(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 ORCID logo and Bernd FischerORCID logo
(Stellenbosch University, South Africa)
Publisher's Version Video Artifacts Functional
Featherweight Swift: A Core Calculus for Swift’s Type System
Dimitri Racordon ORCID logo and Didier Buchs
(University of Geneva, Switzerland)
Publisher's Version Video
Untangling Mechanized Proofs
Clément Pit-ClaudelORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version Artifacts Reusable Artifacts Functional
Monadification of Attribute Grammars
Dawn Michaelson and Eric Van Wyk ORCID logo
(University of Minnesota, USA)
Publisher's Version Video Artifacts Functional
Behavior Trees in Action: A Study of Robotics Applications
Razan Ghzouli ORCID logo, Thorsten Berger, Einar Broch Johnsen ORCID logo, Swaib Dragule, and Andrzej WąsowskiORCID logo
(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 ORCID logo and Eric Van Wyk ORCID logo
(University of Minnesota, USA)
Publisher's Version Video Artifacts Functional
A Semantic Framework for PEGs
Sérgio Queiroz de Medeiros ORCID logo and Carlos OlarteORCID logo
(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 ORCID logo, Moeketsi Raselimo ORCID logo, Konstantinos Sagonas ORCID logo, and Bernd FischerORCID logo
(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 ORCID logo, 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 MerinoORCID logo and Tijs van der Storm ORCID logo
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)
Publisher's Version Video Artifacts Functional

proc time: 5.33