Aspect-Based Source to Source Transformations

  • José Gabriel de F. Coutinho
  • João M. P. Cardoso
  • Tiago Carvalho
  • Sujit Bhattacharya
  • Wayne Luk
  • George Constantinides
  • Pedro C. Diniz
  • Zlatko Petrov
Chapter

Abstract

Source-to-source weaving is a key mechanism in the REFLECT design-flow since it allows the inclusion of application-specific information in the transformed program. In particular, LARA [1, 2] aspects are used to control the design-flow, and to trigger source-to-source code transformations and compilation/synthesis optimizations on a given application. Hence, user knowledge about an application and/or target architecture can be codified as aspects, allowing the original application code to be automatically extended to satisfy non-functional concerns, such as arithmetic precision and performance.

References

  1. 1.
    J.M.P. Cardoso, J.G.F. Coutinho, T. Carvalho, LARA Programming Language Specification, v2.0, REFLECT Internal Technical Report, 2012Google Scholar
  2. 2.
    J.M.P. Cardoso, T. Carvalho, J.G.F. Coutinho, W. Luk, R. Nobre, P.C. Diniz, Z. Petrov, LARA: An Aspect-Oriented Programming Language for Embedded Systems. in Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD’12) (Germany, 2012), pp. 179–190, 25–30 Mar 2012Google Scholar
  3. 3.
    J.A. Clarke, G.A. Constantinides, P.Y.K. Cheung, Word-length selection for power minimization via nonlinear optimization. ACM Transactions on Design Automation of Electronic Systems (TODAES), p. 39, 14 Mar 2009Google Scholar
  4. 4.
    J.G.F. Coutinho, T. Carvalho, S. Durand, J.M.P. Cardoso, The LARA Aspect-IR, REFLECT Internal Technical Report, 2012Google Scholar
  5. 5.
    Xilinx ML510 Evaluation Platform Documentation, http://www.xilinx.com/products/boards/ml510/docs.htm [Online]. Accessed 18 Nov 2012
  6. 6.
    K. Bertels, V. Sima, Y. Yankova, G. Kuzmanov, W. Luk, J. Coutinho, F. Ferrandi, C. Pilato, M. Lattuada, D. Sciuto, A. Michelotti, HArtes: Hardware-software codesign for heterogeneous multicore platforms. IEEE Micro 30(5), 88–97 (2010)CrossRefGoogle Scholar
  7. 7.
    D.J. Quinlan, ROSE Source-to-Source Compiler Infrastructure, Lawrence Livermore National Laboratory (LLNL), www.rosecompiler.org [online]
  8. 8.
    Google v8 JavaScript API, https://developers.google.com/v8 [Online]. Accessed 19 Dec 2012
  9. 9.
  10. 10.
    J.G.F. Coutinho, QROSE Manual, Lawrence Livermore National Laboratory (LLNL), http://rosecompiler.org/QROSE.pdf [online]
  11. 11.
    Meld tool, http://http://meldmerge.org/ [Online]. Accessed 10 Dec 2012
  12. 12.
    W. Luk, J. Coutinho, T. Todman, Y. Lam, W. Osborne, K. Susanto, Q. Liu, W. Wong, A High-Level Compilation Toolchain for Heterogeneous Systems. in Proceedings of IEEE International SOC Conference (SOCC’09), 2009, pp. 9–18Google Scholar
  13. 13.
  14. 14.
    CORE Generator Overview, http://www.xilinx.com/itp/xilinx10/isehelp/cgn_c_overview.htm [Online]. Accessed 18 Nov 2012
  15. 15.
    M. Daumas, G. Melquiond, Certification of bounds on expressions involving rounded operators. ACM Trans. Math. Softw. 37(1), 1–20 (2010)MathSciNetCrossRefGoogle Scholar
  16. 16.
    M.D. Linderman, M. Ho, D.L. Dill, T.H. Meng, G.P. Nolan, Towards program optimization through automated analysis of numerical precision. in Proceedings 8th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO’10), 2010, p. 230Google Scholar
  17. 17.
    Calypto Design Systems Inc., Catapult-C® High-Level Synthesis—Blue Book, 2011Google Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  • José Gabriel de F. Coutinho
    • 1
  • João M. P. Cardoso
    • 2
  • Tiago Carvalho
    • 2
  • Sujit Bhattacharya
    • 1
  • Wayne Luk
    • 1
  • George Constantinides
    • 1
  • Pedro C. Diniz
    • 3
  • Zlatko Petrov
    • 4
  1. 1.Imperial College London, IMPLondonUK
  2. 2.Faculdade de Engenharia da Universidade do Porto, FEUPPortoPortugal
  3. 3.Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa, INESC-IDLisboaPortugal
  4. 4.Honeywell International s.r.o, HONBrnoCzech Republic

Personalised recommendations