SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
ParsingSLE 2018 at Studio 1
Chair(s): Tijs van der StormCWI & University of Groningen
10:30
30m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
SLE 2018
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Link to publication DOI
11:00
30m
Talk
GLL Parsing with Flexible Combinators
SLE 2018
L. Thomas van BinsbergenRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London, Adrian Johnstone
File Attached
11:30
30m
Talk
Morbig: A Static Parser for POSIX Shell
SLE 2018
Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas JeannerodIRIF, University Paris Diderot and CNRS, France, Ralf TreinenIRIF
13:30 - 15:00
Parsing / CompositionSLE 2018 at Studio 1
Chair(s): Eelco VisserDelft University of Technology
13:30
20m
Talk
Input-Driven Regular Expressions (Vision Paper)Vision / New Idea
SLE 2018
13:50
30m
Talk
Modular Language Composition for the Masses
SLE 2018
Manuel LeducUniv Rennes, Inria, CNRS, IRISA, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1
DOI Pre-print
14:20
20m
Talk
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo
SLE 2018
Filip StrömbäckLinköping University
DOI
14:40
20m
Talk
Languages as First-Class Citizens (Vision Paper)Vision / New Idea
SLE 2018
Matteo CiminiUniversity of Massachusetts Lowell
15:30 - 17:30
Validation & VerificationSLE 2018 at Studio 1
Chair(s): Marsha ChechikUniversity of Toronto
15:30
30m
Talk
Continuous Model Validation using Reference Attribute Grammars
SLE 2018
Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print Media Attached
16:00
30m
Talk
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE 2018
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
16:30
20m
Talk
An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo
SLE 2018
Vadim ZaytsevRaincode Labs
16:50
20m
Talk
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo
SLE 2018
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg
DOI

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote: RinardSLE 2018 at Studio 1
08:30
15m
Day opening
Awards
SLE 2018
Friedrich SteimannFernuniversität, Tanja MayerhoferTU Wien, Matthew RobertsMacquarie University, Romina EramoUniversity of L'Aquila
08:45
75m
Talk
A New Approach for Software Correctness and ReliabilityKeynote
SLE 2018
Martin RinardMassachusetts Institute of Technology
10:30 - 12:00
Types & ConstraintsSLE 2018 at Studio 1
Chair(s): Ralf LaemmelFacebook London
10:30
30m
Talk
Constraint-based Run-time State Migration for Live Modeling
SLE 2018
Ulyana TikhonovaCWI, Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Thomas DegueuleCentrum Wiskunde & Informatica
11:00
30m
Talk
The Next 700 Unit Checkers
SLE 2018
Oscar Bennich-BjörkmanUppsala University, Steve McKeeverUppsala University
11:30
30m
Talk
A Practical Type System for Safe Aliasing
SLE 2018
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
13:30 - 15:00
Grammars & MetamodellingSLE 2018 at Studio 1
Chair(s): Thomas DegueuleCentrum Wiskunde & Informatica
13:30
30m
Talk
Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
SLE 2018
Juan de LaraUniversidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg KienzleMcGill University, Canada, Yanis HattabMcGill University
14:00
30m
Talk
Analysing Meta-Model Product Lines
SLE 2018
Esther Guerra Universidad Autónoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid, Marsha ChechikUniversity of Toronto, Rick SalayUniversity of Toronto
14:30
30m
Talk
Translating Grammars to Accurate Metamodels
SLE 2018
Arvid ButtingSoftware Engineering RWTH Aachen University, Nico JansenSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University
15:30 - 17:30
Grammars & Metamodelling / WorkbenchesSLE 2018 at Studio 1
Chair(s): Juan de LaraUniversidad Autónoma de Madrid
15:30
30m
Talk
Deriving Fluent Internal Domain-Specific Languages from Grammars
SLE 2018
Arvid ButtingSoftware Engineering RWTH Aachen University, Manuela DaliborSoftware Engineering, RWTH Aachen University, Gerrit LeonhardtSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University
16:00
20m
Talk
Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo
SLE 2018
Benoît LelandaisCEA/DAM/DIF, France, Marie-Pierre OudotCEA/DAM/DIF, France, Benoit CombemaleUniversity of Rennes 1
16:20
20m
Talk
Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Tool Demo
SLE 2018
Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology
Link to publication DOI
16:40
20m
Talk
Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo
SLE 2018
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der StormCWI & University of Groningen
17:00
20m
Talk
Shape-Diverse DSLs: Languages without Borders (Vision Paper)Vision / New Idea
SLE 2018
Fabien CoulonUniversity of Toulouse / Obeo, Thomas DegueuleCentrum Wiskunde & Informatica, Tijs van der StormCWI & University of Groningen, Benoit CombemaleUniversity of Rennes 1
Pre-print

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Studio 1

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)