GPCE 2018
17 papers
- A domain-specific language for exploratory data visualization
- A practical unification of multi-stage programming and macros
- Anomaly analyses for feature-model evolution
- Explaining spreadsheets with spreadsheets (short paper)
- Exploring feature interactions without specifications: a controlled experiment
- Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper)
- Implementing a semi-causal domain-specific language for context detection over binary sensors
- Inferring ownership domains from refinements
- Measuring effectiveness of sample-based product-line testing
- Meta-programming for cross-domain tensor optimizations
- Model-based security analysis of feature-oriented software product lines
- Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs
- Pattern matching in an open world
- RT-trust: automated refactoring for trusted execution under real-time constraints
- Rash: from reckless interactions to reliable programs
- Regenerate: a language generator for extended regular expressions
- Verification of high-level transformations with inductive refinement types