ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017


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

Engineering meta-languages for specifying software languages (keynote)

Peter D. Mosses

Engineering meta-languages for specifying software languages (keynote)

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Author has verified information

Ensuring non-interference of composable language extensions

Ted Kaminski, Eric Van Wyk

Ensuring non-interference of composable language extensions

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

Metacasanova: an optimized meta-compiler for domain-specific languages

Francesco Di Giacomo, Mohamed Abbadi, Agostino Cortesi, Pieter Spronck, Giuseppe Maggiore

Metacasanova: an optimized meta-compiler for domain-specific languages

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

Concrete syntax: a multi-paradigm modelling approach

Yentl Van Tendeloo, Simon Van Mierlo, Bart Meyers, Hans Vangheluwe

Concrete syntax: a multi-paradigm modelling approach

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

Towards a taxonomy of grammar smells

Mats Stijlaart, Vadim Zaytsev

Towards a taxonomy of grammar smells

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

Concurrent circular reference attribute grammars

Jesper Öqvist, Görel Hedin

Concurrent circular reference attribute grammars

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

Energy efficiency across programming languages: how do energy, time, and memory relate?

Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva

Energy efficiency across programming languages: how do energy, time, and memory relate?

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Debugging with domain-specific events via macros

Xiangqi Li, Matthew Flatt

Debugging with domain-specific events via macros

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

A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing

Kimio Kuramitsu

A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing

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

Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages

Marco Brambilla, Jordi Cabot, Javier Luis Cánovas Izquierdo, Andrea Mauri

Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages

Details
Author Comments: Details of individuals participating in the validation not disclosed for privacy purposes.
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

A chrestomathy of DSL implementations

Simon Schauss, Ralf Lämmel, Johannes Härtel, Marcel Heinz, Kevin Klein, Lukas Härtel, Thorsten Berger

A chrestomathy of DSL implementations

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

Robust programs with filtered iterators

Jiasi Shen, Martin Rinard

Robust programs with filtered iterators

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

Structural model subtyping with OCL constraints

Artur Boronat

Structural model subtyping with OCL constraints

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

Type-safe modular parsing

Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira

Type-safe modular 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

FlowSpec: declarative dataflow analysis specification

Jeff Smits, Eelco Visser

FlowSpec: declarative dataflow analysis specification

Details
Author Comments: The prototype was not ready for presentation.
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Incremental packrat parsing

Patrick Dubroy, Alessandro Warth

Incremental packrat 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
Discussion Comments: 0
Verification: Authors have not verified information

Comparison of the expressiveness and performance of template-based code generation tools

Lechanceux Luhunu, Eugene Syriani

Comparison of the expressiveness and performance of template-based code generation tools

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

A formalisation of parameterised reference attribute grammars

Scott J. H. Buckley, Anthony M. Sloane

A formalisation of parameterised reference attribute grammars

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

Red Shift: procedural shift-reduce parsing (vision paper)

Nicolas Laurent

Red Shift: procedural shift-reduce parsing (vision paper)

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

Deep priority conflicts in the wild: a pilot study

Luis Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser

Deep priority conflicts in the wild: a pilot study

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

A domain-specific controlled English language for automated regulatory compliance (industrial paper)

Suman Roychoudhury, Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni

A domain-specific controlled English language for automated regulatory compliance (industrial paper)

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

Virtual textual model composition for supporting versioning and aspect-orientation

Robert Bill, Patrick Neubauer, Manuel Wimmer

Virtual textual model composition for supporting versioning and aspect-orientation

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

Robust projectional editing

Friedrich Steimann, Marcus Frenkel, Markus Voelter

Robust projectional editing

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

A requirements engineering approach for usability-driven DSL development

Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulão

A requirements engineering approach for usability-driven DSL development

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

A development environment for the Alf language within the MagicDraw UML tool (tool demo)

Ed Seidewitz

A development environment for the Alf language within the MagicDraw UML tool (tool demo)

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