From a Formalized Parallel Action Language to its Efficient Code Generation

  • Ivan Llopard, Christian Fabre, and Albert Cohen. From a Formalized Parallel Action Language to its Efficient Code Generation. ACM Transactions on Embedded Computing Systems, 16(2), 2016. doi:10.1145/2990195
    [BibTeX] [Abstract]

    Modeling languages propose convenient abstractions and transformations to handle the complexity of s embedded systems. Based on the formalism of Hierarchical State Machine, they enable the expression of hierarchical control parallelism. However, they face two importants challenges when it comes to model data-intensive applications: no unified approach that also accounts for data-parallel actions; and no effective code optimization and generation flows. We propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations.

    @Article{2016-09-LLOPARD,
    author = {Ivan Llopard and Christian Fabre and Albert Cohen},
    journal = {{ACM Transactions on Embedded Computing Systems}},
    title = {{From a Formalized Parallel Action Language to its Efficient Code Generation}},
    year = {2016},
    date = {2016-09},
    volume = {16},
    number = {2},
    doi = {10.1145/2990195},
    abstract = {Modeling languages propose convenient abstractions and transformations to handle the complexity of s embedded systems. Based on the formalism of Hierarchical State Machine, they enable the expression of hierarchical control parallelism. However, they face two importants challenges when it comes to model data-intensive applications: no unified approach that also accounts for data-parallel actions; and no effective code optimization and generation flows. We propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations.}
    }

This entry was posted in Dissemination. Bookmark the permalink.

Comments are closed.