GPCE 2017 – Proceedings

Frontmatter

Keynote

The Landscape of Refactoring Research in the Last Decade (Keynote)
Danny Dig
(Oregon State University, USA)


@InProceedings{GPCE17p1, author = {Danny Dig}, title = {The Landscape of Refactoring Research in the Last Decade (Keynote)}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3136040.3148040}, year = {2017}, } 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)


@InProceedings{GPCE17p100, author = {Rui Ge and Ronald Garcia}, title = {Refining Semantics for Multi-stage Programming}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3136040.3136047}, year = {2017}, } 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)


@InProceedings{GPCE17p114, author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel}, title = {Staging for Generic Programming in Space and Time}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {114-113}, doi = {10.1145/3136040.3136060}, year = {2017}, } 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)


@InProceedings{GPCE17p128, author = {Junpei Oishi and Yukiyoshi Kameyama}, title = {Staging with Control: Type-Safe Multi-stage Programming with Control Operators}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {128-127}, doi = {10.1145/3136040.3136049}, year = {2017}, } Publisher's Version Article: gpce17main-gpce17main33-p doi:10.1145/3136040.3136049

Code Staging in GNU Guix
Ludovic Courtès
(Inria, France)


@InProceedings{GPCE17p142, author = {Ludovic Courtès}, title = {Code Staging in GNU Guix}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {142-141}, doi = {10.1145/3136040.3136045}, year = {2017}, } 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)


@InProceedings{GPCE17p150, author = {Lukas Linsbauer and Thorsten Berger and Paul Grünbacher}, title = {A Classification of Variation Control Systems}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {150-149}, doi = {10.1145/3136040.3136054}, year = {2017}, } 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)


@InProceedings{GPCE17p164, author = {Raúl Lapeña and Jaime Font and Óscar Pastor and Carlos Cetina}, title = {Analyzing the Impact of Natural Language Processing over Feature Location in Models}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {164-163}, doi = {10.1145/3136040.3136052}, year = {2017}, } 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)


@InProceedings{GPCE17p178, author = {Wolfram Fenske and Sandro Schulze and Gunter Saake}, title = {How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {178-177}, doi = {10.1145/3136040.3136059}, year = {2017}, } 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)


@InProceedings{GPCE17p192, author = {Travis Carlson and Eric Van Wyk}, title = {Type Qualifiers as Composable Language Extensions}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {192-191}, doi = {10.1145/3136040.3136055}, year = {2017}, } 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)


@InProceedings{GPCE17p206, author = {Andrea Rosà and Eduardo Rosales and Walter Binder}, title = {Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {206-205}, doi = {10.1145/3136040.3136061}, year = {2017}, } 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)


@InProceedings{GPCE17p220, author = {David J. Pearce}, title = {Rewriting for Sound and Complete Union, Intersection and Negation Types}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3136040.3136042}, year = {2017}, } 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)


@InProceedings{GPCE17p234, author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch}, title = {Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {234-233}, doi = {10.1145/3136040.3136043}, year = {2017}, } 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)


@InProceedings{GPCE17p249, author = {Joseph Caldwell and Shigeru Chiba}, title = {Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {249-248}, doi = {10.1145/3136040.3136057}, year = {2017}, } 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)


@InProceedings{GPCE17p263, author = {Arsène Pérard-Gayot and Martin Weier and Richard Membarth and Philipp Slusallek and Roland Leißa and Sebastian Hack}, title = {RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {263-262}, doi = {10.1145/3136040.3136044}, year = {2017}, } 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)


@InProceedings{GPCE17p277, author = {Adilla Susungi and Norman A. Rink and Jerónimo Castrillón and Immo Huismann and Albert Cohen and Claude Tadonki and Jörg Stiller and Jochen Fröhlich}, title = {Towards Compositional and Generative Tensor Optimizations}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {277-276}, doi = {10.1145/3136040.3136050}, year = {2017}, } 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)


@InProceedings{GPCE17p285, author = {Jafar M. Al-Kofahi and Suresh Kothari and Christian Kästner}, title = {Four Languages and Lots of Macros: Analyzing Autotools Build Systems}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {285-284}, doi = {10.1145/3136040.3136051}, year = {2017}, } 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)


@InProceedings{GPCE17p299, author = {Leonardo Fernandes and Márcio Ribeiro and Luiz Carvalho and Rohit Gheyi and Melina Mongiovi and André Santos and Ana Cavalcanti and Fabiano Ferrari and José Carlos Maldonado}, title = {Avoiding Useless Mutants}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {299-298}, doi = {10.1145/3136040.3136053}, year = {2017}, } 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)


@InProceedings{GPCE17p313, author = {Tomoki Nakamaru and Kazuhiro Ichikawa and Tetsuro Yamazaki and Shigeru Chiba}, title = {Silverchain: A Fluent API Generator}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {313-312}, doi = {10.1145/3136040.3136041}, year = {2017}, } 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)


@InProceedings{GPCE17p327, author = {Vadim Zaytsev}, title = {Parser Generation by Example for Legacy Pattern Languages}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {327-326}, doi = {10.1145/3136040.3136058}, year = {2017}, } 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)


@InProceedings{GPCE17p335, author = {Geoffrey Mainland and Jeremy Johnson}, title = {A Haskell Compiler for Signal Transforms}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {335-334}, doi = {10.1145/3136040.3136056}, year = {2017}, } Publisher's Version Article: gpce17main-gpce17main52-p doi:10.1145/3136040.3136056

Automatic Generation of Virtual Learning Spaces Driven by CaVa^DSL: An Experience Report
Ricardo Giuliani Martini and Pedro Rangel Henriques
(University of Minho, Portugal)


@InProceedings{GPCE17p349, author = {Ricardo Giuliani Martini and Pedro Rangel Henriques}, title = {Automatic Generation of Virtual Learning Spaces Driven by CaVa^DSL: An Experience Report}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {349-348}, doi = {10.1145/3136040.3136046}, year = {2017}, } 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)


@InProceedings{GPCE17p363, author = {Mark Grebe and David Young and Andy Gill}, title = {Rewriting a Shallow DSL using a GHC Compiler Extension}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {363-362}, doi = {10.1145/3136040.3136048}, year = {2017}, } Publisher's Version Article: gpce17main-gpce17main28-p doi:10.1145/3136040.3136048

proc time: 0.04