SLE 2018 – Author Index

A B C D E F G H J K L M O R S T V W Z

	Amorim, Luís Eduardo de Souza	SLE '18: "Declarative Specification ..." 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) @InProceedings{SLE18p3, author = {Luís Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser}, title = {Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3276604.3276607}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Aßmann, Uwe	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bennich-Björkman, Oscar	SLE '18: "The Next 700 Unit of Measurement ..." The Next 700 Unit of Measurement Checkers Oscar Bennich-Björkman and Steve McKeever (Uppsala University, Sweden) @InProceedings{SLE18p138, author = {Oscar Bennich-Björkman and Steve McKeever}, title = {The Next 700 Unit of Measurement Checkers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {138-137}, doi = {10.1145/3276604.3276613}, year = {2018}, } Publisher's Version
	Buchs, Didier	SLE '18: "A Practical Type System for ..." A Practical Type System for Safe Aliasing Dimitri Racordon and Didier Buchs (University of Geneva, Switzerland) @InProceedings{SLE18p153, author = {Dimitri Racordon and Didier Buchs}, title = {A Practical Type System for Safe Aliasing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3276604.3276612}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Butting, Arvid	SLE '18: "Translating Grammars to Accurate ..." Translating Grammars to Accurate Metamodels Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p198, author = {Arvid Butting and Nico Jansen and Bernhard Rumpe and Andreas Wortmann}, title = {Translating Grammars to Accurate Metamodels}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {198-197}, doi = {10.1145/3276604.3276605}, year = {2018}, } Publisher's Version SLE '18: "Deriving Fluent Internal Domain-Specific ..." Deriving Fluent Internal Domain-Specific Languages from Grammars Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p213, author = {Arvid Butting and Manuela Dalibor and Gerrit Leonhardt and Bernhard Rumpe and Andreas Wortmann}, title = {Deriving Fluent Internal Domain-Specific Languages from Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3276604.3276621}, year = {2018}, } Publisher's Version
	Capozucca, Alfredo	SLE '18: "Messir: A Text-First DSL-Based ..." 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) @InProceedings{SLE18p117, author = {Benoît Ries and Alfredo Capozucca and Nicolas Guelfi}, title = {Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3276604.3276614}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chechik, Marsha	SLE '18: "Analysing Meta-Model Product ..." Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara, Marsha Chechik, and Rick Salay (Autonomous University of Madrid, Spain; University of Toronto, Canada) @InProceedings{SLE18p183, author = {Esther Guerra and Juan de Lara and Marsha Chechik and Rick Salay}, title = {Analysing Meta-Model Product Lines}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3276604.3276609}, year = {2018}, } Publisher's Version
	Cimini, Matteo	SLE '18: "Languages as First-Class Citizens ..." Languages as First-Class Citizens (Vision Paper) Matteo Cimini (University of Massachusetts at Lowell, USA) @InProceedings{SLE18p75, author = {Matteo Cimini}, title = {Languages as First-Class Citizens (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {75-74}, doi = {10.1145/3276604.3276983}, year = {2018}, } Publisher's Version
	Combemale, Benoit	SLE '18: "Fostering Metamodels and Grammars ..." 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) @InProceedings{SLE18p228, author = {Benoît Lelandais and Marie-Pierre Oudot and Benoit Combemale}, title = {Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {228-227}, doi = {10.1145/3276604.3276620}, year = {2018}, } Publisher's Version SLE '18: "Shape-Diverse DSLs: Languages ..." 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) @InProceedings{SLE18p246, author = {Fabien Coulon and Thomas Degueule and Tijs van der Storm and Benoit Combemale}, title = {Shape-Diverse DSLs: Languages without Borders (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {246-245}, doi = {10.1145/3276604.3276623}, year = {2018}, } Publisher's Version SLE '18: "Modular 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) @InProceedings{SLE18p54, author = {Manuel Leduc and Thomas Degueule and Benoit Combemale}, title = {Modular Language Composition for the Masses}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3276604.3276622}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Coulon, Fabien	SLE '18: "Shape-Diverse DSLs: Languages ..." 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) @InProceedings{SLE18p246, author = {Fabien Coulon and Thomas Degueule and Tijs van der Storm and Benoit Combemale}, title = {Shape-Diverse DSLs: Languages without Borders (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {246-245}, doi = {10.1145/3276604.3276623}, year = {2018}, } Publisher's Version
	Dalibor, Manuela	SLE '18: "Deriving Fluent Internal Domain-Specific ..." Deriving Fluent Internal Domain-Specific Languages from Grammars Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p213, author = {Arvid Butting and Manuela Dalibor and Gerrit Leonhardt and Bernhard Rumpe and Andreas Wortmann}, title = {Deriving Fluent Internal Domain-Specific Languages from Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3276604.3276621}, year = {2018}, } Publisher's Version
	Degueule, Thomas	SLE '18: "Constraint-based Run-time ..." 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) @InProceedings{SLE18p123, author = {Ulyana Tikhonova and Jouke Stoel and Tijs van der Storm and Thomas Degueule}, title = {Constraint-based Run-time State Migration for Live Modeling}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {123-122}, doi = {10.1145/3276604.3276611}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional SLE '18: "Shape-Diverse DSLs: Languages ..." 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) @InProceedings{SLE18p246, author = {Fabien Coulon and Thomas Degueule and Tijs van der Storm and Benoit Combemale}, title = {Shape-Diverse DSLs: Languages without Borders (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {246-245}, doi = {10.1145/3276604.3276623}, year = {2018}, } Publisher's Version SLE '18: "Modular 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) @InProceedings{SLE18p54, author = {Manuel Leduc and Thomas Degueule and Benoit Combemale}, title = {Modular Language Composition for the Masses}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3276604.3276622}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	De Lara, Juan	SLE '18: "Facet-Oriented Modelling: ..." 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) @InProceedings{SLE18p168, author = {Juan de Lara and Esther Guerra and Jörg Kienzle and Yanis Hattab}, title = {Facet-Oriented Modelling: Open Objects for Model-Driven Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {168-167}, doi = {10.1145/3276604.3276610}, year = {2018}, } Publisher's Version SLE '18: "Analysing Meta-Model Product ..." Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara, Marsha Chechik, and Rick Salay (Autonomous University of Madrid, Spain; University of Toronto, Canada) @InProceedings{SLE18p183, author = {Esther Guerra and Juan de Lara and Marsha Chechik and Rick Salay}, title = {Analysing Meta-Model Product Lines}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3276604.3276609}, year = {2018}, } Publisher's Version
	Denkers, Jasper	SLE '18: "Migrating Custom DSL Implementations ..." 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) @InProceedings{SLE18p234, author = {Jasper Denkers and Louis van Gool and Eelco Visser}, title = {Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {234-233}, doi = {10.1145/3276604.3276608}, year = {2018}, } Publisher's Version
	Erdweg, Sebastian	SLE '18: "Declarative Specification ..." 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) @InProceedings{SLE18p3, author = {Luís Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser}, title = {Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3276604.3276607}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Fors, Niklas	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Guelfi, Nicolas	SLE '18: "Messir: A Text-First DSL-Based ..." 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) @InProceedings{SLE18p117, author = {Benoît Ries and Alfredo Capozucca and Nicolas Guelfi}, title = {Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3276604.3276614}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Guerra, Esther	SLE '18: "Facet-Oriented Modelling: ..." 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) @InProceedings{SLE18p168, author = {Juan de Lara and Esther Guerra and Jörg Kienzle and Yanis Hattab}, title = {Facet-Oriented Modelling: Open Objects for Model-Driven Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {168-167}, doi = {10.1145/3276604.3276610}, year = {2018}, } Publisher's Version SLE '18: "Analysing Meta-Model Product ..." Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara, Marsha Chechik, and Rick Salay (Autonomous University of Madrid, Spain; University of Toronto, Canada) @InProceedings{SLE18p183, author = {Esther Guerra and Juan de Lara and Marsha Chechik and Rick Salay}, title = {Analysing Meta-Model Product Lines}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3276604.3276609}, year = {2018}, } Publisher's Version
	Harkes, Daco C.	SLE '18: "Migrating Business Logic to ..." 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) @InProceedings{SLE18p96, author = {Daco C. Harkes and Elmer van Chastelet and Eelco Visser}, title = {Migrating Business Logic to an Incremental Computing DSL: A Case Study}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3276604.3276617}, year = {2018}, } Publisher's Version
	Hattab, Yanis	SLE '18: "Facet-Oriented Modelling: ..." 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) @InProceedings{SLE18p168, author = {Juan de Lara and Esther Guerra and Jörg Kienzle and Yanis Hattab}, title = {Facet-Oriented Modelling: Open Objects for Model-Driven Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {168-167}, doi = {10.1145/3276604.3276610}, year = {2018}, } Publisher's Version
	Hedin, Görel	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Jansen, Nico	SLE '18: "Translating Grammars to Accurate ..." Translating Grammars to Accurate Metamodels Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p198, author = {Arvid Butting and Nico Jansen and Bernhard Rumpe and Andreas Wortmann}, title = {Translating Grammars to Accurate Metamodels}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {198-197}, doi = {10.1145/3276604.3276605}, year = {2018}, } Publisher's Version
	Jeannerod, Nicolas	SLE '18: "Morbig: A Static Parser for ..." 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) @InProceedings{SLE18p33, author = {Yann Régis-Gianas and Nicolas Jeannerod and Ralf Treinen}, title = {Morbig: A Static Parser for POSIX Shell}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3276604.3276615}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Johnstone, Adrian	SLE '18: "GLL Parsing with Flexible ..." GLL Parsing with Flexible Combinators L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone (Royal Holloway University of London, UK) @InProceedings{SLE18p18, author = {L. Thomas van Binsbergen and Elizabeth Scott and Adrian Johnstone}, title = {GLL Parsing with Flexible Combinators}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3276604.3276618}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kienzle, Jörg	SLE '18: "Facet-Oriented Modelling: ..." 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) @InProceedings{SLE18p168, author = {Juan de Lara and Esther Guerra and Jörg Kienzle and Yanis Hattab}, title = {Facet-Oriented Modelling: Open Objects for Model-Driven Engineering}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {168-167}, doi = {10.1145/3276604.3276610}, year = {2018}, } Publisher's Version
	Kühn, Thomas	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Leduc, Manuel	SLE '18: "Modular 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) @InProceedings{SLE18p54, author = {Manuel Leduc and Thomas Degueule and Benoit Combemale}, title = {Modular Language Composition for the Masses}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3276604.3276622}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lelandais, Benoît	SLE '18: "Fostering Metamodels and Grammars ..." 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) @InProceedings{SLE18p228, author = {Benoît Lelandais and Marie-Pierre Oudot and Benoit Combemale}, title = {Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {228-227}, doi = {10.1145/3276604.3276620}, year = {2018}, } Publisher's Version
	Leonhardt, Gerrit	SLE '18: "Deriving Fluent Internal Domain-Specific ..." Deriving Fluent Internal Domain-Specific Languages from Grammars Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p213, author = {Arvid Butting and Manuela Dalibor and Gerrit Leonhardt and Bernhard Rumpe and Andreas Wortmann}, title = {Deriving Fluent Internal Domain-Specific Languages from Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3276604.3276621}, year = {2018}, } Publisher's Version
	McKeever, Steve	SLE '18: "The Next 700 Unit of Measurement ..." The Next 700 Unit of Measurement Checkers Oscar Bennich-Björkman and Steve McKeever (Uppsala University, Sweden) @InProceedings{SLE18p138, author = {Oscar Bennich-Björkman and Steve McKeever}, title = {The Next 700 Unit of Measurement Checkers}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {138-137}, doi = {10.1145/3276604.3276613}, year = {2018}, } Publisher's Version
	Merino, Mauricio Verano	SLE '18: "Bacatá: A Language Parametric ..." 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) @InProceedings{SLE18p240, author = {Mauricio Verano Merino and Jurgen Vinju and Tijs van der Storm}, title = {Bacatá: A Language Parametric Notebook Generator (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {240-239}, doi = {10.1145/3276604.3276981}, year = {2018}, } Publisher's Version
	Mey, Johannes	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Öqvist, Jesper	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Oudot, Marie-Pierre	SLE '18: "Fostering Metamodels and Grammars ..." 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) @InProceedings{SLE18p228, author = {Benoît Lelandais and Marie-Pierre Oudot and Benoit Combemale}, title = {Fostering Metamodels and Grammars within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {228-227}, doi = {10.1145/3276604.3276620}, year = {2018}, } Publisher's Version
	Racordon, Dimitri	SLE '18: "A Practical Type System for ..." A Practical Type System for Safe Aliasing Dimitri Racordon and Didier Buchs (University of Geneva, Switzerland) @InProceedings{SLE18p153, author = {Dimitri Racordon and Didier Buchs}, title = {A Practical Type System for Safe Aliasing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3276604.3276612}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Régis-Gianas, Yann	SLE '18: "Morbig: A Static Parser for ..." 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) @InProceedings{SLE18p33, author = {Yann Régis-Gianas and Nicolas Jeannerod and Ralf Treinen}, title = {Morbig: A Static Parser for POSIX Shell}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3276604.3276615}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ries, Benoît	SLE '18: "Messir: A Text-First DSL-Based ..." 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) @InProceedings{SLE18p117, author = {Benoît Ries and Alfredo Capozucca and Nicolas Guelfi}, title = {Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3276604.3276614}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Rinard, Martin C.	SLE '18: "A New Approach for Software ..." A New Approach for Software Correctness and Reliability (Keynote) Martin C. Rinard (Massachusetts Institute of Technology, USA) @InProceedings{SLE18p1, author = {Martin C. Rinard}, title = {A New Approach for Software Correctness and Reliability (Keynote)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3276604.3284957}, year = {2018}, } Publisher's Version
	Rumpe, Bernhard	SLE '18: "Translating Grammars to Accurate ..." Translating Grammars to Accurate Metamodels Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p198, author = {Arvid Butting and Nico Jansen and Bernhard Rumpe and Andreas Wortmann}, title = {Translating Grammars to Accurate Metamodels}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {198-197}, doi = {10.1145/3276604.3276605}, year = {2018}, } Publisher's Version SLE '18: "Deriving Fluent Internal Domain-Specific ..." Deriving Fluent Internal Domain-Specific Languages from Grammars Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p213, author = {Arvid Butting and Manuela Dalibor and Gerrit Leonhardt and Bernhard Rumpe and Andreas Wortmann}, title = {Deriving Fluent Internal Domain-Specific Languages from Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3276604.3276621}, year = {2018}, } Publisher's Version
	Sakharov, Alexander	SLE '18: "Input-Driven Regular Expressions ..." Input-Driven Regular Expressions (Vision Paper) Alexander Sakharov (Synstretch, USA) @InProceedings{SLE18p48, author = {Alexander Sakharov}, title = {Input-Driven Regular Expressions (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {48-47}, doi = {10.1145/3276604.3276606}, year = {2018}, } Publisher's Version
	Salay, Rick	SLE '18: "Analysing Meta-Model Product ..." Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara, Marsha Chechik, and Rick Salay (Autonomous University of Madrid, Spain; University of Toronto, Canada) @InProceedings{SLE18p183, author = {Esther Guerra and Juan de Lara and Marsha Chechik and Rick Salay}, title = {Analysing Meta-Model Product Lines}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3276604.3276609}, year = {2018}, } Publisher's Version
	Schöne, René	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Scott, Elizabeth	SLE '18: "GLL Parsing with Flexible ..." GLL Parsing with Flexible Combinators L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone (Royal Holloway University of London, UK) @InProceedings{SLE18p18, author = {L. Thomas van Binsbergen and Elizabeth Scott and Adrian Johnstone}, title = {GLL Parsing with Flexible Combinators}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3276604.3276618}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Söderberg, Emma	SLE '18: "Continuous Model Validation ..." 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) @InProceedings{SLE18p81, author = {Johannes Mey and René Schöne and Görel Hedin and Emma Söderberg and Thomas Kühn and Niklas Fors and Jesper Öqvist and Uwe Aßmann}, title = {Continuous Model Validation using Reference Attribute Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3276604.3276616}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Steindorfer, Michael J.	SLE '18: "Declarative Specification ..." 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) @InProceedings{SLE18p3, author = {Luís Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser}, title = {Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3276604.3276607}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Stoel, Jouke	SLE '18: "Constraint-based Run-time ..." 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) @InProceedings{SLE18p123, author = {Ulyana Tikhonova and Jouke Stoel and Tijs van der Storm and Thomas Degueule}, title = {Constraint-based Run-time State Migration for Live Modeling}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {123-122}, doi = {10.1145/3276604.3276611}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Strömbäck, Filip	SLE '18: "Storm: A Language Platform ..." Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) Filip Strömbäck (Linköping University, Sweden) @InProceedings{SLE18p69, author = {Filip Strömbäck}, title = {Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3276604.3276982}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Tikhonova, Ulyana	SLE '18: "Constraint-based Run-time ..." 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) @InProceedings{SLE18p123, author = {Ulyana Tikhonova and Jouke Stoel and Tijs van der Storm and Thomas Degueule}, title = {Constraint-based Run-time State Migration for Live Modeling}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {123-122}, doi = {10.1145/3276604.3276611}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Treinen, Ralf	SLE '18: "Morbig: A Static Parser for ..." 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) @InProceedings{SLE18p33, author = {Yann Régis-Gianas and Nicolas Jeannerod and Ralf Treinen}, title = {Morbig: A Static Parser for POSIX Shell}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3276604.3276615}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Van Binsbergen, L. Thomas	SLE '18: "GLL Parsing with Flexible ..." GLL Parsing with Flexible Combinators L. Thomas van Binsbergen, Elizabeth Scott, and Adrian Johnstone (Royal Holloway University of London, UK) @InProceedings{SLE18p18, author = {L. Thomas van Binsbergen and Elizabeth Scott and Adrian Johnstone}, title = {GLL Parsing with Flexible Combinators}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3276604.3276618}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Van Chastelet, Elmer	SLE '18: "Migrating Business Logic to ..." 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) @InProceedings{SLE18p96, author = {Daco C. Harkes and Elmer van Chastelet and Eelco Visser}, title = {Migrating Business Logic to an Incremental Computing DSL: A Case Study}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3276604.3276617}, year = {2018}, } Publisher's Version
	Van der Storm, Tijs	SLE '18: "Constraint-based Run-time ..." 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) @InProceedings{SLE18p123, author = {Ulyana Tikhonova and Jouke Stoel and Tijs van der Storm and Thomas Degueule}, title = {Constraint-based Run-time State Migration for Live Modeling}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {123-122}, doi = {10.1145/3276604.3276611}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional SLE '18: "Bacatá: A Language Parametric ..." 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) @InProceedings{SLE18p240, author = {Mauricio Verano Merino and Jurgen Vinju and Tijs van der Storm}, title = {Bacatá: A Language Parametric Notebook Generator (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {240-239}, doi = {10.1145/3276604.3276981}, year = {2018}, } Publisher's Version SLE '18: "Shape-Diverse DSLs: Languages ..." 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) @InProceedings{SLE18p246, author = {Fabien Coulon and Thomas Degueule and Tijs van der Storm and Benoit Combemale}, title = {Shape-Diverse DSLs: Languages without Borders (Vision Paper)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {246-245}, doi = {10.1145/3276604.3276623}, year = {2018}, } Publisher's Version
	Van Gool, Louis	SLE '18: "Migrating Custom DSL Implementations ..." 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) @InProceedings{SLE18p234, author = {Jasper Denkers and Louis van Gool and Eelco Visser}, title = {Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {234-233}, doi = {10.1145/3276604.3276608}, year = {2018}, } Publisher's Version
	Vinju, Jurgen	SLE '18: "Bacatá: A Language Parametric ..." 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) @InProceedings{SLE18p240, author = {Mauricio Verano Merino and Jurgen Vinju and Tijs van der Storm}, title = {Bacatá: A Language Parametric Notebook Generator (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {240-239}, doi = {10.1145/3276604.3276981}, year = {2018}, } Publisher's Version
	Visser, Eelco	SLE '18: "Migrating Custom DSL Implementations ..." 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) @InProceedings{SLE18p234, author = {Jasper Denkers and Louis van Gool and Eelco Visser}, title = {Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {234-233}, doi = {10.1145/3276604.3276608}, year = {2018}, } Publisher's Version SLE '18: "Declarative Specification ..." 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) @InProceedings{SLE18p3, author = {Luís Eduardo de Souza Amorim and Michael J. Steindorfer and Sebastian Erdweg and Eelco Visser}, title = {Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3276604.3276607}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional SLE '18: "Migrating Business Logic to ..." 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) @InProceedings{SLE18p96, author = {Daco C. Harkes and Elmer van Chastelet and Eelco Visser}, title = {Migrating Business Logic to an Incremental Computing DSL: A Case Study}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3276604.3276617}, year = {2018}, } Publisher's Version
	Wortmann, Andreas	SLE '18: "Translating Grammars to Accurate ..." Translating Grammars to Accurate Metamodels Arvid Butting, Nico Jansen, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p198, author = {Arvid Butting and Nico Jansen and Bernhard Rumpe and Andreas Wortmann}, title = {Translating Grammars to Accurate Metamodels}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {198-197}, doi = {10.1145/3276604.3276605}, year = {2018}, } Publisher's Version SLE '18: "Deriving Fluent Internal Domain-Specific ..." Deriving Fluent Internal Domain-Specific Languages from Grammars Arvid Butting, Manuela Dalibor, Gerrit Leonhardt, Bernhard Rumpe, and Andreas Wortmann (RWTH Aachen University, Germany) @InProceedings{SLE18p213, author = {Arvid Butting and Manuela Dalibor and Gerrit Leonhardt and Bernhard Rumpe and Andreas Wortmann}, title = {Deriving Fluent Internal Domain-Specific Languages from Grammars}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3276604.3276621}, year = {2018}, } Publisher's Version
	Zaytsev, Vadim	SLE '18: "An Industrial Case Study in ..." An Industrial Case Study in Compiler Testing (Tool Demo) Vadim Zaytsev (Raincode Labs, Belgium) @InProceedings{SLE18p111, author = {Vadim Zaytsev}, title = {An Industrial Case Study in Compiler Testing (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3276604.3276619}, year = {2018}, } Publisher's Version

70 authors

proc time: 0.05