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
Message from the Chairs

Keynote

The Landscape of Refactoring Research in the Last Decade (Keynote)
Danny Dig
(Oregon State University, USA)
Publisher's Version Article Search

Staging

Refining Semantics for Multi-stage Programming
Rui Ge and Ronald Garcia
(University of British Columbia, Canada)
Publisher's Version Article Search
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 Search
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
Junpei Oishi and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
Publisher's Version Article Search
Code Staging in GNU Guix
Ludovic Courtès
(Inria, France)
Publisher's Version Article Search

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 Search
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 Search
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 Search Info

Types

Type Qualifiers as Composable Language Extensions
Travis Carlson and Eric Van Wyk
(University of Minnesota, USA)
Publisher's Version Article Search
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 Search
Rewriting for Sound and Complete Union, Intersection and Negation Types
David J. Pearce
(Victoria University of Wellington, New Zealand)
Publisher's Version Article Search

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 Search
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 Search
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 Search Info
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 Search

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 Search
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 Search Info
Silverchain: A Fluent API Generator
Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)
Publisher's Version Article Search
Parser Generation by Example for Legacy Pattern Languages
Vadim Zaytsev
(Raincode Labs, Belgium)
Publisher's Version Article Search

DSLs

A Haskell Compiler for Signal Transforms
Geoffrey Mainland and Jeremy Johnson
(Drexel University, USA)
Publisher's Version Article Search
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 Search
Rewriting a Shallow DSL using a GHC Compiler Extension
Mark Grebe, David Young, and Andy Gill
(University of Kansas, USA)
Publisher's Version Article Search

proc time: 0.16