Christiaan Baaij
Matthijs Kooijman
Jan Kuper
Arjan Boeijink
Marco Gerards
2010
CλaSH: Structural Descriptions of Synchronous Hardware Using Haskell
Sebastián López
DSD
IEEE
714–721
10.1109/DSD.2010.21
Otto Skrove Bagge
Karl Trygve Kalleberg
Eelco Visser
Magne Haveraaen
2003
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs
Third International Workshop on Source Code Analysis and Manipulation (SCAM 2003)
IEEE
65–75
10.1109/SCAM.2003.1238032
Ira D Baxter
Christopher Pidgeon
Michael Mehlich
2004
DMS: Program transformations for practical scalable software evolution
Proceedings of the 26th International Conference on Software Engineering
IEEE Computer Society
625–634
10.1109/ICSE.2004.1317484
Maarten Boekhold
Ireneusz Karkowski
Henk Corporaal
1999
Transforming and parallelizing ANSI C programs using pattern recognition
High-Performance Computing and Networking
Springer
673–682
10.1007/BFb0100628
Uday Bondhugula
Albert Hartono
J. Ramanujam
P. Sadayappan
2008
A Practical Automatic Polyhedral Parallelizer and Locality Optimizer
SIGPLAN Not.
43
6
101–113
10.1145/1379022.1375595
Ashley Brown
Wayne Luk
Paul Kelly
2005
Optimising Transformations for Hardware Compilation
Technical Report
Imperial College London
http://www3.ic.ac.uk/pls/portallive/docs/1/18619721.PDF
James R Cordy
2006
The TXL source transformation language
Science of Computer Programming
61
3
190–210
10.1016/j.scico.2006.04.002
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
Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units
ACM
63–74
10.1145/1735688.1735702
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
36–42
10.1109/MC.2009.385
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)
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
ACM
1–12
10.1145/2345156.2254066
Franz Franchetti
Yevgen Voronenko
Markus Püschel
2006
FFT program generation for shared memory: SMP and multicore
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA
115
10.1145/1188455.1188575
Benedikt Huber
2014
The Language.C Package
https://hackage.haskell.org/package/language-c
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
Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, Pasadena, CA, USA, April 18-20, 2011.
41–55
10.1007/978-3-642-20398-5_4
Jacquard Computing Inc.
2012
ROCCC 2.0 User's Manual
revision 0.74
http://roccc.cs.ucr.edu/UserManual.pdf
Paul Klint
Tijs Van Der Storm
Jurgen Vinju
2009
Rascal: A domain specific language for source code analysis and manipulation
Source Code Analysis and Manipulation, 2009. SCAM'09. Ninth IEEE International Working Conference on
IEEE
168–177
10.1109/SCAM.2009.28
Ralf Lammel
Simon Peyton Jones
Jose Pedro Magalhaes
2009
The SYB Package
https://hackage.haskell.org/package/syb
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
41–49
10.1109/MM.2011.17
Maxeler Technologies
2016
Max Compiler MPT
https://www.maxeler.com/solutions/low-latency/maxcompilermpt/
John C. Reynolds
2002
Separation Logic: A Logic for Shared Mutable Data Structures
LICS
IEEE Computer Society
55–74
10.1109/LICS.2002.1029817
Daniel Rubio
Colin W Glass
Jan Kuper
Robert de Groote
2015
Introducing and Exploiting Hierarchical Structural Information
IEEE International Conference on Cluster Computing (CLUSTER), 2015
IEEE
777–784
10.1109/CLUSTER.2015.133
Sibylle Schupp
Douglas Gregor
David Musser
Shin-Ming Liu
2002
Semantic and behavioral library transformations
Information and Software Technology
44
13
797–810
10.1016/S0950-5849(02)00122-2
Salvador Tamarit
Guillermo Vigueras
Manuel Carro
Julio Mariño
2015
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Enrico Pontelli
Tran Cao Son
International Symposium on Practical Aspects of Declarative Languages
LNCS
9131
Springer-Verlag
105–114
10.1007/978-3-319-19686-2_8
Sven Verdoolaege
Tobias Grosser
2012
Polyhedral extraction tool
Second International Workshop on Polyhedral Compilation Techniques (IMPACT'12), Paris, France
–
http://impact.gforge.inria.fr/impact2012/workshop_IMPACT/verdoolaege.pdf
Guillermo Vigueras
Manuel Carro
Salvador Tamarit
Julio Mariño
2016
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
Alicia Villanueva
Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016)
2–16
http://hdl.handle.net/11705/PROLE/2016/015
Eelco Visser
2004
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9
Christian Lengauer
Don Batory
Charles Consel
Martin Odersk
Domain-Specific Program Generation
Lecture Notes in Computer Science
3016
Springer-Verlag
216–238
10.1007/978-3-540-25935-0_13
Kai Willadsen
2016
Meld
http://meldmerge.org/
Retrieved on December 2016