Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems

  title={Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems},
  author={S. Tamarit and Julio Mari{\~n}o-Carballo and G. Vigueras and M. Carro},
  • S. Tamarit, Julio Mariño-Carballo, +1 author M. Carro
  • Published in PROLE 2016
  • Computer Science
  • Obtaining good performance when programming heterogeneous computing platforms poses significant challenges. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotations is transformed into functionally equivalent code better suited for a given platform. The transformation steps are represented as rules that can be fired when certain syntactic and semantic conditions are fulfilled. These rules are not hard-wired… CONTINUE READING
    4 Citations

    Figures, Tables, and Topics from this paper.


    RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
    • 310
    • PDF
    Semantic and behavioral library transformations
    • 24
    • PDF
    Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs
    • 60
    • Highly Influential
    • PDF
    The TXL source transformation language
    • J. Cordy
    • Computer Science
    • Sci. Comput. Program.
    • 2006
    • 371
    • PDF
    Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
    • E. Visser
    • Computer Science
    • Domain-Specific Program Generation
    • 2003
    • 331
    • Highly Influential
    • PDF
    DMS®: Program Transformations for Practical Scalable Software Evolution
    • 285
    • PDF
    C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell
    • 84
    • PDF
    DMS/spl reg/: program transformations for practical scalable software evolution
    • 142