References

  1. Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Arjan Boeijink & Marco Gerards (2010): CλaSH: Structural Descriptions of Synchronous Hardware Using Haskell. In: Sebastián López: DSD. IEEE, pp. 714–721, doi:10.1109/DSD.2010.21.
  2. Otto Skrove Bagge, Karl Trygve Kalleberg, Eelco Visser & Magne Haveraaen (2003): Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. In: Third International Workshop on Source Code Analysis and Manipulation (SCAM 2003). IEEE, pp. 65–75, doi:10.1109/SCAM.2003.1238032.
  3. Ira D Baxter, Christopher Pidgeon & Michael Mehlich (2004): DMS: Program transformations for practical scalable software evolution. In: Proceedings of the 26th International Conference on Software Engineering. IEEE Computer Society, pp. 625–634, doi:10.1109/ICSE.2004.1317484.
  4. Maarten Boekhold, Ireneusz Karkowski & Henk Corporaal (1999): Transforming and parallelizing ANSI C programs using pattern recognition. In: High-Performance Computing and Networking. Springer, pp. 673–682, doi:10.1007/BFb0100628.
  5. Uday Bondhugula, Albert Hartono, J. Ramanujam & P. Sadayappan (2008): A Practical Automatic Polyhedral Parallelizer and Locality Optimizer. SIGPLAN Not. 43(6), pp. 101–113, doi:10.1145/1379022.1375595.
  6. Ashley Brown, Wayne Luk & Paul Kelly (2005): Optimising Transformations for Hardware Compilation. Technical Report. Imperial College London. Available at http://www3.ic.ac.uk/pls/portallive/docs/1/18619721.PDF.
  7. James R Cordy (2006): The TXL source transformation language. Science of Computer Programming 61(3), pp. 190–210, doi:10.1016/j.scico.2006.04.002.
  8. Anthony Danalis, Gabriel Marin, Collin McCurdy, Jeremy S Meredith, Philip C Roth, Kyle Spafford, Vinod Tipparaju & Jeffrey S Vetter (2010): The Scalable Heterogeneous Computing (SHOC) Benchmark Suite. In: Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units. ACM, pp. 63–74, doi:10.1145/1735688.1735702.
  9. Chirag Dave, Hansang Bae, Seung-Jai Min, Seyong Lee, Rudolf Eigenmann & Samuel P. Midkiff (2009): Cetus: A Source-to-Source Compiler Infrastructure for Multicores. IEEE Computer 42(11), pp. 36–42, doi:10.1109/MC.2009.385.
  10. Christophe Dubach, Perry Cheng, Rodric Rabbah, David F Bacon & Stephen J Fink (2012): Compiling a high-level language for GPUs:(via language support for architectures and compilers). In: Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. ACM, pp. 1–12, doi:10.1145/2345156.2254066.
  11. Franz Franchetti, Yevgen Voronenko & Markus Püschel (2006): FFT program generation for shared memory: SMP and multicore. In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 115, doi:10.1145/1188455.1188575.
  12. Benedikt Huber (2014): The Language.C Package. https://hackage.haskell.org/package/language-c.
  13. Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx & Frank Piessens (2011): VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. In: Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, Pasadena, CA, USA, April 18-20, 2011., pp. 41–55, doi:10.1007/978-3-642-20398-5_4.
  14. Jacquard Computing Inc. (2012): ROCCC 2.0 User's Manual, revision 0.74 edition. Available at http://roccc.cs.ucr.edu/UserManual.pdf.
  15. Paul Klint, Tijs Van Der Storm & Jurgen Vinju (2009): Rascal: A domain specific language for source code analysis and manipulation. In: Source Code Analysis and Manipulation, 2009. SCAM'09. Ninth IEEE International Working Conference on. IEEE, pp. 168–177, doi:10.1109/SCAM.2009.28.
  16. Ralf Lammel, Simon Peyton Jones & Jose Pedro Magalhaes (2009): The SYB Package. https://hackage.haskell.org/package/syb.
  17. Olav Lindtjorn, Robert G Clapp, Oliver Pell, Haohuan Fu, Michael J Flynn & Oskar Mencer (2011): Beyond Traditional Microprocessors for Geoscience High-Performance Computing Applications. IEEE Micro 31(2), pp. 41–49, doi:10.1109/MM.2011.17.
  18. Maxeler Technologies (2016): Max Compiler MPT. https://www.maxeler.com/solutions/low-latency/maxcompilermpt/.
  19. John C. Reynolds (2002): Separation Logic: A Logic for Shared Mutable Data Structures. In: LICS. IEEE Computer Society, pp. 55–74, doi:10.1109/LICS.2002.1029817.
  20. Daniel Rubio, Colin W Glass, Jan Kuper & Robert de Groote (2015): Introducing and Exploiting Hierarchical Structural Information. In: IEEE International Conference on Cluster Computing (CLUSTER), 2015. IEEE, pp. 777–784, doi:10.1109/CLUSTER.2015.133.
  21. Sibylle Schupp, Douglas Gregor, David Musser & Shin-Ming Liu (2002): Semantic and behavioral library transformations. Information and Software Technology 44(13), pp. 797–810, doi:10.1016/S0950-5849(02)00122-2.
  22. Salvador Tamarit, Guillermo Vigueras, Manuel Carro & Julio Mariño (2015): A Haskell Implementation of a Rule-Based Program Transformation for C Programs. In: Enrico Pontelli & Tran Cao Son: International Symposium on Practical Aspects of Declarative Languages, LNCS 9131. Springer-Verlag, pp. 105–114, doi:10.1007/978-3-319-19686-2_8.
  23. Sven Verdoolaege & Tobias Grosser (2012): Polyhedral extraction tool. In: Second International Workshop on Polyhedral Compilation Techniques (IMPACT'12), Paris, France, pp. –. Available at http://impact.gforge.inria.fr/impact2012/workshop_IMPACT/verdoolaege.pdf.
  24. Guillermo Vigueras, Manuel Carro, Salvador Tamarit & Julio Mariño (2016): Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. In: Alicia Villanueva: Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), pp. 2–16. Available at http://hdl.handle.net/11705/PROLE/2016/015.
  25. Eelco Visser (2004): Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In: Christian Lengauer, Don Batory, Charles Consel & Martin Odersk: Domain-Specific Program Generation, Lecture Notes in Computer Science 3016. Springer-Verlag, pp. 216–238, doi:10.1007/978-3-540-25935-0_13.
  26. Kai Willadsen (2016): Meld. http://meldmerge.org/. Retrieved on December 2016.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org