ACM SIGPLAN International Conference on Software Language Engineering, SLE 2016


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Parsing and reflective printing, bidirectionally

Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu

Parsing and reflective printing, bidirectionally

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

MetaEdit+ for collaborative language engineering and language use (tool demo)

Juha-Pekka Tolvanen

MetaEdit+ for collaborative language engineering and language use (tool demo)

Details
Discussion Comments: 0
Verification: Author has not verified information

The IDE portability problem and its solution in Monto

Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg

The IDE portability problem and its solution in Monto

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Efficient model partitioning for distributed model transformations

Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot

Efficient model partitioning for distributed model transformations

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Automated testing support for reactive domain-specific modelling languages

Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe

Automated testing support for reactive domain-specific modelling languages

Details
Discussion Comments: 0
Verification: Authors have not verified information

Taming context-sensitive languages with principled stateful parsing

Nicolas Laurent, Kim Mens

Taming context-sensitive languages with principled stateful parsing

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Experiences of models@run-time with EMF and CDO

Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas

Experiences of models@run-time with EMF and CDO

Details
Discussion Comments: 0
Verification: Authors have not verified information

BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment

Zhaoyi Luo, Joanne M. Atlee

BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment

Details
Discussion Comments: 0
Verification: Authors have not verified information

Side effects take the blame

Felipe Bañados Schwerter

Side effects take the blame

Details
Discussion Comments: 0
Verification: Author has not verified information

Raincode assembler compiler (tool demo)

Volodymyr Blagodarov, Yves Jaradin, Vadim Zaytsev

Raincode assembler compiler (tool demo)

Details
Discussion Comments: 0
Verification: Authors have not verified information

Adding uncertainty and units to quantity types in software models

Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo

Adding uncertainty and units to quantity types in software models

Details
Discussion Comments: 0
Verification: Authors have not verified information

Principled syntactic code completion using placeholders

Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser

Principled syntactic code completion using placeholders

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Towards a universal code formatter through machine learning

Terence Parr, Jurgen J. Vinju

Towards a universal code formatter through machine learning

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

DrAST: an inspection tool for attributed syntax trees (tool demo)

Joel Lindholm, Johan Thorsberg, Görel Hedin

DrAST: an inspection tool for attributed syntax trees (tool demo)

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Coupled software transformations revisited

Ralf Lämmel

Coupled software transformations revisited

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Author has not verified information

Efficient development of consistent projectional editors using grammar cells

Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger

Efficient development of consistent projectional editors using grammar cells

Details
Discussion Comments: 0
Verification: Authors have not verified information

Language design and implementation for the domain of coding conventions

Boryana Goncharenko, Vadim Zaytsev

Language design and implementation for the domain of coding conventions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Object-oriented design pattern for DSL program monitoring

Zoé Drey, Ciprian Teodorov

Object-oriented design pattern for DSL program monitoring

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Execution framework of the GEMOC studio (tool demo)

Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, Benoît Combemale

Execution framework of the GEMOC studio (tool demo)

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Symbolic execution of high-level transformations

Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski

Symbolic execution of high-level transformations

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

FRaMED: full-fledge role modeling editor (tool demo)

Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann

FRaMED: full-fledge role modeling editor (tool demo)

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments: The source code of FRaMED is avilable on Github at https://github.com/leondart/FRaMED
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Redex: a language for lightweight semantics engineering (keynote)

Robby Bruce Findler

Redex: a language for lightweight semantics engineering (keynote)

Details
Discussion Comments: 0
Verification: Author has not verified information

Runtime support for rule-based access-control evaluation through model-transformation

Salvador Martínez Perez, Jokin García, Jordi Cabot

Runtime support for rule-based access-control evaluation through model-transformation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Xdiagram: a declarative textual DSL for describing diagram editors (tool demo)

André L. Santos, Eduardo Gomes

Xdiagram: a declarative textual DSL for describing diagram editors (tool demo)

Details
Discussion Comments: 0
Verification: Authors have not verified information