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