FD-COMA 2012: Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures: 7th International Conference on High-Performance and Embedded Architectures and Compilers: HIPEAC 2012: Paris, France, January 25, 2012

This is a work-in-progress presentation in which we will argue that approaches based on declaratively coordinated components, such as S-Net, are ideally placed for platformsensitive distributed computing. We will present our case for a component compiler producing not only object code, but also symbolic constraints describing the functional, and more importantly extra-functional, properties of the source component, such as computational complexity, resource and configuration requirements. We also argue that if the coordination language is well structured, it is possible to aggregate the constraints yielded by the components stage-wise and to represent the multicore optimisation problem in standard CSP form to use general-purpose constraint solvers. If successful our approach will achieve an unprecedented degree of flexibility in programming for a wide range of heterogeneous multi-/many-core architectures.