Matthew Flatt, Sebastian Erdweg
Proceedings of the 16th International Conference on Generative Programming: Concepts and Experiences
GPCE, 2017.

@proceedings{GPCE-2017,
	editor        = "Matthew Flatt and Sebastian Erdweg",
	isbn          = "978-1-4503-5524-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Conference on Generative Programming: Concepts and Experiences}",
	year          = 2017,
}

Contents (22 items)

GPCE-2017-Dig #refactoring #research

The landscape of refactoring research in the last decade (keynote) (DD), p. 1.

GPCE-2017-GeG #multi #programming #semantics

Refining semantics for multi-stage programming (RG0, RG), pp. 2–14.

GPCE-2017-OfenbeckRP #programming #staging

Staging for generic programming in space and time (GO, TR, MP), pp. 15–28.

GPCE-2017-OishiK #multi #programming #staging #type safety

Staging with control: type-safe multi-stage programming with control operators (JO, YK), pp. 29–40.

GPCE-2017-Courtes #staging

Code staging in GNU Guix (LC), pp. 41–48.

GPCE-2017-LinsbauerBG #classification

A classification of variation control systems (LL, TB, PG), pp. 49–62.

GPCE-2017-LapenaFPC #feature model #modelling #natural language

Analyzing the impact of natural language processing over feature location in models (RL, JF, OP, CC), pp. 63–76.

GPCE-2017-FenskeSS #case study #how #maintenance #preprocessor

How preprocessor annotations (do not) affect maintainability: a case study on change-proneness (WF, SS, GS), pp. 77–90.

GPCE-2017-CarlsonW #composition

Type qualifiers as composable language extensions (TC, EVW), pp. 91–103.

GPCE-2017-RosaRB #dynamic analysis #virtual machine

Accurate reification of complete supertype information for dynamic analysis on the JVM (AR, ER, WB), pp. 104–116.

GPCE-2017-Pearce

Rewriting for sound and complete union, intersection and negation types (DJP), pp. 117–130.

GPCE-2017-ParreauxSK #approach #optimisation #staged

Quoted staged rewriting: a practical approach to library-defined optimizations (LP, AS, CEK), pp. 131–145.

GPCE-2017-CaldwellC #embedded #object-oriented #platform #programming

Reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms (JC, SC), pp. 146–156.

GPCE-2017-Perard-GayotWMS #abstraction #algorithm #named #performance #traversal

RaTrace: simple and efficient abstractions for BVH ray traversal algorithms (APG, MW, RM, PS, RL, SH), pp. 157–168.

GPCE-2017-SusungiRCHCTSF #composition #generative #optimisation #towards

Towards compositional and generative tensor optimizations (AS, NAR, JC, IH, AC, CT, JS, JF), pp. 169–175.

GPCE-2017-Al-KofahiKK #metaprogramming

Four languages and lots of macros: analyzing autotools build systems (JMAK, SK, CK), pp. 176–186.

GPCE-2017-FernandesRCGMSC

Avoiding useless mutants (LF, MR, LC, RG, MM, ALMS, AC, FCF, JCM), pp. 187–198.

GPCE-2017-NakamaruIYC #api #generative #named

Silverchain: a fluent API generator (TN, KI, TY, SC), pp. 199–211.

GPCE-2017-Zaytsev #generative #legacy #parsing #pattern matching

Parser generation by example for legacy pattern languages (VZ), pp. 212–218.

GPCE-2017-MainlandJ #compilation #haskell

A Haskell compiler for signal transforms (GM, JJ), pp. 219–232.

GPCE-2017-MartiniH #automation #case study #experience #generative #learning

Automatic generation of virtual learning spaces driven by CaVaDSL: an experience report (RGM, PRH), pp. 233–245.

GPCE-2017-GrebeYG #compilation #domain-specific language #haskell #using

Rewriting a shallow DSL using a GHC compiler extension (MG, DY, AG), pp. 246–258.