Eric Van Wyk, Tiark Rompf
Proceedings of the 17th International Conference on Generative Programming: Concepts and Experiences
GPCE, 2018.

@proceedings{GPCE-2018,
	doi           = "10.1145/3278122",
	editor        = "Eric Van Wyk and Tiark Rompf",
	isbn          = "978-1-4503-6045-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th International Conference on Generative Programming: Concepts and Experiences}",
	year          = 2018,
}

Contents (17 items)

GPCE-2018-SmeltzerE #domain-specific language #visualisation

A domain-specific language for exploratory data visualization (KS, ME), pp. 1–13.

GPCE-2018-StuckiBO #metaprogramming #multi #unification

A practical unification of multi-stage programming and macros (NS, AB, MO), pp. 14–27.

GPCE-2018-HatchF #interactive #named #reliability #source code

Rash: from reckless interactions to reliable programs (WGH, MF), pp. 28–39.

GPCE-2018-SoaresMNKA #empirical #feature model #interactive #specification

Exploring feature interactions without specifications: a controlled experiment (LRS, JM, SN, CK, ESdA), pp. 40–52.

GPCE-2018-KhalajA

Inferring ownership domains from refinements (EK, MAA), pp. 53–65.

GPCE-2018-VolanschiSC #detection #domain-specific language #implementation

Implementing a semi-causal domain-specific language for context detection over binary sensors (NV, BPS, CC), pp. 66–78.

GPCE-2018-SusungiRCCT #metaprogramming #optimisation

Meta-programming for cross-domain tensor optimizations (AS, NAR, AC, JC, CT), pp. 79–92.

GPCE-2018-Peldszus0J #analysis #feature model #modelling #product line #security

Model-based security analysis of feature-oriented software product lines (SP, DS0, JJ), pp. 93–106.

GPCE-2018-ChristopheRBM #analysis #distributed #javascript #process #source code

Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs (LC, CDR, EGB, WDM), pp. 107–118.

GPCE-2018-RulandLBLTLR #effectiveness #product line #testing

Measuring effectiveness of sample-based product-line testing (SR, LL, JB, SL, TT, ML, MR), pp. 119–133.

GPCE-2018-ZhangO #pattern matching

Pattern matching in an open world (WZ, BCdSO), pp. 134–146.

GPCE-2018-Al-SibahiJDW #induction #refinement #verification

Verification of high-level transformations with inductive refinement types (ASAS, TPJ, ASD, AW), pp. 147–160.

GPCE-2018-CunhaDEFG #spreadsheet

Explaining spreadsheets with spreadsheets (short paper) (JC, MD, ME, DF, AG), pp. 161–167.

GPCE-2018-Binsbergen #generative #metaprogramming

Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.

GPCE-2018-LiuAT #automation #constraints #execution #named #realtime #refactoring

RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.

GPCE-2018-NiekeMSTYF #analysis #evolution

Anomaly analyses for feature-model evolution (MN, JM, CS, TT, ICY, FF), pp. 188–201.

GPCE-2018-RadanneT #generative #named #regular expression

Regenerate: a language generator for extended regular expressions (GR, PT), pp. 202–214.