SLE 2018 – Proceedings

Frontmatter

Keynote

A New Approach for Software Correctness and Reliability (Keynote)
Martin C. Rinard
(Massachusetts Institute of Technology, USA)

Publisher's Version Article: sle18main-inv1-p (type: Invited Talk Abstract) doi:10.1145/3276604.3284957

Parsing

Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Sebastian Erdweg, and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p15-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276607

GLL Parsing with Flexible Combinators
L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone
(Royal Holloway University of London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p40-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276618

Morbig: A Static Parser for POSIX Shell
Yann Régis-Gianas, Nicolas Jeannerod, and Ralf Treinen
(IRIF, France; University of Paris Diderot, France; CNRS, France; Inria, France; ENS, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p30-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276615

Input-Driven Regular Expressions (Vision Paper)
Alexander Sakharov
(Synstretch, USA)

Publisher's Version Article: sle18main-p6-p (type: Full Paper (New Ideas / Vision Paper, 4 pages + references)) doi:10.1145/3276604.3276606

Language Composition

Modular Language Composition for the Masses
Manuel Leduc, Thomas Degueule, and Benoit Combemale
(University of Rennes, France; Inria, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Toulouse, France; IRIT, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p52-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276622

Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Filip Strömbäck
(Linköping University, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p24-p (type: Full Paper (Tool Paper, 4 pages + references)) doi:10.1145/3276604.3276982

Languages as First-Class Citizens (Vision Paper)
Matteo Cimini
(University of Massachusetts at Lowell, USA)

Publisher's Version Article: sle18main-p46-p (type: Full Paper (New Ideas / Vision Paper, 4 pages + references)) doi:10.1145/3276604.3276983

Validation and Verification

Continuous Model Validation using Reference Attribute Grammars
Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, and Uwe Aßmann
(TU Dresden, Germany; Lund University, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p34-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276616

Migrating Business Logic to an Incremental Computing DSL: A Case Study
Daco C. Harkes, Elmer van Chastelet, and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version Article: sle18main-p36-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276617

An Industrial Case Study in Compiler Testing (Tool Demo)
Vadim Zaytsev
(Raincode Labs, Belgium)

Publisher's Version Article: sle18main-p44-p (type: Full Paper (Tool Paper, 4 pages + references)) doi:10.1145/3276604.3276619

Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)
Benoît Ries, Alfredo Capozucca, and Nicolas Guelfi
(University of Luxembourg, Luxembourg)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p27-p (type: Full Paper (Tool Paper, 4 pages + references)) doi:10.1145/3276604.3276614

Types and Constraints

Constraint-based Run-time State Migration for Live Modeling
Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm, and Thomas Degueule
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; University of Groningen, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p20-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276611

The Next 700 Unit of Measurement Checkers
Oscar Bennich-Björkman and Steve McKeever
(Uppsala University, Sweden)

Publisher's Version Article: sle18main-p25-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276613

A Practical Type System for Safe Aliasing
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: sle18main-p21-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276612

Grammars and Metamodeling

Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
Juan de Lara, Esther Guerra, Jörg Kienzle, and Yanis Hattab
(Autonomous University of Madrid, Spain; McGill University, Canada)

Publisher's Version Article: sle18main-p19-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276610

Analysing Meta-Model Product Lines
Esther Guerra, Juan de Lara, Marsha Chechik, and Rick Salay
(Autonomous University of Madrid, Spain; University of Toronto, Canada)

Publisher's Version Article: sle18main-p18-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276609

Translating Grammars to Accurate Metamodels
Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann
(RWTH Aachen University, Germany)

Publisher's Version Article: sle18main-p4-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276605

Deriving Fluent Internal Domain-Specific Languages from Grammars
Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann
(RWTH Aachen University, Germany)

Publisher's Version Article: sle18main-p51-p (type: Full Paper (Research Paper, 12 pages + references)) doi:10.1145/3276604.3276621

Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
Benoît Lelandais, Marie-Pierre Oudot, and Benoit Combemale
(CEA, France; DAM, France; DIF, France; University of Toulouse, France; Inria, France)

Publisher's Version Article: sle18main-p50-p (type: Full Paper (Tool Paper, 4 pages + references)) doi:10.1145/3276604.3276620

Language Workbenches

Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)
Jasper Denkers, Louis van Gool, and Eelco Visser
(Delft University of Technology, Netherlands; Océ, Netherlands)

Publisher's Version Article: sle18main-p17-p (type: Full Paper (Tool Paper, 4 pages + references)) doi:10.1145/3276604.3276608

Bacatá: A Language Parametric Notebook Generator (Tool Demo)
Mauricio Verano Merino, Jurgen Vinju, and Tijs van der Storm
(Eindhoven University of Technology, Netherlands; CWI, Netherlands; University of Groningen, Netherlands)

Publisher's Version Article: sle18main-p23-p (type: Full Paper (Tool Paper, 4 pages + references)) doi:10.1145/3276604.3276981

Shape-Diverse DSLs: Languages without Borders (Vision Paper)
Fabien Coulon, Thomas Degueule, Tijs van der Storm, and Benoit Combemale
(University of Toulouse, France; IRIT, France; Obeo, France; CWI, Netherlands; University of Groningen, Netherlands; Inria, France)

Publisher's Version Article: sle18main-p53-p (type: Full Paper (New Ideas / Vision Paper, 4 pages + references)) doi:10.1145/3276604.3276623

proc time: 0.04