Frontmatter

Keynote

Redex: A Language for Lightweight Semantics Engineering (Keynote)
Robby Findler
(Northwestern University, USA; PLT, USA)


@InProceedings{SLE16p1, author = {Robby Findler}, title = {Redex: A Language for Lightweight Semantics Engineering (Keynote)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

Grammars and Parsing

Parsing and Reflective Printing, Bidirectionally
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, and Zhenjiang Hu
(National University SOKENDAI, Japan; National Institute of Informatics, Japan; University of California at Irvine, USA; University of Minho, Portugal)


@InProceedings{SLE16p6, author = {Zirun Zhu and Yongzhe Zhang and Hsiang-Shang Ko and Pedro Martins and João Saraiva and Zhenjiang Hu}, title = {Parsing and Reflective Printing, Bidirectionally}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {6-5}, doi = {}, year = {2016}, }

Taming Context-Sensitive Languages with Principled Stateful Parsing
Nicolas Laurent and Kim Mens
(Université Catholique de Louvain, Belgium)


@InProceedings{SLE16p20, author = {Nicolas Laurent and Kim Mens}, title = {Taming Context-Sensitive Languages with Principled Stateful Parsing}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {20-19}, doi = {}, year = {2016}, }

Efficient Development of Consistent Projectional Editors using Grammar Cells
Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, and Thorsten Berger
(itemis, Germany; Delft University of Technology, Netherlands; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)


@InProceedings{SLE16p34, author = {Markus Voelter and Tamás Szabó and Sascha Lisson and Bernd Kolb and Sebastian Erdweg and Thorsten Berger}, title = {Efficient Development of Consistent Projectional Editors using Grammar Cells}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2016}, }

MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)
Juha-Pekka Tolvanen
(MetaCase, Finland)


@InProceedings{SLE16p48, author = {Juha-Pekka Tolvanen}, title = {MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {48-47}, doi = {}, year = {2016}, }

Runtime Techniques

Experiences of Models@run-time with EMF and CDO
Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, and Athanasios Tsitsipas
(Ulm University, Germany; SINTEF, Norway)


@InProceedings{SLE16p53, author = {Daniel Seybold and Jörg Domaschka and Alessandro Rossini and Christopher B. Hauser and Frank Griesinger and Athanasios Tsitsipas}, title = {Experiences of Models@run-time with EMF and CDO}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2016}, }

Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
Salvador Martínez, Jokin García, and Jordi Cabot
(Open University of Catalonia, Spain; Inria, France; École des Mines de Nantes, France; LINA, France; IK4-IKERLAN Research Center, Spain; ICREA, Spain)


@InProceedings{SLE16p67, author = {Salvador Martínez and Jokin García and Jordi Cabot}, title = {Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2016}, }

Object-Oriented Design Pattern for DSL Program Monitoring
Zoé Drey and Ciprian Teodorov
(ENSTA Bretagne, France)


@InProceedings{SLE16p81, author = {Zoé Drey and Ciprian Teodorov}, title = {Object-Oriented Design Pattern for DSL Program Monitoring}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, }

Execution Framework of the GEMOC Studio (Tool Demo)
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, and Benoit Combemale
(TU Vienna, Austria; Inria, France; University of Côte d'Azur, France; University of Rennes 1, France)


@InProceedings{SLE16p95, author = {Erwan Bousse and Thomas Degueule and Didier Vojtisek and Tanja Mayerhofer and Julien Deantoni and Benoit Combemale}, title = {Execution Framework of the GEMOC Studio (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {95-94}, doi = {}, year = {2016}, }

Domain-Specific Languages

Language Design and Implementation for the Domain of Coding Conventions
Boryana Goncharenko and Vadim Zaytsev
(University of Amsterdam, Netherlands; Raincode, Belgium)


@InProceedings{SLE16p101, author = {Boryana Goncharenko and Vadim Zaytsev}, title = {Language Design and Implementation for the Domain of Coding Conventions}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2016}, }

BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
Zhaoyi Luo and Joanne M. Atlee
(University of Waterloo, Canada)


@InProceedings{SLE16p117, author = {Zhaoyi Luo and Joanne M. Atlee}, title = {BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {117-116}, doi = {}, year = {2016}, }

Adding Uncertainty and Units to Quantity Types in Software Models
Tanja Mayerhofer, Manuel Wimmer, and Antonio Vallecillo
(TU Vienna, Austria; University of Málaga, Spain)


@InProceedings{SLE16p131, author = {Tanja Mayerhofer and Manuel Wimmer and Antonio Vallecillo}, title = {Adding Uncertainty and Units to Quantity Types in Software Models}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {131-130}, doi = {}, year = {2016}, }

FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Thomas Kühn, Kay Bierzynski, Sebastian Richly, and Uwe Aßmann
(TU Dresden, Germany)


@InProceedings{SLE16p145, author = {Thomas Kühn and Kay Bierzynski and Sebastian Richly and Uwe Aßmann}, title = {FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2016}, }

Development Environments

Towards a Universal Code Formatter through Machine Learning
Terence Parr and Jurgen Vinju
(University of San Francisco, USA; CWI, Netherlands)


@InProceedings{SLE16p159, author = {Terence Parr and Jurgen Vinju}, title = {Towards a Universal Code Formatter through Machine Learning}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {159-158}, doi = {}, year = {2016}, }

The IDE Portability Problem and Its Solution in Monto
Sven Keidel, Wulf Pfeiffer, and Sebastian Erdweg
(Delft University of Technology, Netherlands; TU Darmstadt, Germany)


@InProceedings{SLE16p174, author = {Sven Keidel and Wulf Pfeiffer and Sebastian Erdweg}, title = {The IDE Portability Problem and Its Solution in Monto}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {174-173}, doi = {}, year = {2016}, }

Principled Syntactic Code Completion using Placeholders
Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, and Eelco Visser
(Delft University of Technology, Netherlands)


@InProceedings{SLE16p188, author = {Luís Eduardo de Souza Amorim and Sebastian Erdweg and Guido Wachsmuth and Eelco Visser}, title = {Principled Syntactic Code Completion using Placeholders}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {188-187}, doi = {}, year = {2016}, }

DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Joel Lindholm, Johan Thorsberg, and Görel Hedin
(Lund University, Sweden)


@InProceedings{SLE16p202, author = {Joel Lindholm and Johan Thorsberg and Görel Hedin}, title = {DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {202-201}, doi = {}, year = {2016}, }

Language Validation

Automated Testing Support for Reactive Domain-Specific Modelling Languages
Bart Meyers, Joachim Denil, István Dávid, and Hans Vangheluwe
(University of Antwerp, Belgium; McGill University, Canada)


@InProceedings{SLE16p207, author = {Bart Meyers and Joachim Denil and István Dávid and Hans Vangheluwe}, title = {Automated Testing Support for Reactive Domain-Specific Modelling Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {207-206}, doi = {}, year = {2016}, }

Side Effects Take the Blame
Felipe Bañados Schwerter
(University of British Columbia, Canada)


@InProceedings{SLE16p221, author = {Felipe Bañados Schwerter}, title = {Side Effects Take the Blame}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2016}, }

Symbolic Execution of High-Level Transformations
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark)


@InProceedings{SLE16p235, author = {Ahmad Salim Al-Sibahi and Aleksandar S. Dimovski and Andrzej Wąsowski}, title = {Symbolic Execution of High-Level Transformations}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {235-234}, doi = {}, year = {2016}, }

Raincode Assembler Compiler (Tool Demo)
Volodymyr Blagodarov, Yves Jaradin, and Vadim Zaytsev
(Raincode, Belgium)


@InProceedings{SLE16p249, author = {Volodymyr Blagodarov and Yves Jaradin and Vadim Zaytsev}, title = {Raincode Assembler Compiler (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {249-248}, doi = {}, year = {2016}, }

Model Transformation

Efficient Model Partitioning for Distributed Model Transformations
Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, and Jordi Cabot
(AtlanMod, France; Inria, France; École des Mines de Nantes, France; LINA, France; Autonomous University of Madrid, Spain; Open University of Catalonia, Spain)


@InProceedings{SLE16p254, author = {Amine Benelallam and Massimo Tisi and Jesús Sánchez Cuadrado and Juan de Lara and Jordi Cabot}, title = {Efficient Model Partitioning for Distributed Model Transformations}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {254-253}, doi = {}, year = {2016}, }

Coupled Software Transformations — Revisited
Ralf Lämmel
(University of Koblenz-Landau, Germany)


@InProceedings{SLE16p268, author = {Ralf Lämmel}, title = {Coupled Software Transformations — Revisited}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {268-267}, doi = {}, year = {2016}, }

Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
André L. Santos and Eduardo Gomes
(University Institute of Lisbon, Portugal)


@InProceedings{SLE16p282, author = {André L. Santos and Eduardo Gomes}, title = {Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {282-281}, doi = {}, year = {2016}, }

proc time: 0.71