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)


@InProceedings{SLE20p1, author = {Jeff Smits and Eelco Visser}, title = {Gradually Typing Strategies}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3426425.3426928}, year = {2020}, } 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)


@InProceedings{SLE20p22, author = {Steffen Zschaler and Fiona A. C. Polack}, title = {A Family of Languages for Trustworthy Agent-Based Simulation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3426425.3426929}, year = {2020}, } 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)


@InProceedings{SLE20p29, author = {Thibault Béziers la Fosse and Massimo Tisi and Jean-Marie Mottu and Gerson Sunyé}, title = {Annotating Executable DSLs with Energy Estimation Formulas}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3426425.3426930}, year = {2020}, } 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)


@InProceedings{SLE20p50, author = {Lars Fritsche and Jens Kosiol and Adrian Möller and Andy Schürr and Gabriele Taentzer}, title = {A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {50-49}, doi = {10.1145/3426425.3426931}, year = {2020}, } 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)


@InProceedings{SLE20p71, author = {Nils Weidmann and Lars Fritsche and Anthony Anjorin}, title = {A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3426425.3426932}, year = {2020}, } Publisher's Version Video

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


@InProceedings{SLE20p92, author = {Vadim Zaytsev}, title = {Software Language Engineers’ Worst Nightmare}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {92-91}, doi = {10.1145/3426425.3426933}, year = {2020}, } Publisher's Version Video

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


@InProceedings{SLE20p113, author = {Niklas Fors and Emma Söderberg and Görel Hedin}, title = {Principles and Patterns of JastAdd-Style Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3426425.3426934}, year = {2020}, } Publisher's Version Video

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


@InProceedings{SLE20p134, author = {Chelsea Barraball and Moeketsi Raselimo and Bernd Fischer}, title = {An Interactive Feedback System for Grammar Development (Tool Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3426425.3426935}, year = {2020}, } 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)


@InProceedings{SLE20p141, author = {Matteo Cimini and Dale Miller and Jeremy G. Siek}, title = {Extrinsically Typed Operational Semantics for Functional Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3426425.3426936}, year = {2020}, } 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)


@InProceedings{SLE20p162, author = {Jorge Perianez-Pascual and Roberto Rodriguez-Echeverria and Loli Burgueño and Jordi Cabot}, title = {Towards the Optical Character Recognition of DSLs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {162-161}, doi = {10.1145/3426425.3426937}, year = {2020}, } 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)


@InProceedings{SLE20p169, author = {Christoff Rossouw and Bernd Fischer}, title = {Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {169-168}, doi = {10.1145/3426425.3426938}, year = {2020}, } 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)


@InProceedings{SLE20p176, author = {Dimitri Racordon and Didier Buchs}, title = {Featherweight Swift: A Core Calculus for Swift’s Type System}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {176-175}, doi = {10.1145/3426425.3426939}, year = {2020}, } Publisher's Version Video

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


@InProceedings{SLE20p197, author = {Clément Pit-Claudel}, title = {Untangling Mechanized Proofs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {197-196}, doi = {10.1145/3426425.3426940}, year = {2020}, } 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)


@InProceedings{SLE20p218, author = {Dawn Michaelson and Eric Van Wyk}, title = {Monadification of Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {218-217}, doi = {10.1145/3426425.3426941}, year = {2020}, } 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)


@InProceedings{SLE20p239, author = {Razan Ghzouli and Thorsten Berger and Einar Broch Johnsen and Swaib Dragule and Andrzej Wąsowski}, title = {Behavior Trees in Action: A Study of Robotics Applications}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3426425.3426942}, year = {2020}, } 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)


@InProceedings{SLE20p260, author = {Lucas Kramer and Eric Van Wyk}, title = {Strategic Tree Rewriting in Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {260-259}, doi = {10.1145/3426425.3426943}, year = {2020}, } 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)


@InProceedings{SLE20p281, author = {Sérgio Queiroz de Medeiros and Carlos Olarte}, title = {A Semantic Framework for PEGs}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3426425.3426944}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional

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


@InProceedings{SLE20p302, author = {Mikhail Barash}, title = {Example-Driven Software Language Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {302-301}, doi = {10.1145/3426425.3426945}, year = {2020}, } 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)


@InProceedings{SLE20p309, author = {Phillip van Heerden and Moeketsi Raselimo and Konstantinos Sagonas and Bernd Fischer}, title = {Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3426425.3426946}, year = {2020}, } 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)


@InProceedings{SLE20p330, author = {Fabien Coulon and Alex Auvolat and Benoit Combemale and Yérom-David Bromberg and François Taïani and Olivier Barais and Noël Plouzeau}, title = {Modular and Distributed IDE}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {330-329}, doi = {10.1145/3426425.3426947}, year = {2020}, } 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)


@InProceedings{SLE20p351, author = {Mauricio Verano Merino and Tijs van der Storm}, title = {Block-Based Syntax from Context-Free Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {351-350}, doi = {10.1145/3426425.3426948}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional