GPCE 2017
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2017)
Powered by
Conference Publishing Consulting
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2017), October 23–24, 2017, Vancouver, BC, Canada

GPCE 2017 – Proceedings

 Contents - Abstracts - Authors

Frontmatter

Title Page
Article: gpce17foreword-fm000-p doi:
Message from the Chairs
Article: gpce17foreword-fm001-p doi:

Keynote

The Landscape of Refactoring Research in the Last Decade (Keynote)
Danny Dig
(Oregon State University, USA)
Publisher's Version Article: gpce17key-key1-p doi:10.1145/3136040.3148040

Staging

Refining Semantics for Multi-stage Programming
Rui Ge and Ronald Garcia
(University of British Columbia, Canada)
Publisher's Version Article: gpce17main-gpce17main27-p doi:10.1145/3136040.3136047
Staging for Generic Programming in Space and Time
Georg Ofenbeck, Tiark Rompf, and Markus Püschel
(ETH Zurich, Switzerland; Purdue University, USA)
Publisher's Version Article: gpce17main-gpce17main64-p doi:10.1145/3136040.3136060
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
Junpei Oishi and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
Publisher's Version Article: gpce17main-gpce17main33-p doi:10.1145/3136040.3136049
Code Staging in GNU Guix
Ludovic Courtès
(Inria, France)
Publisher's Version Article: gpce17main-gpce17main22-p doi:10.1145/3136040.3136045

Variability

A Classification of Variation Control Systems
Lukas Linsbauer, Thorsten Berger, and Paul Grünbacher
(JKU Linz, Austria; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version Article: gpce17main-gpce17main47-p doi:10.1145/3136040.3136054
Analyzing the Impact of Natural Language Processing over Feature Location in Models
Raúl Lapeña, Jaime Font, Óscar Pastor, and Carlos Cetina
(San Jorge University, Spain; Universitat Politècnica de València, Spain)
Publisher's Version Article: gpce17main-gpce17main43-p doi:10.1145/3136040.3136052
How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness
Wolfram Fenske, Sandro Schulze, and Gunter Saake
(University of Magdeburg, Germany)
Publisher's Version Article: gpce17main-gpce17main63-p doi:10.1145/3136040.3136059

Types

Type Qualifiers as Composable Language Extensions
Travis Carlson and Eric Van Wyk
(University of Minnesota, USA)
Publisher's Version Article: gpce17main-gpce17main50-p doi:10.1145/3136040.3136055
Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
Andrea Rosà, Eduardo Rosales, and Walter Binder
(University of Lugano, Switzerland)
Publisher's Version Article: gpce17main-gpce17main67-p doi:10.1145/3136040.3136061
Rewriting for Sound and Complete Union, Intersection and Negation Types
David J. Pearce
(Victoria University of Wellington, New Zealand)
Publisher's Version Article: gpce17main-gpce17main6-p doi:10.1145/3136040.3136042

Performance

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)
Publisher's Version Article: gpce17main-gpce17main14-p doi:10.1145/3136040.3136043
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
Joseph Caldwell and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version Article: gpce17main-gpce17main54-p doi:10.1145/3136040.3136057
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
Arsène Pérard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leißa, and Sebastian Hack
(Saarland University, Germany; Bonn-Rhein-Sieg University of Applied Sciences, Germany; DFKI, Germany)
Publisher's Version Article: gpce17main-gpce17main20-p doi:10.1145/3136040.3136044
Towards Compositional and Generative Tensor Optimizations
Adilla Susungi, Norman A. Rink, Jerónimo Castrillón, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, and Jochen Fröhlich
(MINES ParisTech, France; TU Dresden, Germany; Inria, France; ENS, France)
Publisher's Version Article: gpce17main-gpce17main38-p doi:10.1145/3136040.3136050

Analysis and Testing

Four Languages and Lots of Macros: Analyzing Autotools Build Systems
Jafar M. Al-Kofahi, Suresh Kothari, and Christian Kästner
(Iowa State University, USA; Carnegie Mellon University, USA)
Publisher's Version Article: gpce17main-gpce17main39-p doi:10.1145/3136040.3136051
Avoiding Useless Mutants
Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André Santos, Ana Cavalcanti, Fabiano Ferrari, and José Carlos Maldonado
(Federal University of Pernambuco, Brazil; Federal University of Alagoas, Brazil; Federal University of Campina Grande, Brazil; University of York, UK; Federal University of São Carlos, Brazil; University of São Paulo, Brazil)
Publisher's Version Article: gpce17main-gpce17main46-p doi:10.1145/3136040.3136053
Silverchain: A Fluent API Generator
Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version Article: gpce17main-gpce17main5-p doi:10.1145/3136040.3136041
Parser Generation by Example for Legacy Pattern Languages
Vadim Zaytsev
(Raincode Labs, Belgium)
Publisher's Version Article: gpce17main-gpce17main55-p doi:10.1145/3136040.3136058

DSLs

A Haskell Compiler for Signal Transforms
Geoffrey Mainland and Jeremy Johnson
(Drexel University, USA)
Publisher's Version Article: gpce17main-gpce17main52-p doi:10.1145/3136040.3136056
Automatic Generation of Virtual Learning Spaces Driven by CaVaDSL: An Experience Report
Ricardo Giuliani Martini and Pedro Rangel Henriques
(University of Minho, Portugal)
Publisher's Version Article: gpce17main-gpce17main23-p doi:10.1145/3136040.3136046
Rewriting a Shallow DSL using a GHC Compiler Extension
Mark Grebe, David Young, and Andy Gill
(University of Kansas, USA)
Publisher's Version Article: gpce17main-gpce17main28-p doi:10.1145/3136040.3136048

proc time: 0.03