GPCE 2017
22 papers
- A Haskell compiler for signal transforms
- A classification of variation control systems
- Accurate reification of complete supertype information for dynamic analysis on the JVM
- Analyzing the impact of natural language processing over feature location in models
- Automatic generation of virtual learning spaces driven by CaVaDSL: an experience report
- Avoiding useless mutants
- Code staging in GNU Guix
- Four languages and lots of macros: analyzing autotools build systems
- How preprocessor annotations (do not) affect maintainability: a case study on change-proneness
- Parser generation by example for legacy pattern languages
- Quoted staged rewriting: a practical approach to library-defined optimizations
- RaTrace: simple and efficient abstractions for BVH ray traversal algorithms
- Reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms
- Refining semantics for multi-stage programming
- Rewriting a shallow DSL using a GHC compiler extension
- Rewriting for sound and complete union, intersection and negation types
- Silverchain: a fluent API generator
- Staging for generic programming in space and time
- Staging with control: type-safe multi-stage programming with control operators
- The landscape of refactoring research in the last decade (keynote)
- Towards compositional and generative tensor optimizations
- Type qualifiers as composable language extensions